{"entities":{"Q6045013":{"pageid":13179169,"ns":120,"title":"Item:Q6045013","lastrevid":56737074,"modified":"2026-03-19T13:30:30Z","type":"item","id":"Q6045013","labels":{"en":{"language":"en","value":"Synthesis of asynchronous reactive programs from temporal specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7689219"}},"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":"Q6045013$0C21853D-E6E7-45E4-AC94-40AA30756509","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d7f2fe408811d6782f38587d76b174d3a8f22801","datavalue":{"value":{"text":"Synthesis of asynchronous reactive programs from temporal specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6045013$2E394C7D-9B90-4753-AED1-1EF6483F5868","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0de595227a73465be8dfb24198f2674371cc0b2a","datavalue":{"value":"1511.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045013$C61C8AA7-2BA2-438A-9BC8-E1DAED1CB54F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09731ca53069543ce22e53f61c1dd548ba3a9beb","datavalue":{"value":"10.1007/978-3-319-96145-3_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045013$1C2C23BB-E513-4729-9598-4FA745B0F3B9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"374d5d981724e451eaaed38b87c023caf00e1c19","datavalue":{"value":{"entity-type":"item","numeric-id":832235,"id":"Q832235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045013$7D8394CC-23A0-4625-B276-0EBDCA46EC88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6d395f9c3d46709760217670affc69e5e3a2383","datavalue":{"value":{"entity-type":"item","numeric-id":784102,"id":"Q784102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045013$07F0913E-372C-483C-8237-6A9201498B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ecd4d180c59cb7cc4d2b242982020fe12cef7f90","datavalue":{"value":{"entity-type":"item","numeric-id":439946,"id":"Q439946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045013$AE02F347-996C-4F71-919C-5D001AA36312","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045013$EF27BBA5-2AE3-4C68-B6C8-54AC0E9B6C17","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e202514302232ff7f5ec81097f072c587f02b43","datavalue":{"value":{"time":"+2023-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":"Q6045013$CA6A07AC-5459-4C6B-A11C-3B86BDB884C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045013$4E062126-4E8C-4502-9765-BC8431C32482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045013$FFAE4CFF-5763-4624-89B3-2329E48370B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045013$4303A735-E786-4DB6-92D1-19076CFA8282","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"335e07371ea651236971cf5c6e9bddf802fecdaf","datavalue":{"value":"7689219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045013$68B28E0D-D689-444F-AE1C-48CC61D27A0E","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":"Q6045013$6ACD2D3C-B8B8-4C90-B694-94844BAE2B4C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"481d2e452d137defe46997ab09a932b481feaa15","datavalue":{"value":{"entity-type":"item","numeric-id":2891421,"id":"Q2891421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"163d088fcd2a652df7b4c7700015eb9e9d093398","datavalue":{"value":{"amount":"+0.8467001914978027","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":"Q6045013$60AABA2F-A37C-4D6C-88FA-193B8471F3A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82f8fefdb63394d42595a52d52a858b79b7a1b25","datavalue":{"value":{"entity-type":"item","numeric-id":3591079,"id":"Q3591079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b79438a236100edef60030597b886024374a0ae3","datavalue":{"value":{"amount":"+0.8381713628768921","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":"Q6045013$E2536F4F-7F14-47BA-8ED8-6F552F0EC1A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69c255db051d96037fdab45204b4f7f4d94d800c","datavalue":{"value":{"entity-type":"item","numeric-id":4205072,"id":"Q4205072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b2ebb968c0799a3af0771fd9adcfb1d5e92e258","datavalue":{"value":{"amount":"+0.8314234614372253","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":"Q6045013$AF26B5E0-F7DC-4DC0-A9BC-A5BDF36C472C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff7d60a6ce8052bfa56fde89469334cce4c5fa7c","datavalue":{"value":{"entity-type":"item","numeric-id":5447371,"id":"Q5447371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b21724f5dbbb65e915b9f5085026b4c6426c7b21","datavalue":{"value":{"amount":"+0.8180323243141174","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":"Q6045013$238362DC-ECC9-450E-A511-0D00D81B69EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14f0cef685c6633765d07dd220d772536a1b2446","datavalue":{"value":{"entity-type":"item","numeric-id":6109601,"id":"Q6109601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7555e5f617729f615b158d02f8ce250be1428dce","datavalue":{"value":{"amount":"+0.7932686805725098","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":"Q6045013$0FF0AE97-2E44-4CD5-BC6A-09AFB23039C4","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":"Q6045013$8506FBB9-F29E-4AAC-87C0-FC550E8B6694","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6045013","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6045013"}}}}}