{"entities":{"Q3569043":{"pageid":5598947,"ns":120,"title":"Item:Q3569043","lastrevid":51015695,"modified":"2026-01-16T05:35:12Z","type":"item","id":"Q3569043","labels":{"en":{"language":"en","value":"From timed automata to logic -- and back"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5723029"}},"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":"Q3569043$F99F6626-A0AD-4751-AF81-3EDC4DEE6662","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"18f94467e91b88d3c9f04b05e967dd7e33b06251","datavalue":{"value":{"text":"From timed automata to logic \u2014 and back","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3569043$10AB596D-E2C3-491B-BB26-52785DBBC5C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d1a8ed0ed08baa8fcee2dda87b5d07ed5a52e77","datavalue":{"value":"1193.03069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569043$181681D5-D99F-4421-9F78-4A676827A538","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b67180350adea57fd75d9a4536196c9c24c2dbda","datavalue":{"value":"10.1007/3-540-60246-1_158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569043$1789B700-A918-4B83-8752-F15D26C0CEC2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c628048560a95e93b98909122a7164e3572ba0ca","datavalue":{"value":{"entity-type":"item","numeric-id":548703,"id":"Q548703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3569043$A7D84DB6-61BF-456B-8922-CBDB6C1B30E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"854ebe9b0acacb676c22fc7bc0df4a721884c159","datavalue":{"value":{"entity-type":"item","numeric-id":1856186,"id":"Q1856186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3569043$408CF664-B349-49F3-9C97-259AB2B8E136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3569043$EB1107FA-8CB0-48AA-99C8-3697B2D921B1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3569043$3ED7884C-0A15-450C-B621-D4614E7404E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1f3ce47aa4f0dc34b47bc79e3d35b38da1ee5e5f","datavalue":{"value":{"time":"+2010-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3569043$E7FF8FD0-0E4B-41CC-8921-B58675EA1238","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569043$E48D405B-F67C-4845-BA21-35280D2524AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569043$018809CD-8651-4E78-B81E-8398D1C95A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569043$63B4E231-971B-41EB-AD9E-23AE99CF7D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569043$69C68390-C313-46E5-95AB-95D00F6CDC51","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb066cf4af03b103ddf694244279ce0aa340d539","datavalue":{"value":"5723029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569043$B73BAFDE-F4C5-4D8B-935A-5D7FEE24DF5A","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":"Q3569043$418CC84B-FF9C-4571-A1BD-67FA93CA014F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a903c2db5225af01cbf1fc143d826a51b2df3c48","datavalue":{"value":"https://doi.org/10.1007/3-540-60246-1_158","type":"string"},"datatype":"url"},"type":"statement","id":"Q3569043$BFBB314B-9175-438B-B04B-611FFA8C6ABA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"922faeb97c1920b79a9a398e0327c9e876525c6f","datavalue":{"value":"W1772179977","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569043$7B59A380-DA0E-49EE-90D7-0379F04EE4FE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aec685ffb13ba78cc21ae08637dd7d90864b9c0","datavalue":{"value":{"entity-type":"item","numeric-id":2729632,"id":"Q2729632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44dc47c806298566df84ff9f78e964dc18df5726","datavalue":{"value":{"amount":"+0.8671814799308777","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":"Q3569043$2A5DFFA8-354E-4143-BC4F-1C4B396DB8C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0273525ee9b740f361b30cc468339269832b2129","datavalue":{"value":{"entity-type":"item","numeric-id":5696929,"id":"Q5696929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a185ed463e90857b91edf92110eb7639355cc6c1","datavalue":{"value":{"amount":"+0.8207095265388489","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":"Q3569043$55B61B32-4A0E-4387-9637-6B9DA879B5A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43bbeb0469e8ff83022992506ae6dbd94d9cec72","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74a0463817af25cb6f54805ac7cc1b3f725ba0ab","datavalue":{"value":{"amount":"+0.8137054443359375","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":"Q3569043$FAA33C7F-CEB2-4ABD-86FA-DBB20E7BC93D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae9f929395991951274bbb6ddb87ac6531a2aece","datavalue":{"value":{"entity-type":"item","numeric-id":4230338,"id":"Q4230338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f2347e967c80e05a63277b0bcabd816c6b2f7a3","datavalue":{"value":{"amount":"+0.8103373050689697","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":"Q3569043$DEDA95D6-27D9-4204-88FA-AB59B15866AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31e9e271c461eaf7166a0470f6c162324698c6f7","datavalue":{"value":{"entity-type":"item","numeric-id":5392293,"id":"Q5392293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c8e1b2f3d0e72f03300f352a3a41bce1878eb59","datavalue":{"value":{"amount":"+0.8074924349784851","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":"Q3569043$9966B15C-D6D9-4A1A-A472-57B56D7B8770","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3569043","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3569043"}}}}}