{"entities":{"Q2915070":{"pageid":2925790,"ns":120,"title":"Item:Q2915070","lastrevid":85098650,"modified":"2026-06-03T05:52:33Z","type":"item","id":"Q2915070","labels":{"en":{"language":"en","value":"Using satisfiability for non-optimal temporal planning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6084941"}},"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":"Q2915070$D30342F5-C1B2-4893-8F82-CABE357C7BA8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2547c510732281cc94f24a53368ce9890b282bf5","datavalue":{"value":{"text":"Using Satisfiability for Non-optimal Temporal Planning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2915070$3F57AFB7-8E16-4B8E-9D11-EB744BD6BDC0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0139f0b11327de86e47841aef3e18fc6c8d73fd2","datavalue":{"value":"1361.68205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915070$46665B58-32F1-4270-B8E3-AA33797D4368","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ece1cd741db7e0732440d5688f7743c8f86cab94","datavalue":{"value":"10.1007/978-3-642-33353-8_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915070$EF107CF5-4F1E-4820-B725-98306895E829","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"11185b8bebb3ad5cd7a34deb8a919a95d60c41e1","datavalue":{"value":{"entity-type":"item","numeric-id":2694568,"id":"Q2694568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915070$2FC91FC1-5896-42C3-AD81-D0BEC4F71085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"28962e8ec2c199e7e8cf9be8a49f1e4bcf41d422","datavalue":{"value":{"entity-type":"item","numeric-id":2915068,"id":"Q2915068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915070$5FC651F1-F74A-4730-BA94-42A7CC07359C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c09f0d9668ea0606fedfedb7484bcc49f0d83467","datavalue":{"value":{"entity-type":"item","numeric-id":2915069,"id":"Q2915069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915070$ADC8FA2C-9FBF-4C85-AE09-36AB3291988F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f243a6673bd9cf7abffff5d921f26c940b2015b3","datavalue":{"value":{"entity-type":"item","numeric-id":2835857,"id":"Q2835857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915070$CB4FA4FD-6251-434C-98BA-95B16865EC39","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9be54b5bf8411b172b987b968e66cf4985f4b2f8","datavalue":{"value":{"time":"+2012-09-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2915070$1AB096B2-72B4-492E-A5C2-966FEEF41D6A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915070$5E37309D-3163-4CB8-AC5C-C6613CC94588","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d93f74e309f96767a74f4bfeaf41333061053e2","datavalue":{"value":"6084941","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915070$E4F80272-C4CB-4719-AB2A-CF0B2457FA57","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f8be496afa70f96c42c9d007ca2434d452e47a9","datavalue":{"value":"satisfiability checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915070$1FC43A9D-A810-4CCC-8DD1-A8D0CED0657A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"350340194d3a3542925114977af17a6836e01c8e","datavalue":{"value":"AI planning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915070$552672B1-DA92-450E-98FB-6D38DED872DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8c5f8101aec76e098b239e7b47c2ff05c831749","datavalue":{"value":"temporal planning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915070$DCFEBABF-92F0-4B93-AB16-CFA0049E3A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3e58486488fb61ef8665c0ca5f17f7f2115fe15","datavalue":{"value":"simple temporal networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915070$686E4AAB-3C99-4AEC-9EDA-7158BEC9F61B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"91f8109f9ed2f04d12462882caaf1148ee5f31e0","datavalue":{"value":{"entity-type":"item","numeric-id":19137,"id":"Q19137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915070$88F2F684-E3C0-4E7A-9790-0653380FFE73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"02aa6cae878b77a5f61151dfb914bd66eebb75db","datavalue":{"value":{"entity-type":"item","numeric-id":16507,"id":"Q16507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915070$E632CF94-9678-4D15-AAAD-1E3B9CE43776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"764cd49015cf9b3fcf5080c278819fdb1d8b24ba","datavalue":{"value":{"entity-type":"item","numeric-id":32505,"id":"Q32505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915070$4AA49CCE-70B2-4053-B8C7-6A979901F995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1bf6afe47ea7d17ce5236f4a345f6de11c51198a","datavalue":{"value":{"entity-type":"item","numeric-id":32507,"id":"Q32507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915070$C3730782-D31D-48C8-90C1-6E782B0E0301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"503825d68ed5a35842f88c1c76dc6088e21c1efa","datavalue":{"value":{"entity-type":"item","numeric-id":19763,"id":"Q19763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915070$13CBB65C-4B38-4B53-B11D-500F926CE2D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915070$BA1F362C-321D-4A6B-B59C-2E7F9B052AFE","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":"Q2915070$01AF0D7B-1428-455E-8281-4A8D0EEA83FE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"575cd18e5eda818f0adfbb5c3802a77a83dd049c","datavalue":{"value":"https://doi.org/10.1007/978-3-642-33353-8_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q2915070$ABA764CC-D789-4479-A7D0-42B1BD3F4BB8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"415a963c790527fa65f16ec8622ea94cd046e4bf","datavalue":{"value":"W1530282628","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915070$39A23D9E-CD2C-4DE4-ADD9-BA9D7F934E9F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad4db1d3dbd42116620e185986a69fbfb9e425f1","datavalue":{"value":{"entity-type":"item","numeric-id":1402751,"id":"Q1402751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915070$EF5D9BB4-467F-4304-AA06-8093A1C30067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62ef01707764ff565209d349b1e5757b36f00feb","datavalue":{"value":{"entity-type":"item","numeric-id":5394133,"id":"Q5394133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915070$A68BF710-72CE-43EA-86AB-216681498A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e2f788edca0de433b2d24245b80e02499198dea","datavalue":{"value":{"entity-type":"item","numeric-id":4449310,"id":"Q4449310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915070$980317D1-9405-4CBE-87EC-186829A31BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2df7c12ede21b36a139a52a02f539e5edeb984e2","datavalue":{"value":{"entity-type":"item","numeric-id":2457640,"id":"Q2457640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915070$C53759F1-BF83-4C37-A8E1-A5790CB7925D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"925ee61dff31b40263b8542441c50d2f75b4d267","datavalue":{"value":{"entity-type":"item","numeric-id":834400,"id":"Q834400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915070$0F0FAE35-AE0F-4EB6-B0B0-0BA5FAE9C409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d1bac3abb8c0c48365bec06af3b9c76749da3a4","datavalue":{"value":{"entity-type":"item","numeric-id":2717791,"id":"Q2717791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915070$A4E7760E-FEEE-44E5-8419-4AF15F9105A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fec3e69cdcca7384fabc1c1a8e32f234be1bbc87","datavalue":{"value":{"entity-type":"item","numeric-id":1182161,"id":"Q1182161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915070$F0FE8DE9-61D5-4AA6-B005-B417E727C0F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0397387a50d3d2a63c7a5f8382beea29196cf88a","datavalue":{"value":{"entity-type":"item","numeric-id":4449295,"id":"Q4449295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915070$DA069C8A-4CD0-41C9-B3D6-F4435109B881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915070$DD0CA319-F903-4E89-B5E4-8D749DA8CCB6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e761c249d1734e74c678c055b20f4b1eb50aaa9f","datavalue":{"value":{"entity-type":"item","numeric-id":2941742,"id":"Q2941742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba20f3a23ffd414ce8857ac7df0ee97dedd1fb74","datavalue":{"value":{"amount":"+0.8505909442901611","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":"Q2915070$59DDB670-4C57-4193-ADE8-E209E14D55B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e2b60836fdca05782b0366b2d102e3bc0d14d5b","datavalue":{"value":{"entity-type":"item","numeric-id":814472,"id":"Q814472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58778a7b64d5f27fbad2965b8a746fab0deeebe2","datavalue":{"value":{"amount":"+0.7776302099227905","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":"Q2915070$04BEA32A-9A7B-4A6A-AA23-1B2D9117E539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fefdff7d1c2a59c142b8648e7159fdd6ab21cd3","datavalue":{"value":{"entity-type":"item","numeric-id":5898794,"id":"Q5898794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4641128fa21cc055a51a3210b936d19920ffd308","datavalue":{"value":{"amount":"+0.7695075869560242","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":"Q2915070$25FC93B3-D0D8-4BB0-8CEA-7C0320F9E003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"751178be8b362e9ec887811ecb3ba57fc0f6b3b9","datavalue":{"value":{"entity-type":"item","numeric-id":5190260,"id":"Q5190260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d816a1bac057a72ee6539a9684643fd82dd1d89","datavalue":{"value":{"amount":"+0.7682003974914551","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":"Q2915070$940903E2-D22B-4EEA-8710-CDED27FA05D9","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":"93aaaf61b7d81fab80d55674c91c36d1966ab4e5","datavalue":{"value":{"amount":"+0.7681866884231567","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":"Q2915070$89D72BA1-B40E-449A-BD68-AB0616390375","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Using satisfiability for non-optimal temporal planning","badges":[]}}}}}