{"entities":{"Q3003333":{"pageid":3014057,"ns":120,"title":"Item:Q3003333","lastrevid":51254204,"modified":"2026-01-17T11:33:11Z","type":"item","id":"Q3003333","labels":{"en":{"language":"en","value":"Knowledge-based synthesis of distributed systems using event structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5900083"}},"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":"Q3003333$4885D934-FAD6-45C4-A210-8206D591BCEE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0979a25284d27b877e2e1e51783c3232971ebef5","datavalue":{"value":{"text":"Knowledge-Based Synthesis of Distributed Systems Using Event Structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3003333$D9F6B92D-2156-44C9-83DD-28DC75B9198A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b7bb87ffe6fdf107b33ef28d4a27106241d6ed19","datavalue":{"value":"1213.68202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003333$2F2F9A1A-F00F-4F59-A329-795A3EBDD9A3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf77b327b9155d2ad67d757cd53793c6f8d430fa","datavalue":{"value":"10.2168/LMCS-7(2:14)2011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003333$A37B2DC8-FBD5-4613-A344-797A1BF8586A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf4e80c62f3af6544d946ed36bab3a03f4f43897","datavalue":{"value":{"entity-type":"item","numeric-id":392279,"id":"Q392279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003333$15A009A3-2AC1-443D-9AE9-369185E605B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddea5ba0eeb9138fb9e2a8de5e2cddb8c80bf84a","datavalue":{"value":{"entity-type":"item","numeric-id":272148,"id":"Q272148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003333$5258272D-C994-40BF-94F1-D6FDD052E1C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"136de891ae4d63a89994228121f81727852f0491","datavalue":{"value":{"entity-type":"item","numeric-id":660990,"id":"Q660990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003333$4EBD7A57-57A5-4AAF-8D36-F6997CCA6359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9f99e72dec046038a5377ceee67d8841bab629f","datavalue":{"value":{"entity-type":"item","numeric-id":1051423,"id":"Q1051423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003333$C08FAC0B-201A-4EC3-BB88-9273D5133E7D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003333$68DB67C4-0EB6-4CD4-8BF7-716F9103567F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0d41ce3332fcf97fd23ad798d4a05a02b8284bd","datavalue":{"value":{"time":"+2011-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3003333$BB354204-DA51-499D-A8DC-8C7650018B52","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003333$2F680BD9-6464-4D43-AF23-AA93EC7AF7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003333$FDFF99C0-EE45-42C9-B684-1038A41F7411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003333$146D67F5-0E65-4A66-BD06-7F67775BF5D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003333$1CADDC62-8435-4B83-9994-5D845C25AF9B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0bed89fc43dd6bfd109939c750b284f7dbc15c18","datavalue":{"value":"5900083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003333$93A3C69C-BA5C-4886-AB1F-B7ED6C92888B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003333$198C62E3-0282-4EF7-B5E0-A885BB664162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"975d965445a56ded6086b20f6c12874cd14c3d2a","datavalue":{"value":"automated program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003333$24EF010A-5802-406B-874E-FDB9C983785F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"436a0ef3dd0089fd5cee41ff7d7e406d0dba1322","datavalue":{"value":"distributed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003333$5AE81AED-15B4-444D-8EAD-348C90F19BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efaf681fa46ac3de36993134e18f2efa737a2c0f","datavalue":{"value":"Nuprl","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003333$60D6D473-F416-46BE-9160-BA35029A1361","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003333$BE17D00D-B634-42F7-903B-0B98CFBB3E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003333$F75D904E-BF51-4669-9C07-6A84E3EB4201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"17cfe6afe68a54e81dc559ef2cd5a702765207b0","datavalue":{"value":{"entity-type":"item","numeric-id":25375,"id":"Q25375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003333$CF27E3DD-A074-46D4-9FA2-F318F4E90E3D","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":"Q3003333$FB2D5233-2A3C-426B-8365-D2D9BAFCEF7C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"724d6b29b521310de11123849567ee92d65f9bcd","datavalue":{"value":"https://doi.org/10.2168/lmcs-7(2:14)2011","type":"string"},"datatype":"url"},"type":"statement","id":"Q3003333$D2A1E74C-5A5B-4958-802F-08DC83D8B883","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fa5ecc0a2263e0158e111079dcb74de7aec79b1d","datavalue":{"value":"W2949284608","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003333$56827BA0-FB0B-49D7-B479-ACAFD3407C6B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f1d8e3b15ad7280df740c60c25210bf266b9b4b","datavalue":{"value":{"entity-type":"item","numeric-id":5705941,"id":"Q5705941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d53282d50772776f5cfa0c33f3d9a1c178c7a03e","datavalue":{"value":{"amount":"+0.999999701976776","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":"Q3003333$24EA3E70-B944-4472-A30D-C9AB1DD1938C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f890628412d85e4a144a6fb27915b1cfbd2dfbfd","datavalue":{"value":{"entity-type":"item","numeric-id":5897508,"id":"Q5897508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09bc1c8ca62346e7643b6831f9e15255109a7df7","datavalue":{"value":{"amount":"+0.8069601058959961","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":"Q3003333$510671D7-6454-419A-8E57-102722E28833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6fd337ea8d34a4954de305b9881f60fa36b3a5f","datavalue":{"value":{"entity-type":"item","numeric-id":3087999,"id":"Q3087999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33976b3531dfb5068c73ad1d7c41ecc2f7dc11ee","datavalue":{"value":{"amount":"+0.7770346403121948","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":"Q3003333$B5CA9C13-52A5-42BD-9009-1B87CDF99758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f88959216d4ec68293fac66bbb3f90968452d614","datavalue":{"value":{"entity-type":"item","numeric-id":1098296,"id":"Q1098296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"436245d5f1c24c5279bd3371026f380494801574","datavalue":{"value":{"amount":"+0.7427870035171509","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":"Q3003333$253B0508-49CB-4F49-A464-66D1F238602C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0de6fe9f07d79a5362f2d7f949e5b8139a1ff581","datavalue":{"value":{"entity-type":"item","numeric-id":5504601,"id":"Q5504601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dead1a69668b048adaa428c06a0c732696862ef","datavalue":{"value":{"amount":"+0.7375795841217041","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":"Q3003333$2C4F1AF2-FCDC-42A4-8418-99C3E909309B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3003333","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3003333"}}}}}