{"entities":{"Q4636296":{"pageid":6665877,"ns":120,"title":"Item:Q4636296","lastrevid":41622893,"modified":"2025-05-06T11:59:24Z","type":"item","id":"Q4636296","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863862"}},"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":"Q4636296$2D0B53FA-BBBA-450C-97A4-DE8D29DCC191","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee7f3a633aea296b19611a810b1dd096599c72b3","datavalue":{"value":"1385.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636296$336BA3BC-8D33-4A3F-9E74-BA26E733EB4E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5855e6ae1b25b2b15c97661e3de0cff467dfe34","datavalue":{"value":{"entity-type":"item","numeric-id":528189,"id":"Q528189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636296$328E6437-3FB7-48C3-9B0C-D38F89EA4BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdeca7fa3ca61fb6bc221ab92d3afb1fb3a5ebcc","datavalue":{"value":{"entity-type":"item","numeric-id":703859,"id":"Q703859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636296$13318FC6-A061-4E75-A394-705B901AEE03","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4636296$3013A543-E677-4559-98AB-885C8639836A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636296$1C681F9F-AFD1-42B9-A1F4-2D4C8A55C6F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636296$1A40C3A5-60B5-4E8A-AA34-2FD0A7776EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636296$A9B96220-FCBB-4DB0-B7AC-84B869DC2168","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a02604c32b763b73a0f6285d769ac2611d1b8bb5","datavalue":{"value":"6863862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636296$8542FF2B-2E26-4476-9FBE-81A00A3341FD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636296$B58C9E3F-D94D-4841-B3ED-4C7F9808FF9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636296$3E061197-74E1-496C-8DEB-ED576E93DB6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bebc348ee27159ca71308a4f6ab6999577d7bbf","datavalue":{"value":"alternating-time temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636296$C119FCD2-2D79-4486-B28A-397866B3C4C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"debbeb86ccce94b2a215349e824fe3fb3d4a7377","datavalue":{"value":"flat fragments","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636296$C629F6C9-B9AE-4566-8E93-7EE559F9D801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636296$1020167E-2EB4-4018-A7AF-F101CCAC1AA6","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":"Q4636296$A4B2076C-AB99-465B-8C08-7133FBFA8B23","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70192699b2f4bf6f3062c2880bf9b612b45020b6","datavalue":{"value":{"entity-type":"item","numeric-id":3192199,"id":"Q3192199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27580e747d28c262705d3c54dcdc5cd6ef64afe2","datavalue":{"value":{"amount":"+0.91491675","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4636296$0715BD61-EA13-4E04-A91B-F2FF060C14C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f75f8ee1b680fdc51f9610989ebf52c4e6c8d6a1","datavalue":{"value":{"entity-type":"item","numeric-id":2368988,"id":"Q2368988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfd51ec0e1272299c20974789e5e508f82593d35","datavalue":{"value":{"amount":"+0.88912785","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4636296$68D44156-FF28-4883-AF18-DD812F3D239D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61d5ae02988cf89fafa847e035f6b40a766c3456","datavalue":{"value":{"entity-type":"item","numeric-id":4992516,"id":"Q4992516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3541ef027936cce9c3b7e2dc5282849fe1e5f8d9","datavalue":{"value":{"amount":"+0.8840224","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4636296$8011A07C-9739-4B0D-A015-111636F8B1C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a8ff0559c90e71f8bd33dab2ca673be18744c84","datavalue":{"value":{"entity-type":"item","numeric-id":5277905,"id":"Q5277905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86de4a82e6ba83e0f9331082e5b2065e5349ec71","datavalue":{"value":{"amount":"+0.8788406","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4636296$B03EE083-948C-429D-99CB-D9A0AD05F85E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c4749c931588c31648c97654758bf0cdfb3dc96","datavalue":{"value":{"entity-type":"item","numeric-id":1591203,"id":"Q1591203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69133044b87d615302d4e166dc8214210577fe54","datavalue":{"value":{"amount":"+0.8774936","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4636296$A20B5C50-D266-4217-ACC7-5CF5ABB91920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6c58205addc674c4d8bf6232eb40acc6101d995","datavalue":{"value":{"entity-type":"item","numeric-id":1062669,"id":"Q1062669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6853aec270078a8c61817d679686d5ce79ce964a","datavalue":{"value":{"amount":"+0.87669617","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4636296$0CC40FF4-58B3-44EF-8B33-A04B75F10625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"691d7fe8f3d4d3417be9a6c845572a4811be73b9","datavalue":{"value":{"entity-type":"item","numeric-id":2265816,"id":"Q2265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81d88dd7e557ce3bb57aefbda3fa4b04d55bf804","datavalue":{"value":{"amount":"+0.8765447","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4636296$F94C1B9F-11EF-4E72-9F47-D03AC475C773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6932e88451e757ee35db2967e8f7727b2c025b24","datavalue":{"value":{"entity-type":"item","numeric-id":4612421,"id":"Q4612421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a05ba0554a9009696bbdfa27f8395d9850de6d7a","datavalue":{"value":{"amount":"+0.8736486","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4636296$B19E0D9E-06F1-4666-9993-2EFBB6242A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6fc4030e1f254b736e2fcf6aa75cde2125981cb","datavalue":{"value":{"entity-type":"item","numeric-id":5145634,"id":"Q5145634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fed80b1386d1d704eb1f1520522323c154ca64d8","datavalue":{"value":{"amount":"+0.8735262","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4636296$602D75B3-2E74-400E-8612-F5DC9D31A707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe8f6f712e931a84b2d94c4297ae6f439bad118d","datavalue":{"value":{"entity-type":"item","numeric-id":4708923,"id":"Q4708923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0be793089b570f43c50a9c441137609160555e9","datavalue":{"value":{"amount":"+0.8718159","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4636296$BA321D46-E729-4BED-B87B-0CDB7E2B5C26","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4636296","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4636296"}}}}}