{"entities":{"Q3457218":{"pageid":5236618,"ns":120,"title":"Item:Q3457218","lastrevid":52413128,"modified":"2026-01-22T14:29:39Z","type":"item","id":"Q3457218","labels":{"en":{"language":"en","value":"Planning as quantified Boolean formula"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6519604"}},"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":"Q3457218$CFF8E832-69C8-4F76-BC72-B7BB392698ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45b27b06a9c32aaa59e3c1601ab5b22023a3bc83","datavalue":{"value":"1327.68211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457218$36C2EC6D-A37D-43F9-97E8-82D026308013","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d68b7841b3c83ca224e931d667e5e4d916596d3d","datavalue":{"value":{"entity-type":"item","numeric-id":3457217,"id":"Q3457217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457218$48F7A706-0175-4FED-8838-55524FD6FAD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de6c0cbe2e1748fce4acbe8f86baa5b546a9e5f4","datavalue":{"value":{"entity-type":"item","numeric-id":834396,"id":"Q834396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457218$33FDC978-D3AD-4385-B0B8-95505FDBA253","rank":"normal"},{"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":"Q3457218$0237B137-4B8C-4E4F-9DBE-5439B5D20AF0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f98ff43191c7d2cedf25947a17beeb973f5b0c2","datavalue":{"value":{"time":"+2015-12-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":"Q3457218$F012F7CC-F5A6-4A00-AA1A-9532954CBEF1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3e51ea69d59701ffa8a25cac74db923206ccd1f1","datavalue":{"value":"http://ebooks.iospress.nl/volumearticle/6975","type":"string"},"datatype":"url"},"type":"statement","id":"Q3457218$BACFEA67-AC96-4AAD-AA45-7906245F72AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457218$F60A58E8-7462-4108-9542-7BDC35A312DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"69f853a92e8a2016de1d88395ceec4186c4c7478","datavalue":{"value":"6519604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457218$4B96A4E6-81BF-4338-9947-6AC83E3DC953","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":"Q3457218$B5047EDD-B238-49F0-BE46-B5FDCB4C037D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ab30d1bbbf226610c8e8fb5b2c8eec941e4c676","datavalue":{"value":{"entity-type":"item","numeric-id":3566747,"id":"Q3566747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cf1744424d9d6c546d75bf39eb54edf5b0f2668","datavalue":{"value":{"amount":"+0.8032905459403992","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":"Q3457218$627BD399-06D0-447A-894C-DC65C7544FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d467a109f219e937eec475a5e2589f3d9785fa97","datavalue":{"value":{"entity-type":"item","numeric-id":2398267,"id":"Q2398267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1af94ea2ac38055a28a88841f4f9beb824811c5c","datavalue":{"value":{"amount":"+0.785053551197052","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":"Q3457218$4D3F0CFC-F756-4E23-9464-845C03117212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08b0db0006f6b601a4d415d7b7169c2b11c227d1","datavalue":{"value":{"entity-type":"item","numeric-id":5713717,"id":"Q5713717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d8e1b3f2ba2ff4646f95fd6fe1b32ffa78cae0e","datavalue":{"value":{"amount":"+0.7792292237281799","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":"Q3457218$CDD0C5E5-03A3-4724-AA32-970009150A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b54ac02912c049c7641385a199421975f6b1085b","datavalue":{"value":{"entity-type":"item","numeric-id":2786912,"id":"Q2786912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8115eadea40d48d6556544a6e6fe6eb8adba625b","datavalue":{"value":{"amount":"+0.7637179493904114","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":"Q3457218$8DB03366-C65E-423C-A64A-561B89468891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c12b449c724f0c4e91bfbfdedba5626be71faa1","datavalue":{"value":{"entity-type":"item","numeric-id":2887072,"id":"Q2887072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a2f274499456cd486d9378a3169b2cb53dd88f2","datavalue":{"value":{"amount":"+0.7622329592704773","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":"Q3457218$51C77BFF-EE55-49B9-938D-24E7FE90314F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3457218","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3457218"}}}}}