{"entities":{"Q2941742":{"pageid":2952462,"ns":120,"title":"Item:Q2941742","lastrevid":85264880,"modified":"2026-06-03T06:33:10Z","type":"item","id":"Q2941742","labels":{"en":{"language":"en","value":"ITSAT: An Efficient SAT-Based Temporal Planner"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6475330"}},"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":"Q2941742$19B58304-F6FD-43DA-89A8-DE7FD9780CE2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5294390d23f37bd07e75702e3b104e0c6ce14d98","datavalue":{"value":{"text":"ITSAT: An Efficient SAT-Based Temporal Planner","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2941742$3E22503C-2336-4B32-B7F9-85DC2EA96DE3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c8c5686957d5eef03b1d22ff9377b7731e6ba86","datavalue":{"value":"1336.68239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941742$31A03D1E-BB14-4A1B-93B7-82806A2E6C6D","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":"Q2941742$6DCD5CC4-44DB-4DAE-B598-A07F3763F5C3","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":"Q2941742$9CE74483-012F-4F6E-832B-D697F106D99B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bb469f8c3341c58b96368431d3c87cbee3d3281e","datavalue":{"value":{"entity-type":"item","numeric-id":110835,"id":"Q110835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941742$1440FBA6-C541-41E3-9850-1932BA07B4E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"58a31ea2ce845203d6a39244a5f91d2bbfe1b016","datavalue":{"value":{"time":"+2015-08-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2941742$4E053DB5-C87A-4B56-9FD3-C95D9EEBC76B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941742$9821086A-330E-4A96-A965-9CEF144B25C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ead81f07e19c7536f0b63eabf669fd118e7d0f54","datavalue":{"value":"6475330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941742$9F92E729-F95B-4361-99E0-920E848C8E4D","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":"Q2941742$009C0CEF-B776-4006-A9FB-2C2FD8DA9ED0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f272df3e9efe72d5d9afc98b3c9d06d1b03848cb","datavalue":{"value":"https://doi.org/10.1613/jair.4697","type":"string"},"datatype":"url"},"type":"statement","id":"Q2941742$60696CCC-B622-4016-85AB-EDCC8889A4CB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b1bd03b5d22a594f63ad9d41fe249913a8850452","datavalue":{"value":"W1007963672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941742$9197E002-C6C6-49D5-9779-032332C754A4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"92d7e73e0e4642ffd13a19e810c69441afb014c4","datavalue":{"value":"10.1613/JAIR.4697","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941742$E62CA9D2-AAD6-4775-B5E5-F62C5DAE9BB1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99c6afebd857a779eb260dc81522cb48a20a004f","datavalue":{"value":{"entity-type":"item","numeric-id":2915070,"id":"Q2915070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79efa4ff4b809e28d18607efba3ce80cb009ef21","datavalue":{"value":{"amount":"+0.90666795","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":"Q2941742$F6E3ADD5-A894-4421-AC1C-50D520C0609E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0438981bf125f7470a4340a17361579087a65391","datavalue":{"value":{"entity-type":"item","numeric-id":4013255,"id":"Q4013255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a226d24e6881eb7da5f7c66fb09f3ccf7a70bae9","datavalue":{"value":{"amount":"+0.87372226","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":"Q2941742$D937AEEF-AB14-4FAF-829C-9CDD31EA0183","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":"5d965b9afba36a4235f446cba9b0996a986d45bd","datavalue":{"value":{"amount":"+0.8724595","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":"Q2941742$E486B3C9-045C-47D4-9858-5F81C41A6B6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e988e60bbcb219d2a7cc67df0d5d6e5cbcadaf6f","datavalue":{"value":{"entity-type":"item","numeric-id":5268456,"id":"Q5268456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fed16c05b7c55ea69535c50d9d7239f5cbac3f3","datavalue":{"value":{"amount":"+0.8703217","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":"Q2941742$B17D9310-4B53-4B89-B2B9-C40415D28EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bad4780072b3b512fba0ab5c0eddace3e1a83f2","datavalue":{"value":{"entity-type":"item","numeric-id":3524208,"id":"Q3524208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67533a775f5c786d610dfd03cadd3c6972bf7186","datavalue":{"value":{"amount":"+0.86897826","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":"Q2941742$8D778CD0-050E-4F3A-8378-10A892F4AC90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"193b6443352a3258f81fe7b2e5abf39f12aa60c8","datavalue":{"value":{"entity-type":"item","numeric-id":2845506,"id":"Q2845506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20a14f388e1eb9574f33d583c6de1d67daea9e7c","datavalue":{"value":{"amount":"+0.86364436","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":"Q2941742$CB86193F-4D83-4351-A13A-E680DA355371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b13e178c971f65867d21e5a401dd25e5976f62d","datavalue":{"value":{"entity-type":"item","numeric-id":1306754,"id":"Q1306754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"deea7c758291a73af1a123267bd9aa367a6ced86","datavalue":{"value":{"amount":"+0.8588033","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":"Q2941742$44F90093-AF93-413C-A40D-304EF88DA53D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"ITSAT: An Efficient SAT-Based Temporal Planner","badges":[]}}}}}