{"entities":{"Q5018767":{"pageid":7048344,"ns":120,"title":"Item:Q5018767","lastrevid":91194260,"modified":"2026-06-04T22:30:03Z","type":"item","id":"Q5018767","labels":{"en":{"language":"en","value":"Relaxing non-interference requirements in parallel plans"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7450461"}},"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":"Q5018767$4E4DB725-C8D2-4805-94A3-95A2D56A91FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e9af7554263f4bd7cd799e63d3b5e80d02e2b22","datavalue":{"value":{"text":"Relaxing non-interference requirements in parallel plans","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5018767$4FFABF22-2025-463E-9CB4-D971E7142291","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ce8850632b90b69a6c289735cc288ece6fb9e1a","datavalue":{"value":{"entity-type":"item","numeric-id":352975,"id":"Q352975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018767$15A4310A-6CB5-47A4-90DE-5A2E325A72C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a79f1650d395752b0c228e02e76009495532c2f","datavalue":{"value":{"entity-type":"item","numeric-id":5018766,"id":"Q5018766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018767$AD2125F3-D3A1-465D-9848-803EDBD5C564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"588ee65877f0d3e81836f8c13b96426bc0fd83a2","datavalue":{"value":{"entity-type":"item","numeric-id":487631,"id":"Q487631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018767$A5A0B480-E3E9-423E-A18F-0EEDBDC44C49","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018767$0C3B9A3C-368E-47E4-BFD2-92BFD986AF42","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ef7e614aee6bc6b48c017c8ec2cbbdd223213048","datavalue":{"value":{"time":"+2021-12-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5018767$BB539A95-3C86-41B1-AB6D-0DEA6C14F69F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5018767$37953FC8-0655-44A4-A0CA-EEE65A2E779E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"506cc87c4011ad16938e7a15899e8acc8fba5878","datavalue":{"value":"7450461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5018767$6036F7AE-33F1-4F5D-82A7-7B72EB64FF78","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dce248baa6ddc45c558e1072a9ef8778d9930096","datavalue":{"value":"planning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5018767$1B36F044-DA37-4F5E-A099-1A270FB95158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4300833b526c1f63cda5a826b221fccc872ac99","datavalue":{"value":"planning modulo theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5018767$819CD996-2418-4E6F-B65A-EB94C810370A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc37cf6bf1a4fd159f089028e999146e64828fa8","datavalue":{"value":"SMT","type":"string"},"datatype":"string"},"type":"statement","id":"Q5018767$4A3A0F6F-0D4D-4832-9BE0-08E608A53E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5822b6b282a07522998f76652efc78787945121","datavalue":{"value":"planning as satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5018767$B09AE04E-BCA8-4651-8814-273D572B1A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12a3b355f702efca8a3c6f0af63fcbe0b63a79ff","datavalue":{"value":"parallel plans","type":"string"},"datatype":"string"},"type":"statement","id":"Q5018767$ADD2DBC4-F004-4DD9-A843-E1DCFA04F6EB","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":"Q5018767$640A52AC-0029-4211-87AB-E4FCC42B25F1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f4aadc4b4388c7a6137be882fc0630eaccba0326","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzz026","type":"string"},"datatype":"url"},"type":"statement","id":"Q5018767$E39E3426-B525-4B70-9106-AF5FB2452521","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4d3b2de9a3978ab4c945df7240bf920bd22c5dc2","datavalue":{"value":"W2964472589","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5018767$9EF46007-A494-41C1-A8DF-09BA7A601EF2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ff90fab40e6420824b2d3cbfb837553215b32059","datavalue":{"value":"Q127623131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5018767$D7B0C5D8-3E87-47CB-B400-A5BBB0B01C08","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7854867d6f4e1587fc138ac2958c7915a38008b7","datavalue":{"value":"10.1093/JIGPAL/JZZ026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5018767$8BD58049-67BD-4E51-81D4-24A3E22AC01F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fe61a7e3adbdcaaf405e1fe7b1951ecdd88dea1","datavalue":{"value":{"entity-type":"item","numeric-id":2457605,"id":"Q2457605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8639aef6eadda6f966d173056cec1e50f5d5bd41","datavalue":{"value":{"amount":"+0.780519425868988","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":"Q5018767$C99E7D5F-55B1-4B2E-82DA-F62479DB1FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5884f98900a139d68aedb9b92df1051edd605ac","datavalue":{"value":{"entity-type":"item","numeric-id":5394133,"id":"Q5394133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bee7e7415777c77303aa8f73814396bfe8692427","datavalue":{"value":{"amount":"+0.7787007093429565","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":"Q5018767$23694090-2E59-42F5-AE69-1231D01FCF95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"768ab2801560a7506a837d36eba4a088bfa9525c","datavalue":{"value":{"entity-type":"item","numeric-id":1128648,"id":"Q1128648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9391890b0e9e35395e1f868bcb4fa33d7546f66","datavalue":{"value":{"amount":"+0.7504163384437561","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":"Q5018767$523AC001-C03E-489E-9BC9-4D0DE9F27C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74bb25cab7afa2e851a2ddf947b3a0a4ad1ccaa4","datavalue":{"value":{"entity-type":"item","numeric-id":4012203,"id":"Q4012203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b688a9bced9604d548eb29d65e2626301733b3a","datavalue":{"value":{"amount":"+0.7316493988037109","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":"Q5018767$1C826F04-63C7-47AF-8363-928F50B8AFFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e2b60836fdca05782b0366b2d102e3bc0d14d5b","datavalue":{"value":{"entity-type":"item","numeric-id":814472,"id":"Q814472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b516a624ea04dbcaf51f1caa8a224c2fe3e5b6ab","datavalue":{"value":{"amount":"+0.7252534031867981","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":"Q5018767$B5B1F9E2-90F0-4DA1-B5EA-DB3C04F93844","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018767$F7D22696-F386-4620-B7BC-644982A038FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relaxing non-interference requirements in parallel plans","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relaxing_non-interference_requirements_in_parallel_plans"}}}}}