{"entities":{"Q893736":{"pageid":895584,"ns":120,"title":"Item:Q893736","lastrevid":65264448,"modified":"2026-04-12T01:24:38Z","type":"item","id":"Q893736","labels":{"en":{"language":"en","value":"Proof systems for planning under 0-approximation semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6512374"}},"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":"Q893736$EC3394D4-6129-46B0-97E2-5982C95FF204","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6aceb5f4c76d11fff628a2525ef38df5697873c4","datavalue":{"value":{"text":"Proof systems for planning under 0-approximation semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q893736$3E54C725-7790-4654-9918-2358F7A12291","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"57ebfce2087de74a0731cceaa80c0b4242cf2383","datavalue":{"value":"1343.68222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q893736$F9F0612A-D3E9-41E9-AAC3-D5B8816CA14B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"746c6144ac13ae1f4f11b48754d5c725cd1614f3","datavalue":{"value":{"entity-type":"item","numeric-id":893735,"id":"Q893735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q893736$2CD8A20B-FAB0-4743-A023-9597EE6AA30D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec92be1486ae17f71ec404a7412ad04344028005","datavalue":{"value":{"entity-type":"item","numeric-id":162005,"id":"Q162005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q893736$405CD80A-F3DE-43F1-8CC8-F53708B9D478","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7bc62645abb22752583f6909ba0e58feb505ce9c","datavalue":{"value":{"time":"+2015-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q893736$8104D76D-EBE9-4586-8A71-A2B1CB6DF903","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9174661a24623fa3871bfff2d9e71c09f9a4634b","datavalue":{"value":"http://engine.scichina.com/doi/10.1007/s11432-013-4854-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q893736$55363188-CFF3-491C-A05E-822D57BD39EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q893736$C214F463-4753-422A-969B-28B157BDE034","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a79b903db9cfc928fd759f3ce2346162ce3f3949","datavalue":{"value":"6512374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q893736$DD197355-55DA-4C4B-AB1F-51A22F675571","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"baf268242e11184107cd98a90f7ae6e07adaf57a","datavalue":{"value":"Hoare proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q893736$C3F96AA8-BC47-49CA-B3D8-ED2631967565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"deb076996dce9d8548e029ae6d83a7ed82985df6","datavalue":{"value":"off-line planning","type":"string"},"datatype":"string"},"type":"statement","id":"Q893736$38982492-56CC-422B-B1E2-DCD85FE4BA6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f069de1ca0b6a605bba0da3c32bc65790af87b03","datavalue":{"value":"plan generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q893736$ABDAFCE5-85CA-41DF-B031-3FEB4B36B201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12810999fa56e01ce5b8ba09b7a3c69ed1c24b1d","datavalue":{"value":"plan verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q893736$412D1010-AFFE-46DC-90A7-7EA2FA15A27F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q893736$9216BEF8-1487-4E6B-8DE0-8FB766D2F0C9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"043f286811bd7e3b25c26d8138a3f84c5097b5d8","datavalue":{"value":{"entity-type":"item","numeric-id":14703,"id":"Q14703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q893736$22EC7F59-E912-404B-809D-BFBFF14DFA20","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":"Q893736$66BF96DB-590F-4463-B06E-2F00599F8BF8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5457a2b29375b27a758a89a043f86ff4b1c583ff","datavalue":{"value":"W2010431601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q893736$D0AA167F-BA05-4D6C-A3B3-FC991A0ECE06","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba6ed2f0fd28cf192ae55cb0f4c8a95d71fd6c90","datavalue":{"value":{"entity-type":"item","numeric-id":814427,"id":"Q814427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q893736$D28299AC-BB04-4A91-8374-994C49C11F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"104f264562ff3723f9a8bb83607328bb57647ca0","datavalue":{"value":{"entity-type":"item","numeric-id":5297630,"id":"Q5297630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q893736$ED5B1B14-1D3F-415C-B545-A2BEB0203778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fb7b5f4ecc38742a2b712f219c3810df12655aa","datavalue":{"value":{"entity-type":"item","numeric-id":2457676,"id":"Q2457676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q893736$DB2B55B4-0A34-4F02-A042-44B5FD30FDEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1069b579e6e9d05d6567d4f2b50a7dd4493abd43","datavalue":{"value":{"entity-type":"item","numeric-id":5425410,"id":"Q5425410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q893736$7AF3F0E3-997E-4710-9CC6-214A3839F661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfa1e45bb11e7a9ebbc3bf1af113be1e59cfadbe","datavalue":{"value":{"entity-type":"item","numeric-id":5940779,"id":"Q5940779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q893736$07EA1DB5-466D-4E6D-ACB1-DD870D4C54C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2319242aa831a700388758aee0c9c046ec909121","datavalue":{"value":{"entity-type":"item","numeric-id":1583520,"id":"Q1583520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q893736$3F388970-328C-495A-B331-0AD1EE06386E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"742b32a578d3c568e0bbc4ca3a458619127605be","datavalue":{"value":{"entity-type":"item","numeric-id":835826,"id":"Q835826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q893736$CB657A88-C521-4011-99B3-9BA5F02B68FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaa9976b685119bd61116dfe5c866a58d46b4d32","datavalue":{"value":{"entity-type":"item","numeric-id":5313998,"id":"Q5313998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q893736$B93D0034-E72C-475E-A76E-31F10CAB474C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"373b09c1ad3afc09fbc8a8a75ccfb9ce5433773d","datavalue":{"value":{"entity-type":"item","numeric-id":4779807,"id":"Q4779807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q893736$09E08474-E000-47EA-A97F-A2CC4DDE0F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62b34158f96d60295d877241cec5bbda9c4d9afd","datavalue":{"value":{"entity-type":"item","numeric-id":4369865,"id":"Q4369865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q893736$CF028918-81F1-4878-BA17-5649D5D990AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fd47987217bd889828e760fd7d9ac44edceb361","datavalue":{"value":{"entity-type":"item","numeric-id":1402735,"id":"Q1402735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q893736$0608E9EE-6B74-4C35-9E01-4234B143C9DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q893736$2D4593F8-8BA7-4A69-9C87-9680FB9338AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"989ffcc992d1ac31e39a63758614d7ce6f35323e","datavalue":{"value":{"entity-type":"item","numeric-id":837527,"id":"Q837527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q893736$B7A976AC-36E4-4811-9082-88AE60FB5503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8653d2e6f53b17cedec7b9470bcf88609d4f1f","datavalue":{"value":{"entity-type":"item","numeric-id":5320667,"id":"Q5320667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q893736$BAF3BD61-B258-474F-B297-5E6CAC29ADC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309a715ecfe3fe3e4ec0e698ae13dce021cfc93e","datavalue":{"value":{"entity-type":"item","numeric-id":2724150,"id":"Q2724150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q893736$3B7ABE26-70C7-4EB7-960A-D0D56CA86183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a266ffb55fdcb894d33359e02d62e16c76ebba8f","datavalue":{"value":{"entity-type":"item","numeric-id":5046390,"id":"Q5046390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q893736$FB923658-FB93-4104-A2A3-B8B0001392B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cd02813a8078a61930a3aa18cdfa69a8c379c6c","datavalue":{"value":{"entity-type":"item","numeric-id":1294793,"id":"Q1294793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q893736$5F71BA28-E599-4EEA-811D-5C768D8CAABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89579818d6e4d80a75d235c5b81c8830de4580cd","datavalue":{"value":{"entity-type":"item","numeric-id":931876,"id":"Q931876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q893736$E558C857-35C1-4F5F-B978-34C2461B5D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53e676edf9a61c14434cc1c48090af5e6d67c733","datavalue":{"value":{"entity-type":"item","numeric-id":4527271,"id":"Q4527271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q893736$4E68AE1D-985C-4209-9A20-C07E70F0562C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2736edaaee4f754b6be175e6a0fc46108d76c015","datavalue":{"value":{"entity-type":"item","numeric-id":543583,"id":"Q543583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q893736$D045AA8F-2338-4CD7-A42B-B007F8A35A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66b6d711d55b4b6f9d235e776f790dc2aadab54a","datavalue":{"value":{"entity-type":"item","numeric-id":4434167,"id":"Q4434167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q893736$B4AEA4A1-D7E2-48D6-A02C-1891BCBD1F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c68631bc9e3d5ab5e18474448eb1e567fa70fa50","datavalue":{"value":{"entity-type":"item","numeric-id":4352529,"id":"Q4352529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q893736$AD79D102-B4C8-4C97-AF82-75E44CF53961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"487e3ff8d7c32bd85712c54329bb309131eac84c","datavalue":{"value":{"entity-type":"item","numeric-id":5696596,"id":"Q5696596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q893736$C3E70E63-A6ED-4A4A-A1D2-E6BD067406D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dfb53cc0a7e0fb156450828f54952ddde68ed298","datavalue":{"value":"10.1007/S11432-013-4854-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q893736$1146744D-B134-41FB-8000-127403BD3583","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e61521466efc69453d03c996ffe47614665c4523","datavalue":{"value":{"entity-type":"item","numeric-id":5018141,"id":"Q5018141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q893736$7ACE8607-1413-4933-80AA-54F86DDC981F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02002939f3d0aae5fdbfefe79784a5f5e1f7fd1e","datavalue":{"value":{"entity-type":"item","numeric-id":1712544,"id":"Q1712544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9f6184e494120f2648cbe71c9df6ff39efe4679","datavalue":{"value":{"amount":"+0.8075467348098755","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":"Q893736$58CA5FB2-4152-4FF3-A7B2-C23C316461C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"294488c3b85e860c2ccc9131090bac481e1175d1","datavalue":{"value":{"entity-type":"item","numeric-id":4428310,"id":"Q4428310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0be4ee895f53c18bf4b8769dd8139123c1b177a","datavalue":{"value":{"amount":"+0.7457655668258667","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":"Q893736$F610036D-5C33-4FB3-901A-C99E4BDFDDB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"177b8773902459fb73f13651b3be13e852cc59e0","datavalue":{"value":{"entity-type":"item","numeric-id":5277695,"id":"Q5277695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0be4ee895f53c18bf4b8769dd8139123c1b177a","datavalue":{"value":{"amount":"+0.7457655668258667","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":"Q893736$5785C69F-E215-498F-8408-112069A8AD4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ee17e48e28f9f82ce7da1dace7aed7ed184b136","datavalue":{"value":{"entity-type":"item","numeric-id":5473969,"id":"Q5473969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79cd888065b04e56fc7356bb698fd476d64a7ef8","datavalue":{"value":{"amount":"+0.7249743938446045","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":"Q893736$3ABAA99F-2E7A-47A3-B908-4B67D5A31F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6947e69e2ae8b2312bfb333d3ced4c4e2f9a80a0","datavalue":{"value":{"entity-type":"item","numeric-id":1583520,"id":"Q1583520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6508339669ea939833e34465c051e00d288dbbab","datavalue":{"value":{"amount":"+0.7168078422546387","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":"Q893736$8C8216AD-BB27-4808-8862-5F63EC02276C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof systems for planning under 0-approximation semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof_systems_for_planning_under_0-approximation_semantics"}}}}}