{"entities":{"Q2248102":{"pageid":2258845,"ns":120,"title":"Item:Q2248102","lastrevid":52028384,"modified":"2026-01-20T19:12:14Z","type":"item","id":"Q2248102","labels":{"en":{"language":"en","value":"Model checking approach to automated planning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6310038"}},"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":"Q2248102$A4C2DEAE-5F6B-4B48-A81F-6EC0E91BCB6D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c7ea01f89ed360b0cea663e36bc0c38a5ea1235d","datavalue":{"value":{"text":"Model checking approach to automated planning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2248102$7DFC6398-4387-436C-A2ED-505832CA3039","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"062cdc2b1579ee61d5e84ec71f3d82a0a6f7dd86","datavalue":{"value":"1291.68263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248102$C7595EFC-6366-45A9-9B85-898EBF9CCE14","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8e543ed9331e4e9f3da7e47e39d3af59d472a0a","datavalue":{"value":{"entity-type":"item","numeric-id":202115,"id":"Q202115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248102$6315695C-AA97-4240-BC76-EFA444C397A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bb979099c8491d1c4ab08dc4b324da133551018","datavalue":{"value":{"entity-type":"item","numeric-id":319218,"id":"Q319218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248102$297E4A4D-073A-4CC2-95DA-5356487CD81A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3208ee20c85d475090d794dc3c7087da944dc6f","datavalue":{"value":{"entity-type":"item","numeric-id":488228,"id":"Q488228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248102$F6CD9ADC-A73B-4EDA-863B-D301BC078BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a29a8668613ef6f9130a40b44c1110c148f42ec0","datavalue":{"value":{"entity-type":"item","numeric-id":488229,"id":"Q488229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248102$B51C5E24-083B-4E6F-AD3B-C886433BBE9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c058afea036303a407f9ed86b611b84df43ce2d6","datavalue":{"value":{"entity-type":"item","numeric-id":488230,"id":"Q488230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248102$3CA1BF2D-7422-4E32-9DF5-10E159A36DBB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248102$DA33FC51-FE8E-486F-A343-E7AD2C6C0A5E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"117a9f146c2b43e9cf22c7fca681da0aad1e0ba1","datavalue":{"value":{"time":"+2014-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2248102$8CE92E8A-B4AB-47AF-8A71-9899C88D2601","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c6fc079f398a913be4233d7c8d84712152806261","datavalue":{"value":"https://ink.library.smu.edu.sg/sis_research/4978","type":"string"},"datatype":"url"},"type":"statement","id":"Q2248102$1B412C2C-808D-4DE9-AF1A-33CE204D7CFE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248102$2A908EA7-465C-4683-AE98-4A3B0452135E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248102$666BD564-0BA2-4987-9A39-4CE5C78E9D0A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce555ce326f40e1992c8d82588e57a589bd9d9ba","datavalue":{"value":"6310038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248102$20A88D68-ED89-4066-AAD8-96D44A99DF50","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2248102$F15F6982-BD93-4697-A4AE-D8A23B7F584D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e86c94d69a70eab5d5aa6a749dd7dd6cac82dc5","datavalue":{"value":"deterministic planning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2248102$61B8F35F-99BD-45E2-B317-97FC35D03AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87994eb840961e5165378eb7f918102952689b42","datavalue":{"value":"formal specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2248102$2B6EB795-04C3-4397-950E-6DE4E6862088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2248102$B5307E03-8189-4F6E-A120-DDDA912F7AB8","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":"Q2248102$6F7F9679-A48B-4FA5-BD39-0085E7E07A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248102$374A26B5-AE4A-408A-8FD3-A9B637BE4296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b09b080527cf0c7be3719338f59c9e92adea2d20","datavalue":{"value":{"entity-type":"item","numeric-id":19142,"id":"Q19142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248102$6FDB1521-EC46-4AFA-A9F2-1DAD99C1B4C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248102$BD36611D-8FFB-4412-8EF9-7452111F816D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bde88779cb6e7d8c59bbc11141f6f12a921e132b","datavalue":{"value":{"entity-type":"item","numeric-id":25173,"id":"Q25173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248102$0CD05C93-4A61-4177-B974-E3F0B1AE7C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1dd46d323628a51f1021dae05abebe32218151a1","datavalue":{"value":{"entity-type":"item","numeric-id":25174,"id":"Q25174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248102$4233787A-3C91-4F6D-A9BE-EC9C5B65C93C","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":"Q2248102$EDF29CC8-0DDC-4D4E-A910-9D2B1739BB51","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e68fb2948e1af4db7cd30f1bdfae1e9d85bf2c68","datavalue":{"value":"W2030659368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248102$76C47D9B-2A79-42A7-9A67-477BD6531699","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ce585837a919025fa0560b9c65a92d28da1c713","datavalue":{"value":{"entity-type":"item","numeric-id":1978242,"id":"Q1978242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248102$E9452FE4-916F-447F-AE39-8984A913B224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dc0cb02e990bb9233f129466ce011b2ab533532","datavalue":{"value":{"entity-type":"item","numeric-id":4230719,"id":"Q4230719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248102$91A717FF-42E8-449D-BCB4-07D75F28A7FE","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":"Q2248102$C79FC95F-3399-48BA-B312-DAD779F0537C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248102$521701C5-3BC1-4C22-A87C-9058C043C67B","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":"Q2248102$E9BF27B1-6A4B-4563-A10C-33C93C0639E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50cb61eb2db4640ee91d5505105b8bfdc06b0071","datavalue":{"value":{"entity-type":"item","numeric-id":3172935,"id":"Q3172935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248102$D123C7AC-8C66-4D56-B378-AA801280CD7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4ea09b62788a9809193cc9b583118eac7a9bf72","datavalue":{"value":{"entity-type":"item","numeric-id":4647854,"id":"Q4647854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248102$F9398DEF-5B20-4A1A-8272-C3BAD19AE639","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5fa3afa78b8c720822823a57620045c38c6a5c51","datavalue":{"value":"10.1007/S10703-013-0197-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248102$B1FED7AD-FA30-4742-B521-58DBF64D2CC2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08d815a3495564ba97cf8f35ad243eb1c3f996ed","datavalue":{"value":{"entity-type":"item","numeric-id":4666247,"id":"Q4666247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58a4af2344c3b9e22944418c3cbf3c72a2ce4266","datavalue":{"value":{"amount":"+0.7275500297546387","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":"Q2248102$6EE4C608-64BE-43EE-BF63-4AC5E384AF26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5562d94d880c3c2137a8f74cc3a8390d39e7826","datavalue":{"value":{"entity-type":"item","numeric-id":5899035,"id":"Q5899035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"974562334f6a6c9ff0e81b5b70e8a333ac918de6","datavalue":{"value":{"amount":"+0.710765540599823","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":"Q2248102$9233B7A8-5234-4ADA-9CB9-7BFC8660643B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ebfb906a9656037721472a56ba99dbe61d2c330","datavalue":{"value":{"entity-type":"item","numeric-id":4885877,"id":"Q4885877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e19542659012062927c7f4956e9dea8ee4d49a91","datavalue":{"value":{"amount":"+0.7092207074165344","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":"Q2248102$97715527-1E64-45A9-B364-8B299B43FD2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09198ed44fa84e02e49fda3d47b55eb2520c8b49","datavalue":{"value":{"entity-type":"item","numeric-id":4527271,"id":"Q4527271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e19542659012062927c7f4956e9dea8ee4d49a91","datavalue":{"value":{"amount":"+0.7092207074165344","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":"Q2248102$50426F56-E37D-495C-A93D-640F8309F9A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a361897a83fbcb8ac7951dffc524d62a5491ff4","datavalue":{"value":{"entity-type":"item","numeric-id":4494387,"id":"Q4494387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"113e02ea9dbe6a5ae7198ccd47eae7deb0419d3b","datavalue":{"value":{"amount":"+0.7090815305709839","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":"Q2248102$F6394A3D-13C3-411C-A032-CAEE3C8FBBAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2248102","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2248102"}}}}}