%PDF-1.3
%
1 0 obj
<< /Metadata 2 0 R /Pages 3 0 R /Type /Catalog >>
endobj
2 0 obj
<< /Subtype /XML /Type /Metadata /Length 18212 >>
stream
Adobe PDF Schema
pdf
http://ns.adobe.com/pdf/1.3/
Trapped
Text
internal
Indication if the document has been modified to include trapping information
XMP Media Management Schema
xmpMM
http://ns.adobe.com/xap/1.0/mm/
DocumentID
URI
internal
UUID based identifier for all versions and renditions of a document
InstanceID
URI
internal
UUID based identifier for specific incarnation of a document
VersionID
Text
internal
Document version identifier
RenditionClass
RenditionClass
internal
The manner in which a document is rendered
IPTC Core Schema
Iptc4xmpCore
http://iptc.org/std/Iptc4xmpCore/1.0/xmlns/
CreatorContactInfo
ContactInfo
external
Document creator's contact information
ContactInfo
http://iptc.org/std/Iptc4xmpCore/1.0/xmlns/
Iptc4xmpCore
Basic set of information to get in contact with a person
CiAdrCity
Text
Contact information city
CiAdrCtry
Text
Contact information country
CiAdrExtadr
Text
Contact information address
CiAdrPcode
Text
Contact information local postal code
CiAdrRegion
Text
Contact information regional information such as state or province
CiEmailWork
Text
Contact information email address(es)
CiTelWork
Text
Contact information telephone number(s)
CiUrlWork
Text
Contact information Web URL(s)
PRISM Basic Metadata
prism
http://prismstandard.org/namespaces/basic/3.0/
complianceProfile
Text
internal
PRISM specification compliance profile to which this document adheres
publicationName
Text
external
Publication name
aggregationType
Text
external
Publication type
bookEdition
Text
external
Edition of the book in which the document was published
volume
Text
external
Publication volume number
number
Text
external
Publication issue number within a volume
pageRange
Text
external
Page range for the document within the print version of its publication
issn
Text
external
ISSN for the printed publication in which the document was published
eIssn
Text
external
ISSN for the electronic publication in which the document was published
isbn
Text
external
ISBN for the publication in which the document was published
doi
Text
external
Digital Object Identifier for the document
url
URL
external
URL at which the document can be found
byteCount
Integer
internal
Approximate file size in octets
pageCount
Integer
internal
Number of pages in the print version of the document
subtitle
Text
external
Document's subtitle
MiKTeX-pdfTeX 4.7.0 (1.40.23)
[fr]Informatique, [en]Computer Science
1.3
https://creativecommons.org/licenses/by-nc-nd/4.0/
application/pdf
Récurrence nœthérienne pour le raisonnement de premier ordre
Bulletin 1024
Société informatique de France
2022-03-04T15:31:41+01:00
Text
Sorin Stratulat
[fr]Informatique
[en]Computer Science
1024-numero-19.tex
fr
en
10.48556/SIF.1024.19.157
2022-03-04T15:31:41+01:00
2022-03-04T15:31:41+01:00
2022-03-04T15:31:41+01:00
LaTeX with hyperref
uuid:0aef7ae4-133e-4f75-bd7a-3ea888d13954
uuid:8d7a390a-8820-4059-99b6-2059595f7aef
1
default
Institut Henri Poincaré
11 rue Pierre et Marie Curie
Paris
75231
France
1024@societe-informatique-de-france.fr
https://www.societe-informatique-de-france.fr
three
Bulletin 1024
Bulletin 1024
journal
19
2270-1419
10.48556/SIF.1024.19.157
14
176
endstream
endobj
3 0 obj
<< /Count 14 /Kids [ 4 0 R 5 0 R 6 0 R 7 0 R 8 0 R 9 0 R 10 0 R 11 0 R 12 0 R 13 0 R 14 0 R 15 0 R 16 0 R 17 0 R ] /Type /Pages >>
endobj
4 0 obj
<< /Annots [ 18 0 R 19 0 R 20 0 R 21 0 R ] /Contents 22 0 R /MediaBox [ 0 0 419.528 595.276 ] /Parent 3 0 R /Resources 23 0 R /Type /Page >>
endobj
5 0 obj
<< /Annots [ 24 0 R 25 0 R 26 0 R 27 0 R 28 0 R ] /Contents 29 0 R /MediaBox [ 0 0 419.528 595.276 ] /Parent 3 0 R /Resources 30 0 R /Type /Page >>
endobj
6 0 obj
<< /Annots [ 31 0 R 32 0 R 33 0 R 34 0 R 35 0 R 36 0 R 37 0 R ] /Contents 38 0 R /MediaBox [ 0 0 419.528 595.276 ] /Parent 3 0 R /Resources 39 0 R /Type /Page >>
endobj
7 0 obj
<< /Annots [ 40 0 R 41 0 R 42 0 R 43 0 R 44 0 R 45 0 R 46 0 R 47 0 R 48 0 R ] /Contents 49 0 R /MediaBox [ 0 0 419.528 595.276 ] /Parent 3 0 R /Resources 50 0 R /Type /Page >>
endobj
8 0 obj
<< /Annots [ 51 0 R 52 0 R 53 0 R 54 0 R 55 0 R ] /Contents 56 0 R /MediaBox [ 0 0 419.528 595.276 ] /Parent 3 0 R /Resources 57 0 R /Type /Page >>
endobj
9 0 obj
<< /Annots [ 58 0 R 59 0 R 60 0 R 61 0 R 62 0 R 63 0 R 64 0 R ] /Contents 65 0 R /MediaBox [ 0 0 419.528 595.276 ] /Parent 3 0 R /Resources 66 0 R /Type /Page >>
endobj
10 0 obj
<< /Annots [ 67 0 R 68 0 R 69 0 R 70 0 R 71 0 R 72 0 R 73 0 R 74 0 R 75 0 R 76 0 R 77 0 R 78 0 R 79 0 R 80 0 R 81 0 R 82 0 R 83 0 R 84 0 R ] /Contents 85 0 R /MediaBox [ 0 0 419.528 595.276 ] /Parent 3 0 R /Resources 86 0 R /Type /Page >>
endobj
11 0 obj
<< /Annots [ 87 0 R 88 0 R 89 0 R 90 0 R 91 0 R 92 0 R 93 0 R 94 0 R 95 0 R 96 0 R 97 0 R 98 0 R 99 0 R 100 0 R 101 0 R 102 0 R 103 0 R ] /Contents 104 0 R /MediaBox [ 0 0 419.528 595.276 ] /Parent 3 0 R /Resources 105 0 R /Type /Page >>
endobj
12 0 obj
<< /Annots [ 106 0 R 107 0 R 108 0 R 109 0 R 110 0 R 111 0 R 112 0 R 113 0 R 114 0 R ] /Contents 115 0 R /MediaBox [ 0 0 419.528 595.276 ] /Parent 3 0 R /Resources 116 0 R /Type /Page >>
endobj
13 0 obj
<< /Annots [ 117 0 R 118 0 R 119 0 R 120 0 R 121 0 R 122 0 R 123 0 R 124 0 R 125 0 R 126 0 R 127 0 R 128 0 R 129 0 R 130 0 R 131 0 R 132 0 R 133 0 R 134 0 R 135 0 R 136 0 R 137 0 R 138 0 R 139 0 R 140 0 R 141 0 R 142 0 R 143 0 R 144 0 R 145 0 R 146 0 R ] /Contents 147 0 R /MediaBox [ 0 0 419.528 595.276 ] /Parent 3 0 R /Resources 148 0 R /Type /Page >>
endobj
14 0 obj
<< /Annots [ 149 0 R 150 0 R 151 0 R 152 0 R 153 0 R ] /Contents 154 0 R /MediaBox [ 0 0 419.528 595.276 ] /Parent 3 0 R /Resources 155 0 R /Type /Page >>
endobj
15 0 obj
<< /Annots [ 156 0 R ] /Contents 157 0 R /MediaBox [ 0 0 419.528 595.276 ] /Parent 3 0 R /Resources 158 0 R /Type /Page >>
endobj
16 0 obj
<< /Annots [ 159 0 R 160 0 R 161 0 R ] /Contents 162 0 R /MediaBox [ 0 0 419.528 595.276 ] /Parent 3 0 R /Resources 163 0 R /Type /Page >>
endobj
17 0 obj
<< /Contents 164 0 R /MediaBox [ 0 0 419.528 595.276 ] /Parent 3 0 R /Resources 165 0 R /Type /Page >>
endobj
18 0 obj
<< /A << /D (Hfootnote.84) /S /GoTo >> /Border [ 0 0 0 ] /C [ 1 0 0 ] /H /I /Rect [ 380.331 352.614 386.508 363.155 ] /Subtype /Link /Type /Annot >>
endobj
19 0 obj
<< /A << /S /URI /Type /Action /URI (http://creativecommons.org/licenses/by-nc-nd/4.0/deed.fr) >> /Border [ 0 0 0 ] /C [ 0 1 1 ] /H /I /Rect [ 50.027 30.376 80.366 43.952 ] /Subtype /Link /Type /Annot >>
endobj
20 0 obj
<< /A << /S /URI /Type /Action /URI (https://doi.org/10.48556/SIF.1024.19.157) >> /Border [ 0 0 0 ] /C [ 0 1 1 ] /H /I /Rect [ 87.091 30.376 188.67 43.952 ] /Subtype /Link /Type /Annot >>
endobj
21 0 obj
<< /A << /S /URI /Type /Action /URI (http://www.societe-informatique-de-france.fr/bulletin) >> /Border [ 0 0 0 ] /C [ 0 1 1 ] /H /I /Rect [ 209.327 30.376 281.259 43.952 ] /Subtype /Link /Type /Annot >>
endobj
22 0 obj
<< /Filter /FlateDecode /Length 1668 >>
stream
xڍWKs8ϯ#socJ*T1yx~!10l8HjZݟn =yp9RJyJ4wJHx6^\_~ssyy(X.=5+T$:B`U${|8VdH+^6F4Z:4l4XDl\**'T~
b"9cka?oM&/ P~sox|Ɖ*Ɗ(z% m}V
-,ٗznr_=Z=AW(2!0#Lv.vqr:k1m"V+:i% @ ?W$D*4&ս"5@--Eu1)Eh9%`ߚgQwУFL
E9p4szד=,nUgOgzBR>N5>Pie-pY3@mlV%LToI,)韱bN[1
`e'y
Cu/γj 2T0fpvصk~lGf_[S6~d!Z)w,`҅- џ8 @u%y}oxz}{ &~C/b%.@bVფ*;gi p1{a`,7bw\
|4~
]6HGvWDScWɥhRىj'ۼ1Q߉ C!t8~H W*J=Re%q=asszEؒ-W7k7
3P|Ъo)i%C)EPEVJ4n}@8Pĕ*JFeE֍ i
HBn99