{"entities":{"Q3141183":{"pageid":3151899,"ns":120,"title":"Item:Q3141183","lastrevid":47204026,"modified":"2026-01-01T00:09:55Z","type":"item","id":"Q3141183","labels":{"en":{"language":"en","value":"The compactness of first-order logic:from g\u00f6del to lindstr\u00f6m"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 444741"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3141183$C1FE72AB-F48E-4A63-85BF-42809AFA00FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4d7e5586ab963b05d694f3ecd8ead23c05297611","datavalue":{"value":{"text":"The compactness of first-order logic:from g\u00f6del to lindstr\u00f6m","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3141183$D13EC27C-A500-45AE-8D83-1496FAC19B93","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a5624503fc9d6eb475c748f971bb6b200495514","datavalue":{"value":"0794.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3141183$597A3FCF-A32F-403C-B50D-99292F987B11","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"390d4afc0e4d7fb07bab4efc5e25ef7db563b83f","datavalue":{"value":"10.1080/01445349308837208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3141183$967357CE-9B5A-4F05-83EE-E5DF44F412AF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ced96dfaed9785a7bafb0e4fa683c5a26a267046","datavalue":{"value":{"entity-type":"item","numeric-id":246137,"id":"Q246137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3141183$7839AB9B-5C39-4A00-B593-B4487EE80E4C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"17af3acb8fbbf15cacab125c0d45264f400b5a22","datavalue":{"value":{"entity-type":"item","numeric-id":2757958,"id":"Q2757958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3141183$C70358C3-DC00-4646-8C6C-8ACC865B1D67","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9dc1d0c12e6b3029895af224a3159efd0243462b","datavalue":{"value":{"time":"+1994-08-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3141183$F11BC953-2370-4DD3-8823-B22D827A1489","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3141183$082ED198-7084-42A0-BDA0-B5B7D2F87316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3141183$4F1C736C-27B2-4B89-AF6A-BF005C465739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3141183$06271957-E070-4E3C-8150-2A076CC569DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5376acc075d03acb45074e4275b127e3e8b15a73","datavalue":{"value":"444741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3141183$C45373E0-CDA8-4180-A39F-7D67C298C235","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39021fca6ba198706e2baf4a838312c43eea2b99","datavalue":{"value":"compactness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3141183$2E7F68EB-B0C5-4B35-9D13-CD692AB75F77","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"210f0ff8053f04fad737e4e5114e70e1a1567c44","datavalue":{"value":"Q54087188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3141183$497CAF34-D710-40CB-9ABA-631550147033","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3141183$E134D051-1CF8-4B7C-A507-51B3464664D6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f37fdbeb96f01cb60e682a95df7b6abb7d5b4511","datavalue":{"value":"https://doi.org/10.1080/01445349308837208","type":"string"},"datatype":"url"},"type":"statement","id":"Q3141183$8D83FD20-093D-4889-8FED-42EA2205571C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c7c7de0067a8633c2e5fdcc912c2b20ffc8bbdc5","datavalue":{"value":"W1970702421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3141183$59B8D7A3-8012-467B-8559-F59FC8FEBAE0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7560ee1eeb9a13415ac8537672089a0c086ad04","datavalue":{"value":{"entity-type":"item","numeric-id":3235339,"id":"Q3235339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3141183$922CFB4F-ADF1-4C6B-887C-B5C23EB06C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15ffb46be9e49b237f6fde18c89e459513c877e1","datavalue":{"value":{"entity-type":"item","numeric-id":5547552,"id":"Q5547552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3141183$BA863648-2E3B-45F4-A934-879DC272B923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0622dafca009a150a32162304cfa985afb7fcae","datavalue":{"value":{"entity-type":"item","numeric-id":5791203,"id":"Q5791203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3141183$2BB27D6A-D356-4DB7-BBFA-FCC113D08FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1152b2ce16ac8a812229c1865a9ec7fcf5a1c9c4","datavalue":{"value":{"entity-type":"item","numeric-id":5791200,"id":"Q5791200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3141183$993446DA-675A-4D7F-B875-8FF1753D7BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbdd618fcd9894cc43913fda0ef46a6ceb0f2e1","datavalue":{"value":{"entity-type":"item","numeric-id":5798021,"id":"Q5798021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3141183$65DAE0A5-2CDD-4104-AE73-CC4B3F778DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd88c0dcac126b6fada46e757912ff1d7d9324c4","datavalue":{"value":{"entity-type":"item","numeric-id":3359384,"id":"Q3359384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3141183$0A2F2EBA-6AD1-42EB-BAC8-7CB139FD48F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3141183$D1EBEDFF-119B-4DA9-9FDE-4E52D00FDC6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b5585e50b3b2de9757175a3f0e2687ada403adc","datavalue":{"value":{"entity-type":"item","numeric-id":5623682,"id":"Q5623682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3141183$DCC44FAD-FFDD-414B-B947-A3CB0AEF5FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b946fb2f63c0dda27fa5ba25a5cecdec9a1c9a","datavalue":{"value":{"entity-type":"item","numeric-id":4229041,"id":"Q4229041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3141183$22143431-4C63-45BD-B5D0-0938CB4A21CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9378587a1115a0250a2395ebd434016b1bcd6dd","datavalue":{"value":{"entity-type":"item","numeric-id":4124795,"id":"Q4124795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3141183$C6F92B8B-6B0E-4588-BCB6-8072D0DFD53D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba84aeaca4b0ecbef3cf72aa703aff298989566e","datavalue":{"value":{"entity-type":"item","numeric-id":5828042,"id":"Q5828042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3141183$E31FDFF0-45CC-44DE-A399-E010CFC117D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecb9a3ef9a73b17087c4b081130ff56832ab31fd","datavalue":{"value":{"entity-type":"item","numeric-id":1147689,"id":"Q1147689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3141183$E0CA3490-232C-45C0-8998-5705D8D7F51A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73ea1a986b8212f90121d21e0a14bb9807498264","datavalue":{"value":{"entity-type":"item","numeric-id":5791204,"id":"Q5791204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3141183$58C73C3A-4AAB-45DA-9458-D1DF1396A8DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f750ad8b6241d196d023b2db79490cc7614543","datavalue":{"value":{"entity-type":"item","numeric-id":2649408,"id":"Q2649408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3141183$59DABA6B-CE27-4C1E-A5A0-A137064E6549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"123deee1d06935ee881cd2559e498c5c99375b9d","datavalue":{"value":{"entity-type":"item","numeric-id":5847173,"id":"Q5847173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3141183$73888170-6DEB-439F-BB41-EAE38F55FD53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d5b8f63b68e505d54cf05a7e9244e610b92e9d","datavalue":{"value":{"entity-type":"item","numeric-id":4758028,"id":"Q4758028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3141183$B0CC8541-5B19-46C2-B9EF-0647EE800D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a6cb0db00599c2e1155dc2bfdb97fb7dce98a4","datavalue":{"value":{"entity-type":"item","numeric-id":3216621,"id":"Q3216621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3141183$11C18D1F-5E0E-4404-A6FB-87F608EE7E5A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0123c8559a1a1950f5acc382b7509fb7aa515960","datavalue":{"value":{"entity-type":"item","numeric-id":4523135,"id":"Q4523135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e85826fd65b1ea41be41487c0fd7ef4391b6d12","datavalue":{"value":{"amount":"+0.7691386342048645","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3141183$855D6AF0-1DF6-4883-8B64-50B513E57AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f7ace6ef47736e664be252f70d8dfa0657e1407","datavalue":{"value":{"entity-type":"item","numeric-id":3708788,"id":"Q3708788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d89a11d50e5dd5ba65f514c0f789b90adfbeaa09","datavalue":{"value":{"amount":"+0.7449682950973511","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3141183$D70F63BF-78AC-4BC5-8FC1-D781E07B9DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2b0bb216d718a23ab99e9436afedc0f2cf3932f","datavalue":{"value":{"entity-type":"item","numeric-id":3807161,"id":"Q3807161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89f960df05996473a6d15cfae6eda1c40e5c8596","datavalue":{"value":{"amount":"+0.7416545152664185","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3141183$0C5DFAC2-2494-47AC-B4D4-84DB1936F416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d42329bfa3fb5108d42d45b0bb2768c246d15c7b","datavalue":{"value":{"entity-type":"item","numeric-id":5300578,"id":"Q5300578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca6cb5aaa4017d215553d0bab6da3956bc3f1ab9","datavalue":{"value":{"amount":"+0.7288241386413574","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3141183$A3A3FFDB-770D-468F-A9A8-7B2257DB2BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abfa82801ed88785513799d446b02da49fddc199","datavalue":{"value":{"entity-type":"item","numeric-id":3755424,"id":"Q3755424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa142cb5f29a6fbe4f9093766ab56526f5b0c38c","datavalue":{"value":{"amount":"+0.7195022702217102","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3141183$DF6D8227-03E5-4161-8D35-4B7F2C781A34","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3141183","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3141183"}}}}}