{"entities":{"Q4639031":{"pageid":6668612,"ns":120,"title":"Item:Q4639031","lastrevid":53075900,"modified":"2026-01-24T04:21:47Z","type":"item","id":"Q4639031","labels":{"en":{"language":"en","value":"Fully observable non-deterministic planning as assumption-based reactive synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6865757"}},"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":"Q4639031$6F68FC92-1501-4A08-96F3-65877B3A0BF8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b767771da083694b2052a1c9b99310e306d3498a","datavalue":{"value":{"text":"Fully Observable Non-deterministic Planning as Assumption-Based Reactive Synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4639031$88B13FEC-47E5-48ED-A07E-F968F6D7BF03","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e51ac0f1a8745ad81f33d93faa4c4792a0ae650c","datavalue":{"value":"1440.68252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4639031$CD894115-BE55-4DF9-8E4A-76ECEC27E855","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"583c0ce4d4d975ebd15744528a38ecb55402898f","datavalue":{"value":{"entity-type":"item","numeric-id":2103712,"id":"Q2103712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4639031$9ACA9F4F-DC9D-4B09-8BDF-9A7BA8AB2613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"048b8331e97eea109dae8141f6efee379930c33a","datavalue":{"value":{"entity-type":"item","numeric-id":2001453,"id":"Q2001453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4639031$F57E50F6-362F-406A-9F97-42BCD1ABEFBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a3f2aec1055f405a105e038002dbdf46a67d351","datavalue":{"value":{"entity-type":"item","numeric-id":360043,"id":"Q360043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4639031$8296DEF4-D845-49D2-B84E-94B340A3DD19","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bb469f8c3341c58b96368431d3c87cbee3d3281e","datavalue":{"value":{"entity-type":"item","numeric-id":110835,"id":"Q110835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4639031$54BA0D9A-5B88-4EFB-92D2-C612CB345020","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1679cdff871c3abffb2794c84ff8718bbd0c06a0","datavalue":{"value":{"time":"+2018-05-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4639031$0651318B-D586-42C3-B122-25C7ABE223B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4639031$ED82E1DB-D7B8-4790-9E6B-86F1CB2CF372","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2dd21361ddb680290a50640b68e2094aea5e8ca7","datavalue":{"value":"6865757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4639031$1CC8BEAA-4E4A-4E13-9251-E6290B365E1E","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":"Q4639031$D0E4C703-8DC7-4C70-8A23-0CAEA7ACFC6A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b8a7829b016451ecb72e60db4ca4522356848f2","datavalue":{"value":"https://doi.org/10.1613/jair.5562","type":"string"},"datatype":"url"},"type":"statement","id":"Q4639031$A7796CF3-CA71-4072-A755-ADD03A2D7FD7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2fa15fec78e6764b01ee0ee1b0f5c4ae78b52d91","datavalue":{"value":"W2791893678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4639031$23E2AFDA-ABB7-42B9-A77E-DD995339EB75","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"72a8992e4b1c0124ff415f5f695a400a6079d3e3","datavalue":{"value":"10.1613/JAIR.5562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4639031$E68B19C4-B02D-46DD-B462-50691D2FF9E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3424d20a7541e7d7d90fa7905f512b37d7a9944c","datavalue":{"value":{"entity-type":"item","numeric-id":3541016,"id":"Q3541016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eff9598e1d83485af637cf68b1b8415541c6fa19","datavalue":{"value":{"amount":"+0.7247121334075928","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":"Q4639031$F9BF1C31-6360-43DC-B31E-B585199D3690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50f6908ff5f3145b92bdc121a31ded3d16c89b2f","datavalue":{"value":{"entity-type":"item","numeric-id":814470,"id":"Q814470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8befbba97ae87deb1f206c330c875a154421a09f","datavalue":{"value":{"amount":"+0.7218427062034607","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":"Q4639031$0A009706-448C-4488-84A4-8572E50198F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66bb4bfed3920205e31d34c388a100e9bf61c743","datavalue":{"value":{"entity-type":"item","numeric-id":504220,"id":"Q504220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03361db593c7716d174afb1170ebe18fb76363d1","datavalue":{"value":{"amount":"+0.7134403586387634","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":"Q4639031$5D75A4B0-87A2-4766-83DA-8EF9E91F5909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6feceb9d8df0c454c1b7226f9a2993237223248b","datavalue":{"value":{"entity-type":"item","numeric-id":2915062,"id":"Q2915062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9bc4c2b622c3dfc641676f3ffcc894faff69d7e","datavalue":{"value":{"amount":"+0.7056577801704407","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":"Q4639031$99B25F39-A408-4BAE-9C75-3FBF55AA178C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6500cdccc064ef042d806041b1b114337dd84525","datavalue":{"value":{"entity-type":"item","numeric-id":2999201,"id":"Q2999201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"810177801a144db1a80516d27513c34a4c0995c8","datavalue":{"value":{"amount":"+0.7008901238441467","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":"Q4639031$1A917E1F-631A-42A1-A623-388215714EE2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4639031","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4639031"}}}}}