{"entities":{"Q4529644":{"pageid":6559236,"ns":120,"title":"Item:Q4529644","lastrevid":47909665,"modified":"2026-01-03T01:41:27Z","type":"item","id":"Q4529644","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1737608"}},"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":"Q4529644$D875202E-8E02-442C-A24B-05D0B9F2ED15","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b5529d1b100044fc4e52622a872da4d506d147e","datavalue":{"value":"0988.03059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4529644$0C69D27C-2048-4CEB-8058-8BCE421FDCCA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"52b2c7681d404040c704acb84f5d875b15fb2d8d","datavalue":{"value":{"entity-type":"item","numeric-id":193943,"id":"Q193943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4529644$FCD08ADB-CD6D-4CC9-A519-0B6E5915CF49","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56876ee84a98428ba4911e3b2022b1c24eab272a","datavalue":{"value":{"time":"+2002-05-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4529644$B8183ADB-DAD7-4644-8F56-A2C4EE67E243","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4529644$29F18364-B8D7-41CC-9638-8867F2070700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4529644$41A81C1F-B6DD-44AB-8DAB-BFF1E90D9ADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4529644$E042E4ED-CA70-4FB0-8023-4FC5BA9C76B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4529644$CBC9C67D-319B-4823-AC34-8B5F6AAECAF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f3eb9b2932c3fdc120e877804d57f4cb2d94e9","datavalue":{"value":"06E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4529644$B2EE262A-0656-4CC6-8DD0-E30AF370997D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f4b3e8b6a20b1f74aaa2b625ea41f2df1a0fad23","datavalue":{"value":"1737608","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4529644$7F85D5BD-D0EC-4F2C-A821-8DF906C3C3C7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4df4843225deb847ce2f83cb5ccd54d6f0d40607","datavalue":{"value":"satisfiability of propositional formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4529644$1E827C01-A1F4-4582-8771-C2FC506F8F4B","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":"Q4529644$4B7478AE-C5B9-4170-A2B7-DCB440BCFF52","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42bfcd7c99538f13f94bdcfe38328212eab1a212","datavalue":{"value":{"entity-type":"item","numeric-id":5939378,"id":"Q5939378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87731321148ef360faa6c7a0610d8c757b63ed2f","datavalue":{"value":{"amount":"+0.8336413502693176","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":"Q4529644$90741B2E-3ABD-4E88-8763-3145D3C69463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91f79b1729636ce57d55e265f1655f3ed08999e3","datavalue":{"value":{"entity-type":"item","numeric-id":1111774,"id":"Q1111774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3510286df76fde0254e533267692da6fd266db6","datavalue":{"value":{"amount":"+0.8079903721809387","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":"Q4529644$B002F02E-A841-4075-AE59-2EC694CF270C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd01bc225923ba0424c86610ffc3038c50c8740f","datavalue":{"value":{"entity-type":"item","numeric-id":3826123,"id":"Q3826123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"951840ca600906e83741640b6a5e9cc5430d929c","datavalue":{"value":{"amount":"+0.801344633102417","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":"Q4529644$778B73C9-DD9A-47F6-A9CD-CC66B789D4F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f679d47fabb5d6ebee39b4858aea6d32be17e58a","datavalue":{"value":{"entity-type":"item","numeric-id":3336732,"id":"Q3336732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d5624aa232aa3bac7853af9f95acfcaa7cac0b0","datavalue":{"value":{"amount":"+0.791257381439209","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":"Q4529644$C5681680-E933-4726-AA55-769A6743E3D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a29e179bbf06cf64dcb40b6c39cad4b300e7df5","datavalue":{"value":{"entity-type":"item","numeric-id":1356218,"id":"Q1356218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c51f37686e881cf76617b3574abe77c49bcfd5b","datavalue":{"value":{"amount":"+0.7866542935371399","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":"Q4529644$7DA984B9-76DE-4D5D-8E62-F26EE2320024","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4529644","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4529644"}}}}}