{"entities":{"Q1118588":{"pageid":1129337,"ns":120,"title":"Item:Q1118588","lastrevid":49264387,"modified":"2026-01-06T21:11:24Z","type":"item","id":"Q1118588","labels":{"en":{"language":"en","value":"Strong conceptual completeness for first-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4095455"}},"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":"Q1118588$79EE3124-CC43-44AA-A43D-89C09BD750D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a64db25baa4eff0c43041804763dcfe0f60b03df","datavalue":{"value":{"text":"Strong conceptual completeness for first-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1118588$A53DC99D-8213-40D9-B6C7-B4F4887D3377","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b4faa02ee049cb5536fdaa581477401f56e9e06b","datavalue":{"value":"0669.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1118588$E3BCDD51-9875-4A7D-ABE5-DB14F55F4418","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"012b81f7c4c55c06992de87ccd8239df7a24795d","datavalue":{"value":"10.1016/0168-0072(88)90019-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1118588$9C3E76E3-F182-4AEB-98EF-4D9408D48FD1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118588$103EDA1E-C65D-4AFF-B865-D860E2610253","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1118588$21A32413-4093-4B48-8053-0118D142BD82","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1118588$E67D5F88-EA3F-4F29-AD67-ABF5FFB3B097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2996504042c76b51a6f0d045e744b890d73e8598","datavalue":{"value":"18D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1118588$C597430F-6A49-45CE-B839-21C13D62B355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1118588$F6CE6211-23D9-4978-9101-6B1926A0E327","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3072989387534e6150b790a2757be7b9da101f7","datavalue":{"value":"4095455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1118588$E953BC14-3235-46C5-AAB5-16FBA5C30933","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1118588$C5A64CDA-D8AE-4AA0-80E0-1AA29A00E20F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd8a4128c24f153f00aa9563bba387c6d44d2048","datavalue":{"value":"strong conceptual completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1118588$4AC31EC2-6023-44FA-B434-F1412D8685C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"463bfb59fffcfc4912d2e48763e12f5a2e76d98c","datavalue":{"value":"pretopos","type":"string"},"datatype":"string"},"type":"statement","id":"Q1118588$DD31431B-5C0C-4F3B-A0D8-0C6CF5521CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80e3f333f8276e6bcd5defc1ddc546e82eab7b1b","datavalue":{"value":"condensity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1118588$06D6356A-3355-457D-8041-311DE7AFB6DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f485b95415a2f2d6fa0dd98bc9501f824b370325","datavalue":{"value":"ultracategories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1118588$EF499AEA-D5D7-4A38-A5B5-9B85F6C84707","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a65d0161e2b1499280c869048154b5d85ad8a69e","datavalue":{"value":{"entity-type":"item","numeric-id":175558,"id":"Q175558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118588$00212A45-FACA-4CC2-8172-61AEEDB42B83","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":"Q1118588$A6A0D6FE-4175-441E-829E-591B6BD1DA75","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a365e85742d3ec2bb81986515465d29abc5f1b09","datavalue":{"value":{"entity-type":"item","numeric-id":5628320,"id":"Q5628320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118588$B73E7F9D-6DAE-40D7-BFF9-0E0230761755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"311e1cd0f981fc637dfa521d731484d6fd8fe089","datavalue":{"value":{"entity-type":"item","numeric-id":1084490,"id":"Q1084490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118588$DBAA7870-0839-4BBC-9248-727DF4F557DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02440399404883cec035c4ba4333b0b2f70b96a3","datavalue":{"value":{"entity-type":"item","numeric-id":4596052,"id":"Q4596052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118588$2E1EE4DD-C92C-4349-A761-6583EE4302FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd46e00e025849b54a0892b5e385ef0d563478f","datavalue":{"value":{"entity-type":"item","numeric-id":1393228,"id":"Q1393228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118588$7B4EF07E-0631-4328-AF4F-FDB1C5AF2E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118588$7DAEAC54-4089-428D-AB83-FE0B315F0A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd3991021f8de13b7a707990108ea91f6bd16646","datavalue":{"value":{"entity-type":"item","numeric-id":1844915,"id":"Q1844915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118588$25B59F5B-7E84-481A-A6E6-355E34BF47BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8d3064dca2a3425298e972d3839fd4ea24cef47","datavalue":{"value":{"entity-type":"item","numeric-id":2548649,"id":"Q2548649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118588$C16A0024-ABD7-44BB-BB3B-ADE3A10F1E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87e8c8acb9925a04698fe887d04699f13e3b0a10","datavalue":{"value":{"entity-type":"item","numeric-id":3491793,"id":"Q3491793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118588$BD3A53D1-806D-4794-959E-4B7DA2420B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1095624af45ab375094b3667abf91b5db1f6fa1a","datavalue":{"value":{"entity-type":"item","numeric-id":4147218,"id":"Q4147218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118588$D7AD7BD0-6D2D-469D-902F-8EC0408E6159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebaa62ef6ae788995fcc51d9c3d7d0db41920cc9","datavalue":{"value":{"entity-type":"item","numeric-id":4100671,"id":"Q4100671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118588$22DD0E0B-3D4D-4917-8CD7-DD6CE629900E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ab3551f3c9d069d7047529490692ddc18a3c369","datavalue":{"value":{"entity-type":"item","numeric-id":3672155,"id":"Q3672155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118588$A2D07325-0510-4063-82AD-434E98831BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8780a391b5ab6d1cf0c0d220f25de01aa7e0fd3e","datavalue":{"value":{"entity-type":"item","numeric-id":4198915,"id":"Q4198915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118588$0D34C8CD-E7A3-4691-AFA5-E726DA689455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b88ceae54cb11fcbb54890909a47c97005a3fc1","datavalue":{"value":{"entity-type":"item","numeric-id":3671937,"id":"Q3671937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118588$753361E9-14D9-42D1-8FF2-C3919EB76912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c4baeb806f8b5e8099897ee0948c9f54cc40974","datavalue":{"value":{"entity-type":"item","numeric-id":1105598,"id":"Q1105598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118588$789A3E99-3C61-48FA-8755-B0564135ABFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6557a6e3eed24d33d3a9419e06d27b3c133daba","datavalue":{"value":{"entity-type":"item","numeric-id":5184905,"id":"Q5184905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118588$147D88A2-55D8-41E1-9A40-886A445B8C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aa0f3d7739f5dfe7a9a0c2048cde98910b8e9ea","datavalue":{"value":{"entity-type":"item","numeric-id":1147215,"id":"Q1147215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118588$1D04A530-B2A8-41AC-A76D-49F78D46D98F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6350d722ce8ca9ee27de1770e3665af1e273f4ce","datavalue":{"value":{"entity-type":"item","numeric-id":3705457,"id":"Q3705457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118588$938AF4CD-A67E-4C52-BDE2-9D66BB08A7AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a6cecbe480749eded9419f3487b585e7f2f3144","datavalue":{"value":{"entity-type":"item","numeric-id":3995283,"id":"Q3995283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118588$3A68F019-91B5-4D9F-B44C-DF1F596B7DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b60eea28edfed7e1c618a79fd16007e8ab860324","datavalue":{"value":{"entity-type":"item","numeric-id":1346248,"id":"Q1346248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118588$1CA5A4D9-CEA1-4009-BE0D-9F5C2F7EE02A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff3236e15742ece5ef41a9e2090db30a669a30e0","datavalue":{"value":{"entity-type":"item","numeric-id":3798834,"id":"Q3798834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118588$0D4B3AB4-0F65-4E0C-95F3-65796C583E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3db426aecf011f6a4f9247eb5c7f5150dabacc1e","datavalue":{"value":{"entity-type":"item","numeric-id":1115868,"id":"Q1115868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118588$3A06D9EC-A238-4512-965B-641799E73E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e0444e22e4266453ab8adbf280b94bbe6588c9","datavalue":{"value":{"entity-type":"item","numeric-id":3876103,"id":"Q3876103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118588$842C0299-7E86-4164-9CC1-6F65239BC92A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92be1aaf19dc1a1687724e4de0f324f279263aca","datavalue":{"value":{"entity-type":"item","numeric-id":2551456,"id":"Q2551456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118588$825DF2DE-39A2-4331-8BDC-BE3141ADA922","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19c72cdd236b3946ae58bd568e48a8c194d0aa2f","datavalue":{"value":{"entity-type":"item","numeric-id":1105598,"id":"Q1105598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2cfbb8f355b5c7f0fce4f13a0e62120e8f975da","datavalue":{"value":{"amount":"+0.808824360370636","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":"Q1118588$8BA1EEAE-AEA8-40FB-8FDC-747E5C108AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9c23967f7e10423ff6abc7ccd639c795508c687","datavalue":{"value":{"entity-type":"item","numeric-id":5184905,"id":"Q5184905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fd229d481fd2feeca038f916e1e1db0ab1e14a3","datavalue":{"value":{"amount":"+0.7887611389160156","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":"Q1118588$07D9F25D-A74F-4541-8A6D-503BA00A547C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0d46c4ae1d0ed5f5a09417f14a69a256b60292e","datavalue":{"value":{"entity-type":"item","numeric-id":5243125,"id":"Q5243125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3618653deb1ad47e33933b29dc6155ba71c868e6","datavalue":{"value":{"amount":"+0.7826674580574036","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":"Q1118588$81AE7188-4F89-467F-B08A-852CBF63CC30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35b9e65255917af3d3ce022c77a449ba242c6e76","datavalue":{"value":{"entity-type":"item","numeric-id":3798834,"id":"Q3798834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1d9358600095260caf4fb19ec1b7a3d106e7dd7","datavalue":{"value":{"amount":"+0.7760940790176392","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":"Q1118588$04FAA560-448E-4784-B4AB-8DFCB6CA253B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7262ecb2e088ffd4b8c974036562610a025f0c2f","datavalue":{"value":{"entity-type":"item","numeric-id":3705457,"id":"Q3705457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5922a2aeae9ef54ecccb0c1b35db415837155ef","datavalue":{"value":{"amount":"+0.7609697580337524","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":"Q1118588$7AB6314D-6FF5-4353-808D-C9F15AE4A7CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1118588","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1118588"}}}}}