{"entities":{"Q4534180":{"pageid":6563772,"ns":120,"title":"Item:Q4534180","lastrevid":97181960,"modified":"2026-06-05T13:31:36Z","type":"item","id":"Q4534180","labels":{"en":{"language":"en","value":"The classical AI planning problems in the mirror of Horn linear logic: semantics, expressibility, complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1750642"}},"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":"Q4534180$C53E3419-B5A8-40B3-84FF-68F433A41D27","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"791a908828f991355f46cc1ab7aac5da4f33f415","datavalue":{"value":{"text":"The classical AI planning problems in the mirror of Horn linear logic: semantics, expressibility, complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4534180$8D7CB03C-C39C-484E-B21B-EDFA1902718E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"24f52fbdb4fdf64a3fdb598414ed861be8319aa0","datavalue":{"value":"0994.68139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4534180$DF737031-2D12-46F9-9AC4-CE3FF0402C89","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0945135eb93a34869287a632463932edcfebaae","datavalue":{"value":"10.1017/S0960129501003413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4534180$F3003A20-78BC-47A6-9C53-46C619AD8015","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a88302bb95e1e4db76c4441eafc7b30c336e74eb","datavalue":{"value":{"entity-type":"item","numeric-id":534714,"id":"Q534714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4534180$229CA094-0C64-4FEC-B645-2D553804A8F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f77aa9981ae6690e559660487e9993c7adcfdc1","datavalue":{"value":{"entity-type":"item","numeric-id":1326779,"id":"Q1326779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4534180$ED5DE538-314D-4052-982E-4293D8EE3E9A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4534180$F54FA984-0711-4B5A-B293-F32F9262B3A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4af9359db3c2e959eada0a72ebb7ba7acdf14b7a","datavalue":{"value":{"time":"+2002-10-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4534180$8F76B1E2-C9AA-4713-BFC6-C889231BC195","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4534180$D8AB1519-8637-4F65-B09F-4C6C9C0E02AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4534180$631F92D1-960F-48C8-8D50-8D1786326658","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bfaa16538b81f227cd89163cb7e0f40e9ffa479b","datavalue":{"value":"1750642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4534180$0671F9F0-8E60-4B19-AB1D-29089067FA35","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d5e897e4c55b6ad80fba449aca463304510b5a3","datavalue":{"value":"Horn linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4534180$184977CB-FB83-498E-82FA-4C9E20198377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c919e18fbf09eaa0d0c57c35596cee5683cec65e","datavalue":{"value":"planning problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4534180$70463FB8-94AB-4E77-BC39-1FB0DFC56EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54bd8b2fc3aa71e596caa381df3ab7b85924f636","datavalue":{"value":"robot systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4534180$DF4DF6D6-44A7-4CFF-8188-D8FE0342DEE2","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":"Q4534180$37856699-B6D2-48FB-920F-132A42F6F6DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d5ba224f3025bde39401383897a400dae057f94","datavalue":{"value":"https://doi.org/10.1017/s0960129501003413","type":"string"},"datatype":"url"},"type":"statement","id":"Q4534180$8202B216-C633-42E8-81DE-C4A34FF42D83","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"404d148d4e80f1d1dc83d684709a4916bc6ff8ee","datavalue":{"value":"W2017668106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4534180$2831C5C9-2B4B-4A04-9C7B-DEEEBF24866E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5ab93204ced947382a53f4471e25f7a92894615","datavalue":{"value":{"entity-type":"item","numeric-id":5292643,"id":"Q5292643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"250c626cf76d15cb4cdb6fb6e02a4d320a7fc7d3","datavalue":{"value":{"amount":"+0.8219838738441467","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":"Q4534180$4B5CD367-789A-472C-93B4-66670145351B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2455ed38ada23d363de18968a4780f38ce001a0","datavalue":{"value":{"entity-type":"item","numeric-id":2373707,"id":"Q2373707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d9b382d43d4ba56b9c4fb271a2671e947f5492c","datavalue":{"value":{"amount":"+0.8206350207328796","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":"Q4534180$90AC60D6-D120-4EB5-9504-FA1ACBF99503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53159181f06834cbc8c1d6334f160dac06eeef7d","datavalue":{"value":{"entity-type":"item","numeric-id":534715,"id":"Q534715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b6b03e00811c4136eadc1f47168a0a79f3792e2","datavalue":{"value":{"amount":"+0.804573118686676","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":"Q4534180$2A5168EA-D813-4480-8FB7-A12AEE4C2973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45985f21895f487fcdc3bea48bf49071ceb356fe","datavalue":{"value":{"entity-type":"item","numeric-id":5311242,"id":"Q5311242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ffa7dfb8b8523bd0d81af9a3af5b0802909810b","datavalue":{"value":{"amount":"+0.7836548686027527","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":"Q4534180$6CBCF740-6831-4BB9-8189-EAB2F0C1307C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"153d558701bb978070267d0ee5544966cc25b235","datavalue":{"value":{"entity-type":"item","numeric-id":1006453,"id":"Q1006453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23debf9a41d3cf2a3fba024c7842a35990b6b6fd","datavalue":{"value":{"amount":"+0.782904326915741","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":"Q4534180$E56B33A9-4315-4043-9C3F-BC0A38AB3349","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The classical AI planning problems in the mirror of Horn linear logic: semantics, expressibility, complexity","badges":[]}}}}}