{"entities":{"Q2234089":{"pageid":2244832,"ns":120,"title":"Item:Q2234089","lastrevid":54114710,"modified":"2026-01-26T06:52:17Z","type":"item","id":"Q2234089","labels":{"en":{"language":"en","value":"A synchronous effects logic for temporal verification of pure Esterel"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7410649"}},"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":"Q2234089$F3D428D5-EAF3-4980-BA23-24AC8F50BD81","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e5cabd6152af02e3d7b61d69bc17e1b48a8bddf","datavalue":{"value":{"text":"A synchronous effects logic for temporal verification of pure Esterel","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2234089$6BC8625C-6F58-49F7-9A13-EC6B3E3BD5F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1391e89f0464a6fbd7ca45d010e41d31b7dcc0b","datavalue":{"value":"1472.68020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234089$374775AF-CBF2-467C-8234-4B4798C6300B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f7d93c18fe8dc3c2a1454335a9f1ae95b8a58fae","datavalue":{"value":"10.1007/978-3-030-67067-2_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234089$9D0B71E9-2495-4044-962C-39D00306EF3F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"94c033277948168b3e3e1b03daac9496cbb36215","datavalue":{"value":{"entity-type":"item","numeric-id":2234088,"id":"Q2234088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234089$13BBB90C-FD45-4755-8924-5BEDF5F92C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7350aed0b0267db3934820cd5357095f0cb6b7b1","datavalue":{"value":{"entity-type":"item","numeric-id":238508,"id":"Q238508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234089$45F21F96-59A0-4F9C-AA86-A4BAFBB4FBB3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"899d672926fe97cd87f3708d91dc74172e4f3b51","datavalue":{"value":{"time":"+2021-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2234089$24E16BD0-26DB-4039-8647-9839EB566CC3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234089$F69CA326-7B62-4807-9FBA-2A98942FDEC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234089$97998D17-CEDA-42F7-8226-1913249344D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234089$F742DA85-B7E9-467A-8DCA-B31D6FC4F5EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42500c48db83a662e0fc54ae598198bd0f2434b6","datavalue":{"value":"7410649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234089$CBE3B5D8-7713-41B5-AE0E-1ADCD7F26F07","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70849c7de8b1fba6771cc05a0e9adf71b0d9785e","datavalue":{"value":{"entity-type":"item","numeric-id":31835,"id":"Q31835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234089$455CBF59-B092-4ECE-BC6A-30AFD9E5010F","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":"Q2234089$F68D4BD5-E871-4EE5-B378-6B3E50D87A20","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6061a838b9ae6d712f32297c2b782d776e961bd","datavalue":{"value":"https://doi.org/10.1007/978-3-030-67067-2_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q2234089$80D2DDB8-E9A0-4931-BDDA-1C06FBA6675B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d623d025161cb606a2a2326209e29f70b0d2c519","datavalue":{"value":"W3118236360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234089$C370F5C6-B495-4B45-BB98-D1E8CD575002","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6b389e8c32260009cee4925d8f6ead645371e32","datavalue":{"value":{"entity-type":"item","numeric-id":5408410,"id":"Q5408410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234089$0C49A472-BDB8-4886-897F-5E90EB813E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79f68fc5be915ddeeec6d8c09bf5e80b80337299","datavalue":{"value":{"entity-type":"item","numeric-id":4596644,"id":"Q4596644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234089$6BE4D462-C081-48A8-ACD8-BCA64819B0E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cac3e8dc4206192e976789864a140a7e1fb10df1","datavalue":{"value":{"entity-type":"item","numeric-id":673635,"id":"Q673635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234089$3103D53B-7C57-4660-8E8C-A3C246952EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a71df8b92ba7125a0c7197e8e9200d4d9ef576c","datavalue":{"value":{"entity-type":"item","numeric-id":1196296,"id":"Q1196296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234089$E9E12BB7-D237-4A61-A216-3A82F8EC7C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ad304c1112667dc0d3ed482ffef850d810e7b39","datavalue":{"value":{"entity-type":"item","numeric-id":2947408,"id":"Q2947408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234089$0A5D225D-2300-4F17-ADA4-38C7C17ED846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acdb95959b57456fca08b117071e35f64c5d31a6","datavalue":{"value":{"entity-type":"item","numeric-id":5479270,"id":"Q5479270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234089$62A15A45-1450-47B1-B480-BC411DD48E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4642bcb7c915521a77293757841128c7fd74d05f","datavalue":{"value":{"entity-type":"item","numeric-id":5756729,"id":"Q5756729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234089$6AFFCA89-66AA-4C7F-9E44-68FA8BA3E2DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffd916480b1bfaa958354639418a78da10c29ed0","datavalue":{"value":{"entity-type":"item","numeric-id":1757837,"id":"Q1757837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234089$D1DA47BC-BA57-4CF0-9784-F25AC5939C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2222647cf7012a21866959e44ac7199d68919ee","datavalue":{"value":{"entity-type":"item","numeric-id":2978511,"id":"Q2978511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234089$F3D4CCC4-3C9D-4FD1-A95E-9AF55E36E03F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffb9b6bbe7dd40ab920b178ef4e81ddbd81579d7","datavalue":{"value":{"entity-type":"item","numeric-id":710676,"id":"Q710676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234089$6EA183D1-8972-4601-A352-44FEA95AF97B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5add46dfa4dd28dc5574f9939615ef071708151","datavalue":{"value":{"entity-type":"item","numeric-id":2848132,"id":"Q2848132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234089$E40773D7-91BD-406A-BEBF-CE0497795FC5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe6a0fc09082be7dd7c0908e5f84f3cc1cbaa176","datavalue":{"value":{"entity-type":"item","numeric-id":1196296,"id":"Q1196296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf19d46398709e48367bfd62ca44e76177e8d3de","datavalue":{"value":{"amount":"+0.8085471391677856","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":"Q2234089$B461B8BE-71B8-43FA-BA0E-B1EE6AC9D8F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ac2cac58860568b64d29a94246bb5f3740bf378","datavalue":{"value":{"entity-type":"item","numeric-id":2848132,"id":"Q2848132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ecc5accc86f15d330fbb144c75e359800af0361","datavalue":{"value":{"amount":"+0.792795717716217","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":"Q2234089$52B3917A-9AE6-4145-8011-26E6CFB5257D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a98f3cb62653d08e582bb7765b7940dbfd93438","datavalue":{"value":{"entity-type":"item","numeric-id":4948014,"id":"Q4948014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e11f5ce7cc57451345a55ee778f7ee9678db2433","datavalue":{"value":{"amount":"+0.7811456918716431","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":"Q2234089$EA82B33F-F470-4B01-96B5-60F34A85DFFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa7a874964ff155795568380173204db5b147374","datavalue":{"value":{"entity-type":"item","numeric-id":3566476,"id":"Q3566476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e11f5ce7cc57451345a55ee778f7ee9678db2433","datavalue":{"value":{"amount":"+0.7811456918716431","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":"Q2234089$D47831F4-378D-4E4F-A925-1B239D2A4826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d76530f8d8e6ca5784896fdbdd213f7c4e083b70","datavalue":{"value":{"entity-type":"item","numeric-id":5958617,"id":"Q5958617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b132b61656e6f05605ebd5ed1c8431b6ac8a3d63","datavalue":{"value":{"amount":"+0.7713993191719055","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":"Q2234089$00A48ABC-602E-4DE6-8F39-5667FB1E3E08","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2234089","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2234089"}}}}}