{"entities":{"Q6909892":{"pageid":20961244,"ns":120,"title":"Item:Q6909892","lastrevid":84162065,"modified":"2026-05-12T18:40:17Z","type":"item","id":"Q6909892","labels":{"en":{"language":"en","value":"A correct-by-construction approach for development of reliable planning problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8111830"}},"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":"Q6909892$C0D08F4A-3C59-4C74-8345-A77E0CC58CD7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5897bf0492bc83fd10759ee356652d4782544e0e","datavalue":{"value":{"text":"A correct-by-construction approach for development of reliable planning problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6909892$0C1867D7-5841-4028-A1F5-027B6A02D5DF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b35a40716bb5dea084f51d001dd25878ca1ef4ee","datavalue":{"value":"10.21203/RS.3.RS-2621444/V1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909892$4C4C9BA1-D53C-4E14-8A80-6DF981ABF5FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"892fbbde97a78821e30eba1d9184d980a25c2350","datavalue":{"value":{"entity-type":"item","numeric-id":6909889,"id":"Q6909889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909892$A9EB68EF-428C-4EC1-A29F-B7CFD4F55745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e363477d676812c8bd6c105cfd78ca5a9a7e236","datavalue":{"value":{"entity-type":"item","numeric-id":6909890,"id":"Q6909890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909892$91A0A23B-5940-47C6-A507-665EFB335450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f56498e13ba4314da981818225ea8daf753fe3aa","datavalue":{"value":{"entity-type":"item","numeric-id":6909891,"id":"Q6909891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909892$DB6A93D1-1A9D-49F8-8EBE-651DD7257DD6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4e284497c1d95ed03031b32369f55bf404c9e002","datavalue":{"value":{"entity-type":"item","numeric-id":6768690,"id":"Q6768690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909892$BDCD9DDD-CA50-401C-84A9-26722AF89083","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b77d6a4382bc7a32fc14d82772e7dcb343e03ac6","datavalue":{"value":{"time":"+2025-10-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6909892$1030575B-7751-4448-B364-3A5ED2BC47F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909892$C9380B47-12D6-44BE-888E-CD837A0AC89B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909892$9A283FC8-D843-4EEB-9D46-C7173F904DA8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f362e49ea5937c357d7ffdab4b2b5bd15a13e38c","datavalue":{"value":"8111830","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909892$9166A1FD-433A-438A-9476-4236624EB9D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"964bd1e448c74b34fa0b098cd6322487f4d3aa32","datavalue":{"value":"correct by construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909892$76B92F5B-9924-46D8-95E1-9096F0D4AFEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"368a214e4e768752f0a825e8547368920a5f7e74","datavalue":{"value":"event-B","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909892$5B4F478E-5EC3-483C-BBF1-BB57EB2144B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6bc6768f771e8ae47ba1683cf1d33a808061abb","datavalue":{"value":"code generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909892$53ADB5EB-49BD-4446-BF97-552253D3E3F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0638feb7f1c838809819058250d307c4801d95e","datavalue":{"value":"PDDL","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909892$7A041192-016F-4D4F-96E2-BDE032177AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8e41226cc7f11dabb29e4617f6131f6c46af2c0","datavalue":{"value":"automated planning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909892$BB75A661-B4D3-4B34-A25A-3624F4FF59B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909892$B09EFE68-61AB-4BBB-A10F-5D5C136A4075","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":"Q6909892$79A71BC8-51B0-45F3-9999-CBBD4BD3CB9D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0caf695f8a8adfebee81f487176df195bccfd7d4","datavalue":{"value":{"entity-type":"item","numeric-id":2841740,"id":"Q2841740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909892$2A614461-ACD5-402B-8659-6C19F81B678D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b21e78709e090610994a87af2ab997fe4f5f9c9","datavalue":{"value":{"entity-type":"item","numeric-id":5108211,"id":"Q5108211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909892$8AF6E01D-32D2-47D2-A74D-E6FA66773D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a64dbb7c90690de5fbdf0d30d9b861ec41a32a6","datavalue":{"value":{"entity-type":"item","numeric-id":3569584,"id":"Q3569584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909892$617C1709-5526-475D-9C5C-15172A46E0D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13bee5f0057389e1c16ac139c18b978a9fc1e0e6","datavalue":{"value":{"entity-type":"item","numeric-id":3624014,"id":"Q3624014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909892$8D7976BF-BAD7-4E16-87BA-38C0CFD1561C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909892$6C9E3502-5170-4506-B7B0-AF56E1F684E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0397387a50d3d2a63c7a5f8382beea29196cf88a","datavalue":{"value":{"entity-type":"item","numeric-id":4449295,"id":"Q4449295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909892$8198FC34-61BA-4C9F-9838-D750BC57700A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6640a7758381c344a0ee4d9534b5727b14a5ddff","datavalue":{"value":{"entity-type":"item","numeric-id":3624034,"id":"Q3624034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909892$AB60FB49-CCB7-406B-BFD6-6F21258D2563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df3e0f406ca5c053e943d93211f84d7fa0405f8c","datavalue":{"value":{"entity-type":"item","numeric-id":4576198,"id":"Q4576198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909892$03E0AF41-2A22-4797-BDEF-B86B6578D299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66b759afa270728a57491f1ea43fda415deb1d34","datavalue":{"value":{"entity-type":"item","numeric-id":5109894,"id":"Q5109894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909892$80A5469D-01AA-4DA7-889B-5B2245016478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f8a49fed13339d7d9960e271ce0eb80c7582cdf","datavalue":{"value":{"entity-type":"item","numeric-id":835821,"id":"Q835821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909892$B682FDB7-74B1-449F-90D4-C524E49EAACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d55a511373a8918e32f223a2ec23132d65d1f3a","datavalue":{"value":{"entity-type":"item","numeric-id":2452328,"id":"Q2452328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909892$895B5BBB-1B2A-420D-AB53-9BFDB11E410D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A correct-by-construction approach for development of reliable planning problems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_correct-by-construction_approach_for_development_of_reliable_planning_problems"}}}}}