{"entities":{"Q3588097":{"pageid":5618001,"ns":120,"title":"Item:Q3588097","lastrevid":51077153,"modified":"2026-01-16T13:09:49Z","type":"item","id":"Q3588097","labels":{"en":{"language":"en","value":"Layered composition for timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5783585"}},"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":"Q3588097$39E8B1B7-9F3F-44D8-8620-61C289DF44C5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b619a2971e7bba86dc305d70648555250872702","datavalue":{"value":{"text":"Layered Composition for Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3588097$EA4586E3-7F72-449A-AFA8-AB733E478943","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1666685fe95b1f68a5fb5a172ddef785432043fa","datavalue":{"value":"1290.68078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3588097$468C16A4-4362-41E1-ACCA-8D4D4B47D839","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8aa1045bec1070dec9edd91422dffab046f15ca7","datavalue":{"value":"10.1007/978-3-642-15297-9_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3588097$0A45FD8D-F103-411E-B818-BD0AB928B6B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e4045a98b91b7085f7da4576287b9465a507ac7","datavalue":{"value":{"entity-type":"item","numeric-id":493517,"id":"Q493517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3588097$B279415D-CD80-4A4E-9331-E6E7934D3882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"144020476487cf65953e80776af1d8c90afa5bd7","datavalue":{"value":{"entity-type":"item","numeric-id":1838824,"id":"Q1838824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3588097$D37EF675-54DC-4191-81DF-DEDCA69934FD","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":"Q3588097$4CAE4F59-74BF-4E55-BEDC-C51FA919ED01","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2857b5bc1b1598776d7a167b6234f21df24153b","datavalue":{"value":{"time":"+2010-09-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3588097$1A5784F2-41E1-4B5C-90AD-BB9E0549F1BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3588097$04003B19-42AD-48C5-85C6-7B9E25DD8C50","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fcb30dcdac1b99870bba0ca74cb7bd133908a9fa","datavalue":{"value":"5783585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3588097$6964AD0D-F81D-430A-BB8D-E0EF5C4C1D5E","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":"Q3588097$5BE85EA3-AC94-44BE-A6F1-9F92BBCCE930","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fde6d5bc9b3217d85c77192228327bca212f6bb1","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15297-9_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q3588097$CF217E5C-68B4-4AC0-A5D5-4914ACF53A65","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d8895f97ca45dc9fed165b3d14be9b2d39be5206","datavalue":{"value":"W1601331371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3588097$20552256-FE28-4D74-A76C-AA0BC57D6398","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b09649d5992ef0b0b92d540ac9b9c7fd53634d5f","datavalue":{"value":{"entity-type":"item","numeric-id":4649396,"id":"Q4649396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61aa22e6e038e0160b2ae984e95764b0c0d3f803","datavalue":{"value":{"amount":"+0.7471187710762024","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":"Q3588097$C87758D7-8A79-400A-8525-3086F91BD0F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab7ececdaae559baf4add36b3857d67427dd3534","datavalue":{"value":{"entity-type":"item","numeric-id":493518,"id":"Q493518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57b9975c842f90fdf99a970a876319725bd968ac","datavalue":{"value":{"amount":"+0.7461616396903992","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":"Q3588097$BA79DC9F-E2E2-4B6A-9DD9-A9069BB268C3","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":"0e9fb6a7756d2228a862a4ab29eda1499287a473","datavalue":{"value":{"amount":"+0.7412610054016113","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":"Q3588097$630ACEB7-75ED-4324-95A4-E997537D0132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"741de2c21e5e873c64095f69a253617fff7361b4","datavalue":{"value":{"entity-type":"item","numeric-id":5740181,"id":"Q5740181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"243067c4dfc44bc73e14434bf34368f9bd2895f1","datavalue":{"value":{"amount":"+0.7411977648735046","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":"Q3588097$7BA70923-3311-4ABA-9C20-9D8B5B7CB6EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61762d1a0b214a9dcb84410f924064d87dbece04","datavalue":{"value":{"entity-type":"item","numeric-id":4503929,"id":"Q4503929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8a329fddfa68e1ffb4a5616c06a808bf72961b9","datavalue":{"value":{"amount":"+0.7406355142593384","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":"Q3588097$68C1CBF7-DB80-4D6F-B83D-E19AFB266042","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3588097","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3588097"}}}}}