{"entities":{"Q5194959":{"pageid":7224531,"ns":120,"title":"Item:Q5194959","lastrevid":91522031,"modified":"2026-06-04T23:23:09Z","type":"item","id":"Q5194959","labels":{"en":{"language":"en","value":"Pattern-based refinement of assume-guarantee specifications in reactive synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7105974"}},"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":"Q5194959$3AE45EAD-3C22-4C24-B2DF-FB831F474EA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e9f9f0f1d20b829ea21ea74d7a27261d03bd331","datavalue":{"value":{"text":"Pattern-Based Refinement of Assume-Guarantee Specifications in Reactive Synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5194959$B3BEF52B-47E3-49F6-B0D9-19CBD48253E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1fcad9db6809d2a9be9d0668cefc491b8c70934","datavalue":{"value":"1420.68116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194959$F42D3C71-C091-4FDB-85B1-FD4FA370DAE0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"54737e9ceb8a0d42bb170620bb490fc8e3144a1c","datavalue":{"value":"10.1007/978-3-662-46681-0_49","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194959$87880C49-1ABF-4A98-BE75-383D6A61FB1C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"657cc238689fe98eeef36e77a98c8339fb8e0986","datavalue":{"value":{"entity-type":"item","numeric-id":1631218,"id":"Q1631218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5194959$56B49F9E-784A-4017-BD8B-164F237681C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"487073ada51865d122949c4ee8319cc409a27d36","datavalue":{"value":{"entity-type":"item","numeric-id":306318,"id":"Q306318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5194959$3807D87F-D94E-47CA-AC5A-B8A47C5430ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e23e254236a8294ef997c8803c32040e3643f2b","datavalue":{"value":{"entity-type":"item","numeric-id":294639,"id":"Q294639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5194959$7F5AAD3F-96AB-498E-8232-6039B5D1869E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5194959$387245CF-09C7-437C-878D-E59B159E6E17","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"860c75d427a5be90563ac8b1b9f2dee75426aaaa","datavalue":{"value":{"time":"+2019-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5194959$FF21B69A-6660-4EA8-A85C-9789152172D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194959$55207A28-5D6D-44A7-BBDD-6E567F50DA95","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"26b48eae4464d1a588e5c211e0bb64f00010fff2","datavalue":{"value":"7105974","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194959$860F2298-7987-43BC-BCCC-D94A5A6F08DA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"077b1c7638d7cf8153e58e8d1fd32248e7e24647","datavalue":{"value":"transition rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q5194959$E7D74CA6-2F8E-49FA-B47A-DBC7076DADDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5194959$EDB2F6FF-4FAB-4F47-8A0C-F7B945168BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3f5ca00839a220b69f87a47056e07f0ef1552ec","datavalue":{"value":"synthesis problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5194959$BAA8DBB6-9FE5-4BEF-AF39-0C8DD0E66ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7a45139f47b3d308156671fc73d6ce136cff3d1","datavalue":{"value":"label transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5194959$22CDE323-3EA8-418D-9383-A1FC05F83C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12bebbfe5ebf3780fada27004fe873ccb59de944","datavalue":{"value":"truth assignment","type":"string"},"datatype":"string"},"type":"statement","id":"Q5194959$8363575F-FF91-47F3-96AB-088AF7DEF127","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":"Q5194959$AFAEAD4E-4FA8-4603-90A7-90A94BBD8F5B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"deb3765031f345153daf4403cd0909a4c566c8ae","datavalue":{"value":"https://doi.org/10.1007/978-3-662-46681-0_49","type":"string"},"datatype":"url"},"type":"statement","id":"Q5194959$C16B203D-AD3E-4CF6-9E22-4072F6A2531B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"07e90016a89f75678832d3eb670fb52b272eb3d9","datavalue":{"value":"W2395382078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194959$A34C03E6-E059-42B6-B980-87F14466ED4A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca6d809ecce645ecaa19564fb6dadbff0924c692","datavalue":{"value":{"entity-type":"item","numeric-id":3303899,"id":"Q3303899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d20e4eeb915f5b6c70bc5aa4d513d25ec9562c69","datavalue":{"value":{"amount":"+0.7704963684082031","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":"Q5194959$14C80D3B-4062-4461-982F-B0F4B9ACD300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92352399aa1d6b6bcde4318d7c3f8904e98b5b33","datavalue":{"value":{"entity-type":"item","numeric-id":3512489,"id":"Q3512489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bcffa2b986877f96028631475a8e1f092b702b4","datavalue":{"value":{"amount":"+0.76824551820755","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":"Q5194959$C71317A7-FF5F-4FBF-9CA3-BB17E8299550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83b881948e1133609ca295bf3dcd6587ee20c87a","datavalue":{"value":{"entity-type":"item","numeric-id":5758113,"id":"Q5758113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a280d0bcb03f4db11e886b1a66931f0c385b79f","datavalue":{"value":{"amount":"+0.7586408257484436","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":"Q5194959$27BEC4F4-9B2B-4D54-8FC1-DDCB7F9E2549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34c1158ee99ab954e4cb93edb748f678ba551308","datavalue":{"value":{"entity-type":"item","numeric-id":6485902,"id":"Q6485902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2be58240ce0e581c516252770cb30cce2f34db5","datavalue":{"value":{"amount":"+0.7575166821479797","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":"Q5194959$3310BD68-76BF-4C0A-A136-E82D246659AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3230a34b27651d2cac319d7571d777b76f3cf68f","datavalue":{"value":{"entity-type":"item","numeric-id":2164236,"id":"Q2164236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55c243de04835c9e3867391bcb4eb938170f5451","datavalue":{"value":{"amount":"+0.7489665150642395","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":"Q5194959$8312115C-AB3B-4F0C-88FE-3705E06FCF63","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Pattern-based refinement of assume-guarantee specifications in reactive synthesis","badges":[]}}}}}