{"entities":{"Q3559788":{"pageid":5589692,"ns":120,"title":"Item:Q3559788","lastrevid":80764496,"modified":"2026-05-06T16:56:52Z","type":"item","id":"Q3559788","labels":{"en":{"language":"en","value":"Symbolic synthesis of finite-state controllers for request-response specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5705607"}},"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":"Q3559788$8BE02BFC-EE36-465C-B054-53973F133F28","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d3da2fd50f35b278dfea582b28c07a59a32a8c66","datavalue":{"value":{"text":"Symbolic Synthesis of Finite-State Controllers for Request-Response Specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3559788$23E9C4AE-C979-4163-8E98-38BBAA6DC08E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"31761a13493934c152375e667c961f4cda4a68af","datavalue":{"value":"1279.68221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559788$6A98A3C9-B91B-450C-B828-5F032C013A6C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b720ddcf123d9f25a8e7f96ff53bc60c7fea1fea","datavalue":{"value":"10.1007/3-540-45089-0_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559788$9B6CB85C-A329-4996-8D98-7322E9A8CEBA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"31f08b85916cdf7870988d9e67ebe54566bb24e0","datavalue":{"value":{"entity-type":"item","numeric-id":860866,"id":"Q860866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3559788$6A9E9EB3-951A-404C-A77E-346E8A9A4D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"822a5925652c78d8ddacd870a3ee99bd14bb1419","datavalue":{"value":{"entity-type":"item","numeric-id":3559787,"id":"Q3559787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3559788$0DF7D888-F503-4D72-AC0F-423023BAD60A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c258bf9206a7a338581aad4b4a7a2544fa708cd","datavalue":{"value":{"entity-type":"item","numeric-id":391109,"id":"Q391109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3559788$420ECB58-B958-4FB8-9DF4-6402150A0F23","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bf83f812d2bbb21784a7f63045abdaccf0cc333b","datavalue":{"value":{"entity-type":"item","numeric-id":2830201,"id":"Q2830201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3559788$26550ACD-8998-4D3B-9F0A-FEC47CB3E3C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17e143d5b33c80948b67548d47c63ee6df7c9f0a","datavalue":{"value":{"time":"+2010-05-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3559788$B93F0D2A-5033-4044-91B2-BD9BD46385E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559788$0A9C2F17-9CA7-4CDE-9E73-565D400A851F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559788$1165261E-8ECE-4636-A166-05CD7D48D819","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e85dc572cbe82006bb00df438ecffe9aa2723733","datavalue":{"value":"5705607","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559788$E189B210-0B0A-43D9-8F74-6250DA06B543","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":"Q3559788$0F3A4FF8-8995-48D3-905B-E17A73695030","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7cc75d83ffbd331d2f0711a79247bd4986d2ddc7","datavalue":{"value":"https://doi.org/10.1007/3-540-45089-0_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3559788$511CCF5E-9E97-4310-B72F-AA6349A54F55","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c763d05eeaa230aac9fa9d5fdee9282466e29e29","datavalue":{"value":"W1588748596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559788$94044644-8C58-483C-B862-D754A8E897A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01f3c17b25d9847962dd635dc46fa997dc3ffdb0","datavalue":{"value":{"entity-type":"item","numeric-id":2996144,"id":"Q2996144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92cc4bd168f875455f110452603418e86f411f7c","datavalue":{"value":{"amount":"+0.8039507269859314","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":"Q3559788$2189255E-CB05-4E80-BFD8-9B54F87DB542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0393ab612837b20c9cc7819643a0aec4962e499","datavalue":{"value":{"entity-type":"item","numeric-id":4791854,"id":"Q4791854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a0e5d422f2e5f5d148441035d5bdea57177ad71","datavalue":{"value":{"amount":"+0.7776286602020264","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":"Q3559788$3899E5E2-B1C4-40E0-BBF2-D26C7AF56027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a63c2884cbf58bc139e6d746415ff2bd453333f","datavalue":{"value":{"entity-type":"item","numeric-id":3636858,"id":"Q3636858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a0e5d422f2e5f5d148441035d5bdea57177ad71","datavalue":{"value":{"amount":"+0.7776286602020264","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":"Q3559788$8E585D1A-5B46-4944-B96A-8D7D48435E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83d5471776cea5061a4a63b45dca28a05028f04e","datavalue":{"value":{"entity-type":"item","numeric-id":1401346,"id":"Q1401346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba3b6170ecd2ed1de33bb1c72175c1bcfb52269b","datavalue":{"value":{"amount":"+0.777492880821228","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":"Q3559788$E186AC7B-C34A-4BF5-8657-35B9CCBDE64B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"373f6a6eb1f549c8a9b9d76b89758cdc113f5ace","datavalue":{"value":{"entity-type":"item","numeric-id":4673428,"id":"Q4673428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f183bf626f3849f9493fad91d7ae22a041dd1dfa","datavalue":{"value":{"amount":"+0.7743551135063171","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":"Q3559788$9768EC6A-DDFA-4D2E-94F7-57D483D62FFE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Symbolic synthesis of finite-state controllers for request-response specifications","badges":[]}}}}}