{"entities":{"Q5453498":{"pageid":7483057,"ns":120,"title":"Item:Q5453498","lastrevid":50321891,"modified":"2026-01-13T19:56:53Z","type":"item","id":"Q5453498","labels":{"en":{"language":"en","value":"Model Checking Synchronized Products of Infinite Transition Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5256513"}},"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":"Q5453498$4F620BFE-6467-4FDA-BBBA-33CB2A85F11E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6485d8acffecf5abc51713763b780e7abafb58d3","datavalue":{"value":{"text":"Model Checking Synchronized Products of Infinite Transition Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5453498$CE42DE14-CD61-4409-966F-736E1DE22B2A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ddbf2e44719886af69583530a4438365cf6ddae","datavalue":{"value":"1131.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453498$260F7643-2D39-4C8B-A02A-F594631454A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f94dd60b45c3d39a4d34f1d02787453ca7dc3fed","datavalue":{"value":"10.2168/LMCS-3(4:5)2007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453498$1E622AF2-B683-4297-A991-77B0B5D77325","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0fdd73c7da035ce2e5a15b291a3abfe56fe3276d","datavalue":{"value":{"entity-type":"item","numeric-id":1887658,"id":"Q1887658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453498$7E4B77EE-C566-40CD-99F6-B9E6452D4DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c258bf9206a7a338581aad4b4a7a2544fa708cd","datavalue":{"value":{"entity-type":"item","numeric-id":391109,"id":"Q391109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453498$1CA5C7B4-06E7-43BE-B69B-99ECFFA9B18A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453498$554E8C49-A742-4B42-8398-79F13CD7EDF3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"198ebadd055eae6a54aaf8b4ed7b348339bb3788","datavalue":{"value":{"time":"+2008-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5453498$CA1D0899-9C83-4F4F-BD34-AF93DB370C43","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453498$671E77FF-1A06-4F4B-9E67-7BB43AEA8630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453498$CDA6C4EF-C4AF-4BF1-B671-FB6C15B3B8CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453498$21BF9A2D-0E69-4408-AB59-EE6D692E7102","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f8394c8016035506e8bd51b2308ceeb73b6be11","datavalue":{"value":"5256513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453498$74607796-070A-457F-9B1E-D39F810719DD","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":"Q5453498$FB04714E-3651-4C12-A814-2BF10904C4E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c40bd1aaf24849c8e838234af8d485396edd583b","datavalue":{"value":{"entity-type":"item","numeric-id":3646170,"id":"Q3646170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ae72065b99fd9a8d90a3cfc904bbe54df702504","datavalue":{"value":{"amount":"+0.8029060959815979","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":"Q5453498$D6ABF528-B773-40A9-996A-BDBACC550A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e84b6344986cc52961cc02df09f34681c2834e6","datavalue":{"value":{"entity-type":"item","numeric-id":1920224,"id":"Q1920224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e2566ecc26961677ae6fafcd406965df24f2512","datavalue":{"value":{"amount":"+0.7646216154098511","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":"Q5453498$B45B23D3-2EA4-4AAE-BCDC-78447AD96733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf5b43b408b2da4a683dba83631a428854b25f1e","datavalue":{"value":{"entity-type":"item","numeric-id":5491850,"id":"Q5491850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d58d233e15e7e1d8ebc789b6eb4018b11433a746","datavalue":{"value":{"amount":"+0.7641326785087585","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":"Q5453498$8E070085-7B79-4A88-9E6D-CE2F7287E50E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6effe004b11319500cf470d640839e2d3ae7e058","datavalue":{"value":{"entity-type":"item","numeric-id":438572,"id":"Q438572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"476373d6f1d33931b73c342cc7bc4d95d0543be5","datavalue":{"value":{"amount":"+0.7584615349769592","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":"Q5453498$0375841A-30C4-422A-ABB9-CD0592849303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3c453744c49ca3054b0709c44051fe1b80bcdc4","datavalue":{"value":{"entity-type":"item","numeric-id":4234763,"id":"Q4234763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1792537900130f94732faf6ae3b72dfed55c6fca","datavalue":{"value":{"amount":"+0.7518187165260315","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":"Q5453498$8625CD7A-05A2-4284-948C-49B0C63A163E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5453498","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5453498"}}}}}