{"entities":{"Q6488800":{"pageid":14067569,"ns":120,"title":"Item:Q6488800","lastrevid":41234517,"modified":"2025-04-22T17:01:13Z","type":"item","id":"Q6488800","labels":{"en":{"language":"en","value":"Hierarchical decompositions and termination analysis for generalized planning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7753322"}},"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":"Q6488800$76555C8D-3443-4EBA-9F14-F91307CDC02A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d327d5589546d802384b50ba51a857dc1459b33","datavalue":{"value":{"text":"Hierarchical decompositions and termination analysis for generalized planning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6488800$BCBFC789-98E9-4FF6-BFA2-DA25AE14E7A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bca0228c7a8a49096f44bc1162c2f76651387af2","datavalue":{"value":{"entity-type":"item","numeric-id":359970,"id":"Q359970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488800$0BE3135E-DD8D-4726-B484-7044168986FC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b8a215d385f75fb3e358378de413ed23462bf46d","datavalue":{"value":{"entity-type":"item","numeric-id":6488778,"id":"Q6488778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488800$B335E32D-DB23-46FB-B5EB-475B9DC51C6A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6eec0b2a8c1cd05be3ac82759501d90cc4056cfd","datavalue":{"value":{"time":"+2023-10-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6488800$2E1F1CCB-52C1-44C6-AB07-A2F7D03E16FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488800$113D4763-D59D-4910-AB6F-245ACA8E6DEE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"318f3fefb35699b64eaf67453c5cf77a25a64d21","datavalue":{"value":"7753322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488800$7AD7FE10-81FA-46CA-9E47-B75294924AAF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dce248baa6ddc45c558e1072a9ef8778d9930096","datavalue":{"value":"planning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6488800$83187C19-483F-4245-B20D-5E9FC0D81FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92894f36c61323693a773cab63ef390248b8ad5c","datavalue":{"value":"mathematical foundations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6488800$19E72C3D-98FC-447E-A118-FBBCD836523C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1649aae65c8e9c2844b8c09f12b8754471009d92","datavalue":{"value":"generalized planning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6488800$5BECF8D2-1F2C-4EE1-85E9-D0744527BB42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec347075b9d3aa141d6609dda6b1964ed5803c12","datavalue":{"value":"reasoning about actions and change","type":"string"},"datatype":"string"},"type":"statement","id":"Q6488800$3BE6413F-455A-4A0C-A946-8F98F968F24A","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":"Q6488800$06D53CC9-1A7B-4B54-A621-03CE92E648F5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a285335b5f1d8ce247163ca49f3cce7bc4c16299","datavalue":{"value":{"entity-type":"item","numeric-id":2124464,"id":"Q2124464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488800$AB35E74F-0F2F-4616-93C7-334B5AEE9198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83496642df1b4c6cf3f7b6ceeb1bacf7d329b8a6","datavalue":{"value":{"entity-type":"item","numeric-id":5139597,"id":"Q5139597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488800$00F3FF9C-FC44-4F9B-8F9A-6359CA28B4EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deeb97c476799c7ebc17474fec5ecf15127c375c","datavalue":{"value":{"entity-type":"item","numeric-id":5897430,"id":"Q5897430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488800$FD4394B1-E04E-44C0-94AE-9FC026057388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dc18d91dfbadafffb926bcea387bf2c2268f53f","datavalue":{"value":{"entity-type":"item","numeric-id":2531871,"id":"Q2531871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488800$B6DDAF46-CD2F-4D3A-A112-882B140C6AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5a008d81ebcd95afdc04f985817dfc8757a2e14","datavalue":{"value":{"entity-type":"item","numeric-id":5403035,"id":"Q5403035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488800$BBD37790-3DA9-4C06-A4C6-FE5DE9ACC2BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c9d1e4a2f1c28a7528ebc0329db64862e328a91","datavalue":{"value":{"entity-type":"item","numeric-id":1978381,"id":"Q1978381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488800$FB45BA6C-A268-46AB-B301-70CC505D4840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1950b2f7ea4f55b053fe30cb31fae70c4ce589d","datavalue":{"value":{"entity-type":"item","numeric-id":3848975,"id":"Q3848975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488800$813753E1-FD7E-43BF-825B-91ACE0B0E5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b8453e9d653b1e275ef93ed0891b90243c1d9cf","datavalue":{"value":{"entity-type":"item","numeric-id":835833,"id":"Q835833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488800$C91F4DD9-F63C-4FBE-9F3D-8CC6826557A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe757dc74c0840385fb3562d1864ac796922b349","datavalue":{"value":{"entity-type":"item","numeric-id":4585055,"id":"Q4585055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488800$7C39E96A-C0B3-4577-9EA6-AD69EF35560B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b05bcf55a9e3f600667f5734b19d0d3dadef6046","datavalue":{"value":{"entity-type":"item","numeric-id":359973,"id":"Q359973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488800$75254D53-C073-4122-9825-698EC6007F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9670f86679090174418eb6cd4d316890ab5380d","datavalue":{"value":{"entity-type":"item","numeric-id":543617,"id":"Q543617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488800$F1E9021D-7DB5-4A01-8EEE-7DAEAF4D1C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dc0f9b8194a74470b1a3252d8b6913c7abb917d","datavalue":{"value":{"entity-type":"item","numeric-id":3096129,"id":"Q3096129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488800$944526CF-4F84-4D5F-B000-98DB52818C3F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7079e70558342b62ed41f8b8ab8086ceb52fd285","datavalue":{"value":"10.1613/JAIR.1.14185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488800$2A194718-D9DA-48B6-9ABB-BAD9FB189996","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b2a4fa2021ec70c273f1fa81767e34b70120bbc","datavalue":{"value":{"entity-type":"item","numeric-id":4375212,"id":"Q4375212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63fef596da98922221695c5fa5dd2bb6fbac6092","datavalue":{"value":{"amount":"+0.88187057","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":"Q6488800$D4213ADF-6709-4BA2-98BC-506166E99B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81a56c9c821e87ba87c168bf5ac800fe35020c73","datavalue":{"value":{"entity-type":"item","numeric-id":4028091,"id":"Q4028091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e85da1c312d0af5016f67552d666412de97ed25","datavalue":{"value":{"amount":"+0.8809457","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":"Q6488800$144B51BF-C81F-4668-8DB2-11957D46B64C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63a7694b42a7f354c7c38d3c9303a98bd28271b2","datavalue":{"value":{"entity-type":"item","numeric-id":2124464,"id":"Q2124464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17275cdceb62624582e353da3e4da7ffb6762618","datavalue":{"value":{"amount":"+0.8806783","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":"Q6488800$4B75FBBB-2A78-4204-96E5-4C137CDCCB05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dfe5e2da97e7acb18465279f5d5da8a4bf91948","datavalue":{"value":{"entity-type":"item","numeric-id":1390198,"id":"Q1390198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5995e6aa5a7628df67acbaa58b86a204709b8c6","datavalue":{"value":{"amount":"+0.87621164","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":"Q6488800$0E5EBD63-3FE9-47EA-8DA1-83E442CEB7ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eeb9a34dba1103192dfe0c470e8c839220a84537","datavalue":{"value":{"entity-type":"item","numeric-id":5486136,"id":"Q5486136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1657209dc4443964d818a61bbb4e3feb419243c","datavalue":{"value":{"amount":"+0.86955154","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":"Q6488800$A7E14D50-79C6-403A-82AA-E4225CEE4D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"461c926c7bb51914ac8222987ecb4011f05a371a","datavalue":{"value":{"entity-type":"item","numeric-id":2128088,"id":"Q2128088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dd8b87890660195a9abb0efd9d775a492b6272f","datavalue":{"value":{"amount":"+0.86848515","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":"Q6488800$3C0EC7E8-A034-452F-AA6D-2BF1C6C560FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed119875b7aa5c4ba7cc971f11df86e4a521ff87","datavalue":{"value":{"entity-type":"item","numeric-id":835827,"id":"Q835827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1986231377bd0a9794b4a930917d8cb47de901bb","datavalue":{"value":{"amount":"+0.8673145","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":"Q6488800$FAC75919-A74A-43EB-B214-4B066197DC5E","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":"04845a49063cdfcb9e288e2e99090342452b93ac","datavalue":{"value":{"amount":"+0.86725986","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":"Q6488800$F4C9FA5B-2AF0-40AE-B5CE-F74411E90374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c76794e92d9766d7cbe1c21a9708ab4af6cc1704","datavalue":{"value":{"entity-type":"item","numeric-id":3824110,"id":"Q3824110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5f7e371fcdec4dbae860e2a9718531bf791d793","datavalue":{"value":{"amount":"+0.86556506","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":"Q6488800$F0BFBFFF-AFA5-4D3C-B916-E08D31D68DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b90c6e9780b9ba699daac810ed9aeaa0fd769737","datavalue":{"value":{"entity-type":"item","numeric-id":420812,"id":"Q420812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f17b6d62833f266856f67f99d0bb0c6351cf4f5c","datavalue":{"value":{"amount":"+0.86432546","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":"Q6488800$98F06A17-B4D4-4F2A-A288-9D15D4200503","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6488800","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6488800"}}}}}