{"entities":{"Q3543301":{"pageid":5573205,"ns":120,"title":"Item:Q3543301","lastrevid":50514782,"modified":"2026-01-14T06:25:13Z","type":"item","id":"Q3543301","labels":{"en":{"language":"en","value":"Compositional Abstraction in Real-Time Model Checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5376780"}},"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":"Q3543301$4C37F19F-FCC8-4FC9-B63E-460C351927D8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3896da1e4bf694146324837598ef95aaec194b02","datavalue":{"value":{"text":"Compositional Abstraction in Real-Time Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3543301$2C9394D4-D154-41A4-ABEC-6B3FB9153328","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e70b9af32398552a4618e3a49ac2b3e4f24297d5","datavalue":{"value":"1171.68545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543301$64EB07BC-E589-42F2-A89D-2C7F9FD4EA9E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb177f83b417f0e3f036f15f46feb587359ba42c","datavalue":{"value":"10.1007/978-3-540-85778-5_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543301$323BBC48-2347-4BD7-B24F-390B11B27B93","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c77815e6e0771e36dec6b561265b7e20d34edc90","datavalue":{"value":{"entity-type":"item","numeric-id":975883,"id":"Q975883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543301$A3AF2AD0-2A87-4B13-B53E-499F90195074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54eb5023137ee6a46a6a6864bec8731faa3ff206","datavalue":{"value":{"entity-type":"item","numeric-id":975884,"id":"Q975884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543301$A8217C1C-56D8-4602-BC2D-F6143E4564FA","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":"Q3543301$CC65003F-E5C0-4841-B2CC-197901D2A5DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7e93f8d3c28f11b076aa7adf47edebc135f21d9","datavalue":{"value":{"time":"+2008-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3543301$4E940A8C-CF3A-47B8-BC7C-FDF99EA8711B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543301$C24BCC78-B09E-4DA2-B355-4C7213657A97","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c45514c28c51e2a87709ad2f467ea4ca0c1d2af","datavalue":{"value":"5376780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543301$686946D4-B8CF-4EED-AD1A-005486C86DF3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543301$9238CC57-7CC5-4A3D-92D9-96930C7F873A","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":"Q3543301$9F4ECF1A-6832-4344-9942-B0914D601F31","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de7186166f2f40273c1b1ad8106375f57fd3168d","datavalue":{"value":"https://doi.org/10.1007/978-3-540-85778-5_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q3543301$9FD3BF35-A2DB-4174-B044-3AE901EECC2B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"44b6838df6a6496cc20fd8f499bbf9c96cc072dc","datavalue":{"value":"W2170306229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543301$0D99C0DC-3EFC-49B6-841D-9FB7B477A34A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e131304022eac74ef1a59104a6a4b74da93f93f3","datavalue":{"value":{"entity-type":"item","numeric-id":5494310,"id":"Q5494310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543301$BA0D9FEA-1991-42DD-AC26-FA03E357EA58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d5978f4bdf14ef5fd8b71ce390dbec5034a1e6","datavalue":{"value":{"entity-type":"item","numeric-id":805251,"id":"Q805251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543301$4A2EE641-4717-4995-B684-576D1232C882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e279107c1bf5c9d2930df902614801cf2fa8b4c3","datavalue":{"value":{"entity-type":"item","numeric-id":1899913,"id":"Q1899913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543301$E7FB6A66-F71D-42B7-8326-FAD0C27DA105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0eb14414980526a206d14f7a49bc77fa2e2fc0fa","datavalue":{"value":{"entity-type":"item","numeric-id":2766627,"id":"Q2766627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543301$D1A152FA-C9BC-4E94-8DB6-5E08AAB20CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc3787d50b8d5f8c825d8feef81b4a6dfe493cd1","datavalue":{"value":{"entity-type":"item","numeric-id":5277709,"id":"Q5277709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543301$40A21F5F-4649-49AF-B04F-850BB2CA6944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"672bdbb01aff9fc0f6974c08be2c1db4dcb25d53","datavalue":{"value":{"entity-type":"item","numeric-id":3006716,"id":"Q3006716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543301$DEA7C1FE-60D0-4961-A322-262B0BF1C47C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543301$E16A3F6F-7283-46D3-88B8-6D293B569FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0942ee95974c142ca870a8b6319eb989c0118cb","datavalue":{"value":{"entity-type":"item","numeric-id":1329197,"id":"Q1329197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543301$D16F01A4-3555-4520-8C8D-4499724DF888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c4f78ad12fc15882f1205cf7a447a7254c00d6b","datavalue":{"value":{"entity-type":"item","numeric-id":5491894,"id":"Q5491894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543301$FB7878D8-1C36-4604-9E7D-ECA21E40FFDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01b0488022d11b542c12cee958c572423296158b","datavalue":{"value":{"entity-type":"item","numeric-id":3613003,"id":"Q3613003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543301$867D48FE-3C71-404B-B616-85BF694576DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"510120abfe498ffe6c16df32c33010f36c2fea3f","datavalue":{"value":{"entity-type":"item","numeric-id":1276244,"id":"Q1276244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543301$55C15DDB-D963-4FAA-98F6-F87D7502CF82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc12f7e639228ee8e915c756a08eb8dda3ecdf92","datavalue":{"value":{"entity-type":"item","numeric-id":4791842,"id":"Q4791842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543301$6019B331-F8B8-4CFC-9057-E993DD93704F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe703542a77b0dc5e0b564742fb1d6fe55ad9d4","datavalue":{"value":{"entity-type":"item","numeric-id":1327393,"id":"Q1327393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543301$FDD3022E-BB4C-4396-9F6B-2CA326E5169A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0020a41a31ca177985d17d3a994d4def480e2eff","datavalue":{"value":{"entity-type":"item","numeric-id":3543301,"id":"Q3543301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543301$07F13C84-DCA1-4BDB-BFD2-B06F2BF7F1C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d82128acc2608c1d89d29ea599f1290c7146053","datavalue":{"value":{"entity-type":"item","numeric-id":5452606,"id":"Q5452606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543301$619CA2F2-1922-4C23-91FB-32CE42C8CDE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"104c858b096e3970a05febe3d3b6e8ed49332047","datavalue":{"value":{"entity-type":"item","numeric-id":5897475,"id":"Q5897475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543301$1CC63867-9F7C-49F8-B9F0-9A287C21E8DD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8894d07f795f8608e4c9ac3e7f5da9cd81645615","datavalue":{"value":{"entity-type":"item","numeric-id":2766627,"id":"Q2766627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d780ad7048518bd4b507508e8f79572149931cc2","datavalue":{"value":{"amount":"+0.8034683465957642","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":"Q3543301$E06466BA-42F7-4B94-A0DB-7F398B922DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1f5df4a94c821a4fb3cf532bdf48e46ed96c0be","datavalue":{"value":{"entity-type":"item","numeric-id":5055879,"id":"Q5055879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba3ba3db9fab9945716569671b6d98da2759a64c","datavalue":{"value":{"amount":"+0.7929244041442871","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":"Q3543301$BFC145B7-918C-4E66-9368-E124E9454240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d49223e3a6b3fb37fefc9da1637bf45e0aa7b670","datavalue":{"value":{"entity-type":"item","numeric-id":6162104,"id":"Q6162104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a137c7f91bad8c03f4deceeb3d04105c255d69e","datavalue":{"value":{"amount":"+0.7835495471954346","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":"Q3543301$4FC68479-4558-47CF-9E37-80B8A4E8F51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c11f0772c1208fd7ddf51ce4038b8f781a7ad79f","datavalue":{"value":{"entity-type":"item","numeric-id":3176371,"id":"Q3176371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4ecef0a7d52e0084c2b71fe39182102421ccdc8","datavalue":{"value":{"amount":"+0.7658658623695374","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":"Q3543301$21C5CAE1-2987-42F9-A93B-0E4C32D0C935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e64633ec1a393cf785d4efb7bfa06a5e6f3c7ac","datavalue":{"value":{"entity-type":"item","numeric-id":3648832,"id":"Q3648832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77fc147eece7e8a7301ca7020b10316f6a20e555","datavalue":{"value":{"amount":"+0.7657796740531921","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":"Q3543301$275FFC8C-8A60-4B30-9803-4E73B67D253C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3543301","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3543301"}}}}}