{"entities":{"Q4518913":{"pageid":6548506,"ns":120,"title":"Item:Q4518913","lastrevid":47540875,"modified":"2026-01-02T00:51:39Z","type":"item","id":"Q4518913","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1538056"}},"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":"Q4518913$F0D77D7D-7E53-4594-A7CC-EF230640DCA0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e47b92abf5ac2886d9a3da83c94996dbd504a109","datavalue":{"value":"0961.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518913$88844C73-6CE8-4ECD-B811-E1075E3E1987","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fbf1d9c0b0e83239511c911eb40c1e2a2b73d12","datavalue":{"value":{"entity-type":"item","numeric-id":414854,"id":"Q414854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4518913$EA49B430-A819-448B-8B70-B2C0A8B25D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fd5a076641129df5baba24779caed9dec893447","datavalue":{"value":{"entity-type":"item","numeric-id":511776,"id":"Q511776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4518913$AFB229E7-8020-4EA9-B02F-10608C6FB527","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5b7e5e451b86ea62c551e05867f3082e9ab96e42","datavalue":{"value":{"time":"+2001-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4518913$D8A4D218-1568-41D3-BEE7-74CC51E010D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518913$FCF9D903-44BC-484A-8BE6-39FE14AC3038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518913$4E0C820C-C2B9-4A83-9008-ED9FEAECABED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518913$29B97894-8E58-48B5-97DB-374393DCB766","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"443024b80ec5e89e30262539f7bb3520edec7668","datavalue":{"value":"1538056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518913$F5F9FF2B-A9A8-4F32-AF68-DD6986D16840","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4518913$568F6D6F-36CD-4E1F-A1B0-A32FEF8BDFCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4518913$D617D4B9-8934-46D6-ACCF-9EA6FC21BA1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c40ce3b58431f63cd2480eca4c0dea6fad884d62","datavalue":{"value":"decision procedures for non-CNF formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4518913$ECF1237C-32AF-4D2C-82E4-2129E6394ED1","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":"Q4518913$094B26F4-AA58-47A6-B52B-33E027C0C186","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68c542e19faec31b46141c292b7aa34b7b85794d","datavalue":{"value":{"entity-type":"item","numeric-id":5900325,"id":"Q5900325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"633e4612f8a76bbb82c05891a6f12e637d93c39b","datavalue":{"value":{"amount":"+0.8158477544784546","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":"Q4518913$C8E89175-3BD9-478C-9036-0EFC4BFBBE00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ca09810025d84a7da9b2000399dff476fb9870f","datavalue":{"value":{"entity-type":"item","numeric-id":4386960,"id":"Q4386960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7be9efd35c3e11710730d7f4331c60236636940","datavalue":{"value":{"amount":"+0.8041870594024658","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":"Q4518913$E77A2D43-E167-4BD1-B0C6-C188233E9148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0a7d02cb164b0fef672b89a3290eea77a00927e","datavalue":{"value":{"entity-type":"item","numeric-id":2749864,"id":"Q2749864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71453a8459d239c3e984151a4da8771c2d7992c4","datavalue":{"value":{"amount":"+0.7863835096359253","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":"Q4518913$8985E1C6-164F-4884-B2A4-B85B8A9AC8CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"961868c838bbcd308e52a675ed2ba3c756a6cb74","datavalue":{"value":{"entity-type":"item","numeric-id":4372940,"id":"Q4372940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"631b9355dc1de1b1cb60a0ae58bc06bb2a53c5a6","datavalue":{"value":{"amount":"+0.7859442234039307","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":"Q4518913$12CF8142-B38A-4C7D-9A74-AAE80150090D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceb38b63c234cd0a974a33a78a9af7bd02c2db44","datavalue":{"value":{"entity-type":"item","numeric-id":1977761,"id":"Q1977761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80229df3ea9a4bcbac48a20553b6eaa77d5a1112","datavalue":{"value":{"amount":"+0.783852756023407","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":"Q4518913$4787AAA9-0EF5-4F9E-869F-21E9519AA46C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4518913","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4518913"}}}}}