{"entities":{"Q4923518":{"pageid":6953100,"ns":120,"title":"Item:Q4923518","lastrevid":51721682,"modified":"2026-01-19T16:38:06Z","type":"item","id":"Q4923518","labels":{"en":{"language":"en","value":"Correct answers for first order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6165882"}},"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":"Q4923518$29EBBC91-3D56-4F30-AA98-1FF11F08641A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1c1d26f0c544b51b29f51f9638b2b1b44b5ddb05","datavalue":{"value":{"text":"Correct Answers for First Order Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4923518$065D8388-66B0-4451-84ED-E0C23A5421BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9526ee6382dea4a7a4c9cf9c63cbd9e88e683ed9","datavalue":{"value":"1263.68041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923518$2DB5AD10-392E-4BEF-986F-21DAEB2AEEA9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fabbd6a9071d76f191d6afb29cf1fe9002f68d20","datavalue":{"value":"10.1016/S1571-0661(04)00149-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923518$33274157-20E7-41DF-A61A-6D059154CBC3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c57a0d1f62d0ca0f4f2a479750cecec4923e5b40","datavalue":{"value":{"entity-type":"item","numeric-id":281280,"id":"Q281280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923518$A66DB964-C002-4A52-A6C7-07830AAAB25F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923518$F0068D07-532E-4F81-B606-1A09261F682C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9aab91b8c1f524235c5c2b07908fadf10314dd3b","datavalue":{"value":{"time":"+2013-05-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4923518$33A61CFF-D61E-4A78-99C7-C06DB7627985","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923518$329C3892-451B-4F43-9769-C73DAEAFFCAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923518$BEED08E3-2212-4F91-A79A-A0C97899B54B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923518$FFC8388E-6B7E-4F67-AB84-92E66633456E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923518$9A260DBB-B28B-4539-A6CF-712548009B14","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd2627ae3a3c992b369920d0b058073383e27e17","datavalue":{"value":"6165882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923518$94ED7D87-F18D-480F-AF30-77DDC9B6911E","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":"Q4923518$5ABBBA61-6CE7-4239-BD49-31284950D8F2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f00fd1b24eb034e46d6eab76d6f81be2f754f39","datavalue":{"value":{"entity-type":"item","numeric-id":2722047,"id":"Q2722047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923518$E28D6372-F87F-4BDD-88AE-FCA7BCE66987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdbea0160e788f4fb95a24a8a29ffb0eadc069","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923518$2F2DB963-B68C-4ACB-B3BC-0F4900654908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe26d27e2744e8b6ab9b1fa6716abab7b968cdc6","datavalue":{"value":{"entity-type":"item","numeric-id":1314414,"id":"Q1314414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923518$9C4C444F-D1E1-4FA3-AB3D-21CA220AAF5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93ed0b34c0c7c39cf52c2b57b3122913e565beda","datavalue":{"value":{"entity-type":"item","numeric-id":1854446,"id":"Q1854446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923518$D121D817-07B4-4A3D-862E-6179BC838D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b9803ce2aabd36400d1d98509744959986f604e","datavalue":{"value":{"entity-type":"item","numeric-id":4700386,"id":"Q4700386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923518$0F18B0B6-1E80-4AE9-8475-4470D8D4CF50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890aa582ec37803cbf74c8a6ca1c70024ea8a626","datavalue":{"value":{"entity-type":"item","numeric-id":4012706,"id":"Q4012706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923518$D9BCF867-D9E3-41B5-978F-6BF897E431A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ac21181037bc2933b45894b1e7445fed9dae080","datavalue":{"value":{"entity-type":"item","numeric-id":4878773,"id":"Q4878773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923518$ED44C949-0813-442E-8535-46D30D9D5093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"687285a3f6cb7651dc9e5232788fde5c05cf3112","datavalue":{"value":{"entity-type":"item","numeric-id":5661851,"id":"Q5661851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923518$6614B449-574E-4373-AB82-27B4645370D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ad2114c9350b1f720e1f9db06bfc016c47c75de","datavalue":{"value":{"entity-type":"item","numeric-id":4895546,"id":"Q4895546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923518$91A9D850-4841-4FD3-9C99-9D90AF878456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923518$D5847C72-CB3B-44A9-99EE-36734F7B42BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923518$E535FD0D-202C-481E-880F-A57E0B171D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f103fa401cdca02160ebee26851f7a4dbd4e17e","datavalue":{"value":{"entity-type":"item","numeric-id":5813181,"id":"Q5813181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923518$DD32F4EF-829E-47BF-ADAE-F290BEDCC7F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923518$23329457-FCE2-4564-9B4B-97593667E06C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebd32d099ee8c91552756addce4fb86715ed2d8","datavalue":{"value":{"entity-type":"item","numeric-id":2640596,"id":"Q2640596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923518$706C878C-F651-4598-A851-1156E9FCB67D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ae3fd87af1e73c33bfd1bcf8844595430d1e146","datavalue":{"value":{"entity-type":"item","numeric-id":1311397,"id":"Q1311397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923518$C8CF369D-C622-41DD-A8DE-F7D83DE4F5EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4cf7a10bff66d836e836dc6763a8738e552c50f","datavalue":{"value":{"entity-type":"item","numeric-id":4264720,"id":"Q4264720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923518$7B87FF81-8723-42CA-BE4B-F93A692D9679","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8dba8b12317b418c985c642453f002f87d0c5028","datavalue":{"value":"https://doi.org/10.1016/s1571-0661(04)00149-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q4923518$4ECC9231-08B8-4EC4-A0C2-624064217C21","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4742ae0bd5afaaa795f59b20a51a7a97bb6eeded","datavalue":{"value":"W2069745781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923518$12F317DB-853E-4490-B49E-E5BED67F0FB1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e9a4214de7408555774d73c64af2c60d083f37e","datavalue":{"value":{"entity-type":"item","numeric-id":2722047,"id":"Q2722047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd59aac26d9700df4e6f33cc2ea27ac58c9ba509","datavalue":{"value":{"amount":"+0.7774112224578857","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":"Q4923518$5A264DA6-F19A-42B1-8B6B-65134EFDA0A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"094a0110cb5d47483681620b12c3a0b405285499","datavalue":{"value":{"entity-type":"item","numeric-id":3201751,"id":"Q3201751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b11fe57e3916356135045da1505ccc842f111ea2","datavalue":{"value":{"amount":"+0.7032157778739929","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":"Q4923518$4FFD1B97-3D3B-4C9E-AFFC-DD937A6E7F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7710689999062aba102967f0498074b1d8198c12","datavalue":{"value":{"entity-type":"item","numeric-id":2956724,"id":"Q2956724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc24eeea3951f7dcd1db41b9ed9e7e8dbfeb45fd","datavalue":{"value":{"amount":"+0.7009924650192261","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":"Q4923518$3702A1D8-3534-4879-A589-D244DB0CD128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"509a03b2a9f27a8aadda05430d2d5c90fe0ecb33","datavalue":{"value":{"entity-type":"item","numeric-id":4895546,"id":"Q4895546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"438cbbcc934f750d218baa905577c5dd09760083","datavalue":{"value":{"amount":"+0.6989017128944397","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":"Q4923518$2D23F322-98C4-4EA9-8A4C-15B324C72EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e6e61f398491d6ca0d2a06580bb7c9301198697","datavalue":{"value":{"entity-type":"item","numeric-id":2767044,"id":"Q2767044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"119568b1ea1d9e259b9c1448967a6bcad8d0c364","datavalue":{"value":{"amount":"+0.6890274286270142","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":"Q4923518$1BCE545D-DD1A-491E-9D3A-FCDAEB991190","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4923518","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4923518"}}}}}