{"entities":{"Q1990512":{"pageid":2001254,"ns":120,"title":"Item:Q1990512","lastrevid":72239262,"modified":"2026-04-14T03:33:05Z","type":"item","id":"Q1990512","labels":{"en":{"language":"en","value":"Synthesizing skeletons for reactive systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6965631"}},"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":"Q1990512$A384DD48-6145-497F-825B-A75444DD5E1A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e240bc05d43a2ff9b276f569d704636e7693c888","datavalue":{"value":{"text":"Synthesizing skeletons for reactive systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1990512$94F39687-EDD1-4E38-94F8-57A4596C91D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"90dc53f6dd4f46c797854750cbbb23dc40f62a81","datavalue":{"value":"1398.68342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1990512$350541FD-4708-4217-8482-9064C00A19A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"448fa0a1080326374594bfedf0b3910fa3edd697","datavalue":{"value":"10.1007/978-3-319-46520-3_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1990512$CC890BBD-3A3B-41C5-AAE0-77596E18452C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dda9ef52c721036bc2c5ca8408bcb7b43075ffbb","datavalue":{"value":{"entity-type":"item","numeric-id":515653,"id":"Q515653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1990512$C66EB89B-A677-456B-8CD4-9E3EA035C9A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a1e6ca78795ba5f1656360fb5231707af1dab8cb","datavalue":{"value":{"entity-type":"item","numeric-id":832290,"id":"Q832290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1990512$27D7F07D-55B3-45EB-844D-826E12E956AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d922d082f59433f45c9845ec970fb038b58ba6c8","datavalue":{"value":{"time":"+2018-10-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1990512$D92CA871-9E70-4D7C-9DDB-71362F2DD73E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"139a7c5bae2e5a34d0f3a7b3304edfe9f2f7de87","datavalue":{"value":"https://arxiv.org/abs/1803.09285","type":"string"},"datatype":"url"},"type":"statement","id":"Q1990512$8E7DFCDB-81EA-45AD-AA40-5990A015EBC2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1990512$90ED3CE3-5E12-4615-A2F2-E68D228DE8E2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a98219111393a612b758b2c77a607e468392aca6","datavalue":{"value":"6965631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1990512$4C4BACD0-73DC-4FA1-A4E1-042ECA35BA59","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":"Q1990512$FAFE811D-7689-4736-A738-8017653907D6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"86855eb7f97ff4c68411b8755e65546bbf58a78e","datavalue":{"value":"W2522028245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1990512$46EFF3C5-4797-4DC8-8629-C88EC3CF9192","rank":"normal"}],"P1643":[{"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":"d44b492d32556fb14612ce5ed887e2f5089a450e","datavalue":{"value":{"amount":"+0.7690961956977844","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":"Q1990512$910A2E23-AAEE-4494-83B3-1A36B1757EA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11089d534dfd0a93d4cd6e450a6d197efe9967f1","datavalue":{"value":{"entity-type":"item","numeric-id":6485897,"id":"Q6485897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73937efcafa72707bfbdd862cfc967b3e926334e","datavalue":{"value":{"amount":"+0.7633206844329834","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":"Q1990512$EFE227AF-243F-4E24-AF1E-CE9A279DAAC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c8ed4dcaa57c1472d5eb1febbb31c1bc9bfacc1","datavalue":{"value":{"entity-type":"item","numeric-id":2891413,"id":"Q2891413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2099b1602f03f83b5611c2724c48f3e6a9d0c194","datavalue":{"value":{"amount":"+0.745783269405365","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":"Q1990512$08416CF0-E2CA-426B-8D11-24F40082EA08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1499ad98aba4b821d50174bcfee1c6e7a31820f","datavalue":{"value":{"entity-type":"item","numeric-id":439954,"id":"Q439954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f85c7b2fa01320aac4d5f3c724f0e5201a08616","datavalue":{"value":{"amount":"+0.7439613342285156","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":"Q1990512$EDD28769-03AC-4238-B772-4A48E2AE726C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd626f0b2d24e245354cf145d65e4745965cc3c9","datavalue":{"value":{"entity-type":"item","numeric-id":2938081,"id":"Q2938081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"217bf0403a6727257a0f5c1a26f25be084701b83","datavalue":{"value":{"amount":"+0.7431532144546509","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":"Q1990512$39055E8F-8464-465D-9B86-B163ACB395F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Synthesizing skeletons for reactive systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Synthesizing_skeletons_for_reactive_systems"}}}}}