{"entities":{"Q3789520":{"pageid":5819426,"ns":120,"title":"Item:Q3789520","lastrevid":52755101,"modified":"2026-01-23T10:43:04Z","type":"item","id":"Q3789520","labels":{"en":{"language":"en","value":"First-Order Formulas in Conjunctive Quantificational Form"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4053560"}},"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":"Q3789520$C8A025A2-135B-4217-AA72-6FCC4B14CDB0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b549b75f1fb44b5e239ded8ef16da551fcd2bf1a","datavalue":{"value":{"text":"First-Order Formulas in Conjunctive Quantificational Form","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3789520$FB87122C-AF16-4424-84B8-F250AF19A25B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"97a87bb9281a36fff24b37406e873cc81ea15267","datavalue":{"value":"0646.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789520$6D656BB4-C76A-45B4-9A51-E0A735C31650","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fa6eeb09e47d0c3657c971f131f2ff7452bd83e","datavalue":{"value":{"entity-type":"item","numeric-id":599500,"id":"Q599500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3789520$59A0DAF6-E3CD-4E06-8547-52672D153B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"10d3da02c79fb32792a49a2fc9273637c5be8a44","datavalue":{"value":{"entity-type":"item","numeric-id":1823696,"id":"Q1823696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3789520$707E4D0B-B8FB-4A6C-AE86-DF5D968FE870","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"313eeae300ef8d00cbcff079ab31c26707d6fe06","datavalue":{"value":{"entity-type":"item","numeric-id":3025780,"id":"Q3025780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3789520$54A88464-2C1E-4A85-844F-354CFEC41B2F","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":"Q3789520$3BBDC37F-85BA-4114-9AE9-8C7EF0C03F2C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789520$517389EB-FE8C-4121-950A-3C4A23662536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789520$BD6CA833-A8C0-4AA4-8EC8-3AD7CFE57ED8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"722ec0dcdf1d8a6b9244fe4a94ab7bd421de4cec","datavalue":{"value":"4053560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789520$0343FAF2-4617-4D56-9ADC-6C5A3E4CA534","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"beb8e031f2b28fbaa8c262e3b135d8604858dd9a","datavalue":{"value":"prenex formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3789520$2FCBAD63-F6DF-4448-A9C9-05575DFCD1B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f14cee47dede25017a3cc7fe441d5dc99cfc28f5","datavalue":{"value":"conjunctions of quantified classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3789520$719D4335-AF3F-41BA-918F-3A514755C96A","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":"Q3789520$2F3B6047-25CD-4F11-B481-255D7A045A9E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"570aa37f5d40f13433375371cafb7dc526c6af2c","datavalue":{"value":"https://doi.org/10.1002/malq.19880340107","type":"string"},"datatype":"url"},"type":"statement","id":"Q3789520$8DA575E6-F7AF-40CF-A1E6-431E8FDA62BB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab122f6ab0ea5f050f64113639142c0d88ad60b3","datavalue":{"value":"W2061852071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789520$1A5BF933-BCD9-4915-9736-519ECCD1A32A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c5d0e2102b66641139a16b008ba9a29f0a9b96c","datavalue":{"value":"10.1002/MALQ.19880340107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789520$FFC39661-8B2D-4584-A0DE-B352F47E2928","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0af0f1beb39946bafec9509d7e34ecb9867e2653","datavalue":{"value":{"entity-type":"item","numeric-id":3348901,"id":"Q3348901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86f4299ce9b8e5cc455d215132b0f894c6d2dc6b","datavalue":{"value":{"amount":"+0.7368191480636597","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":"Q3789520$9F2FA273-ADB2-4849-A3B9-987323E20C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28f1a67f1946b227f917aae7807e47857d42047c","datavalue":{"value":{"entity-type":"item","numeric-id":3770495,"id":"Q3770495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8675e6b65838fc9ff2e2da2f99d1b93875846b70","datavalue":{"value":{"amount":"+0.7089450359344482","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":"Q3789520$E64B4777-4CFC-4BB3-9462-99733E069CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92ecb86cc07cbb4692b5cc45d6b9991e575161d1","datavalue":{"value":{"entity-type":"item","numeric-id":3693501,"id":"Q3693501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aad39daeb22e321cebb979adc60ef568e8f06ffd","datavalue":{"value":{"amount":"+0.6948747634887695","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":"Q3789520$977F439F-759E-4A07-88B4-A88AFC33DFD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6896738453fc6e2b9159920afb9ffdfe4e13b7f0","datavalue":{"value":{"entity-type":"item","numeric-id":3905252,"id":"Q3905252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7701455360a22d66406a2064a9e011c4952c2a5","datavalue":{"value":{"amount":"+0.6916428804397583","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":"Q3789520$DDA92985-C206-44A5-8565-8549C53507FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43380b36816b89b1a7d85ac83406393faec88a4c","datavalue":{"value":{"entity-type":"item","numeric-id":1263571,"id":"Q1263571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25b1a42958b7bbd8d3d7e1f1064438ccd41014e9","datavalue":{"value":{"amount":"+0.6916276216506958","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":"Q3789520$DB9DF5E3-9606-479A-86F5-3625F843CE8D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3789520","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3789520"}}}}}