{"entities":{"Q5875407":{"pageid":7904958,"ns":120,"title":"Item:Q5875407","lastrevid":55434022,"modified":"2026-02-17T16:18:52Z","type":"item","id":"Q5875407","labels":{"en":{"language":"en","value":"A Verified Compositional Algorithm for AI Planning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7649953"}},"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":"Q5875407$9B4CB12A-7891-4446-AF1F-7EC707267592","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f0be3c33817dec30ca405b4332fb07d2bfa84bf","datavalue":{"value":{"entity-type":"item","numeric-id":1663243,"id":"Q1663243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875407$DA90D2D0-7A9B-485B-A9CD-F24A01E6F39A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4319e36f31697b465281f35e1782e26d5448bc5","datavalue":{"value":{"entity-type":"item","numeric-id":1663244,"id":"Q1663244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875407$2860359C-213E-4307-BCE2-46AE72D564A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"145fb4ab3c36a5f99f91a0be2758a779e5bceae8","datavalue":{"value":{"entity-type":"item","numeric-id":386031,"id":"Q386031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875407$0BCD2D51-653D-4B83-A89D-968A42878D06","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6695abe38664d65c38747de7b5fe54d9caa92dea","datavalue":{"value":{"time":"+2023-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5875407$C9AC9796-65EC-4177-ACDF-484133379CD2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875407$D1F63B52-24C6-4C70-A2E8-1D14CEAC8259","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ebd28151e3a48ebc54b1b4a1a18f34ac41410357","datavalue":{"value":"7649953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875407$AE015B05-F11C-459A-A32A-0069BDC0500E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"350340194d3a3542925114977af17a6836e01c8e","datavalue":{"value":"AI planning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875407$1F938E65-8AA0-4DEA-869C-49BA4293CF8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fba79d82e1e6a92605fcb14b1bf756297398327","datavalue":{"value":"compositional algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875407$A268EFAC-8DE0-460C-BDBD-88751894B417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3526ac0922110120a06bfac7d0ed47ac7182f08","datavalue":{"value":"algorithm verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875407$54E2039C-CDDC-4431-A4F6-C2C99ED287DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d9c2e1f00facc619242af9af43a4aae006f38ad","datavalue":{"value":"transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875407$B9EFE845-3DB6-49FB-930C-3AF8A581881B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd1392891407fd9f11bfc5ced5f71a7f7a0fb2a6","datavalue":{"value":{"entity-type":"item","numeric-id":40261,"id":"Q40261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875407$7E5A00FF-15AC-43FA-88C9-A74C049BD42C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875407$46BA69BE-4383-4F80-84C9-B9B66B430D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a4e1fe9e7e19a9673e889bcce0afc1d800822389","datavalue":{"value":{"entity-type":"item","numeric-id":30365,"id":"Q30365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875407$E976E823-A501-4DBD-9729-465CE8AF4C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875407$550E4807-261B-491C-9D06-153ECFEA94B5","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":"Q5875407$3A85354E-903D-47A3-BC7F-981953908994","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f96d949ecf66929bf5f675481502cdcddc101435","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.ITP.2019.4","type":"string"},"datatype":"url"},"type":"statement","id":"Q5875407$01D61CDD-E072-40AB-A3F9-0B1CACD02722","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4ccaca8fd6e455a9356db224e55475861af4ef7e","datavalue":{"value":"W2977387023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875407$9825823C-60FF-4BF2-A852-5B835CF6B6F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a3193cc521ddd5ab1910c00a6b97d6cb34b5a5fb","datavalue":{"value":{"text":"A Verified Compositional Algorithm for AI Planning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5875407$D31FFE3F-C057-4D9C-A125-D04A9F7B3494","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9b27df12ff6a00266eec05f715c93535cf3934c","datavalue":{"value":{"entity-type":"item","numeric-id":2945619,"id":"Q2945619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875407$149F812C-33FE-4EB0-81AB-E579C001F802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f79a27a7618da3c2b04e03f358b1b7cba468ba8","datavalue":{"value":{"entity-type":"item","numeric-id":1663245,"id":"Q1663245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875407$F7A4C644-1CCD-47A8-950E-AFFE7F3C72AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6db136c71e6262c6818caf2a057ff6717043b722","datavalue":{"value":{"entity-type":"item","numeric-id":1583230,"id":"Q1583230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875407$32B2A59E-905C-4878-A2C3-8DABE403BFEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76b9c6c60f3db2907a04f9c3b63c103f4fca17c6","datavalue":{"value":{"entity-type":"item","numeric-id":682350,"id":"Q682350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875407$761630E6-E6F8-438C-B3CE-B03321C89681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0af38a80a15165de9447c68a451d21e2f1f1a1e4","datavalue":{"value":{"entity-type":"item","numeric-id":2938041,"id":"Q2938041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875407$F611DFED-CF69-4D9E-8C0B-93D4A8D5774C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8b5e9764238b84a89b6f90ca43e0cea49889b35","datavalue":{"value":{"entity-type":"item","numeric-id":2551696,"id":"Q2551696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875407$BB1CF880-85BB-483F-9ACB-FAE8F47DBC59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af0267aed943274e3a3fbcf2853e74a4787736a4","datavalue":{"value":{"entity-type":"item","numeric-id":2407428,"id":"Q2407428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875407$133B3F5C-8A41-41E3-8C97-37EB7D1D4DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb1af8abe41c9e8aff502622e419feb3df55654b","datavalue":{"value":{"entity-type":"item","numeric-id":1332851,"id":"Q1332851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875407$32F93A8F-5A52-4D73-BB19-3488D8D658BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f882972e0d4020177d8ec9773323d710a3e89a","datavalue":{"value":{"entity-type":"item","numeric-id":3141897,"id":"Q3141897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875407$7E93490A-3DF0-44BB-AAFB-CD9F19BE88F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"babd23140874eb5fae71cd5313ccbf026dbcbf25","datavalue":{"value":{"entity-type":"item","numeric-id":3454094,"id":"Q3454094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875407$A20F1BAC-973B-4356-9EED-D763DE41E855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4243a855a95d15dcc52f4675bed6925988c3cdd1","datavalue":{"value":{"entity-type":"item","numeric-id":3183543,"id":"Q3183543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875407$AB41B2F9-4EC1-457F-B877-22E3340E7731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77f4334b25d43b9293350a877e2d317280ca55a9","datavalue":{"value":{"entity-type":"item","numeric-id":3543646,"id":"Q3543646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875407$38DEAB42-0CE2-43D0-BC46-AEFDDA50F394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dce670ec1d34ee6c61f1437c968abe3b27423157","datavalue":{"value":{"entity-type":"item","numeric-id":3088018,"id":"Q3088018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875407$55E39465-F150-4883-B983-FC4C11E2B34A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"83a7e1d89e136ba6f6c5a429df16d62c3dcb53bd","datavalue":{"value":"10.4230/LIPICS.ITP.2019.4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875407$5CE3810D-2999-4ED5-927C-8D61D1EE37BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51d668fffcca4875f5d3b9df4009a50d16cb88ff","datavalue":{"value":{"entity-type":"item","numeric-id":1663245,"id":"Q1663245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19bc8d023385cdab8c670acfb2b1819487fa62f1","datavalue":{"value":{"amount":"+0.7102545499801636","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":"Q5875407$65E48075-6D8B-45BD-BB2B-588410ABE692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc03b42758671477c50567df53c178bd8b472830","datavalue":{"value":{"entity-type":"item","numeric-id":4534180,"id":"Q4534180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42e412abe704a54742c0bb39f92f2347afad6fdc","datavalue":{"value":{"amount":"+0.7033153176307678","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":"Q5875407$20375C4C-C272-4B6B-83D4-9F9E30FFC187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4119528563c83ef71cdef4809223c5868160f1ae","datavalue":{"value":{"entity-type":"item","numeric-id":2424818,"id":"Q2424818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0443dbac914176f9fe2f8dba23621d57ce83809","datavalue":{"value":{"amount":"+0.7021973133087158","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":"Q5875407$C8331838-DF0E-4180-BC67-9C35FE8E2AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b64f1e9513a205e0a23986eacffacf985e565ea8","datavalue":{"value":{"entity-type":"item","numeric-id":893736,"id":"Q893736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ebfa88a9a347f6563988df55dc48293d78947b2","datavalue":{"value":{"amount":"+0.6905215382575989","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":"Q5875407$B86A5800-553E-4CDF-B1CA-EABD2E8E776E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f05db7e95549cfb59de3dd925b4d07cc54c2ed91","datavalue":{"value":{"entity-type":"item","numeric-id":543617,"id":"Q543617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa6289215d52f7f259e8377e6a94bdf266a8e71f","datavalue":{"value":{"amount":"+0.690068781375885","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":"Q5875407$7EFDF950-AD86-415B-9A44-963FA50A0334","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5875407","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5875407"}}}}}