{"entities":{"Q5758137":{"pageid":7787688,"ns":120,"title":"Item:Q5758137","lastrevid":97356956,"modified":"2026-06-05T14:32:04Z","type":"item","id":"Q5758137","labels":{"en":{"language":"en","value":"Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5185810"}},"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":"Q5758137$35A61B20-BEA2-446A-A329-4C7D7327425A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"752a49ca3e8df736b0ee3c1a592140db9d903a91","datavalue":{"value":{"text":"Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5758137$BCF5964C-1AD7-4B70-B99D-5BEDD9D8EA27","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"087a37a80f9db1356c64f76ea0656eb488075b21","datavalue":{"value":"1186.68305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758137$2A947168-1DAD-447A-9324-14D6531B55BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f47cc8db2e4c5e4433b7aba997e8ffe574526c7","datavalue":{"value":"10.1007/978-3-540-71209-1_50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758137$FEA55E84-14E3-4C0D-897C-E04B719CA24B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b4c6ee9b33f753ccef69398bb700fc3cf67aa4f","datavalue":{"value":{"entity-type":"item","numeric-id":3522893,"id":"Q3522893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758137$98651341-1BA0-4E0B-932C-1C00D55472F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f4a9452230b48b25729b39bc47037fb4f65b446","datavalue":{"value":{"entity-type":"item","numeric-id":2158284,"id":"Q2158284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758137$C6C51CC4-5E8B-452F-A979-1757D8B6D9AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f18177fdfe78f7fc167ff41ba1f19491ea3e5c4a","datavalue":{"value":{"entity-type":"item","numeric-id":549199,"id":"Q549199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758137$B0639AFC-1627-46A6-8755-728231B5BF19","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758137$EF30F14A-81C6-413F-BA5B-E2E36245B1E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d4ccb5809271d2f0bf96f65b85084aa847fe92ef","datavalue":{"value":{"time":"+2007-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5758137$9BFC5EF9-3A54-426E-AB8C-DFA49B6738C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758137$FAE071A0-4217-483C-B531-125B1A33C25D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758137$5BE3CB5C-CFEE-4A7C-A412-1300E5E7F421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758137$3F846FCF-E5F7-493D-92BC-78CFE36BC77F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758137$8100238A-D131-45ED-BCCA-9C727B4F4855","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fffff429c88ce16de424817a7ef5ed368024ebec","datavalue":{"value":"5185810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758137$A0538322-C5CA-4858-8B7D-C438AD680356","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":"Q5758137$92E93BEF-C504-4D4D-A26C-63740CC00B95","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f4b3b5187747b12b0526f9cd8783df39d926a18e","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71209-1_50","type":"string"},"datatype":"url"},"type":"statement","id":"Q5758137$8080248C-81A6-468D-A0FB-EFE4C8E6BEE1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eff2165cb20bfecfeac9711cc4b8da088951a4c4","datavalue":{"value":"W4476426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758137$9427D35D-D5B9-4023-B19D-773BCDBB81EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"309452286f4d055e8e21dc646fe8b1fbe7d6c907","datavalue":{"value":{"entity-type":"item","numeric-id":4791837,"id":"Q4791837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e39a0ed205b62cfaedd507fb4b13e1903cc2a13","datavalue":{"value":{"amount":"+0.8074212074279785","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":"Q5758137$F6E4F7DE-F3EC-4987-AB48-4DD81F318F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e3ab76630ede3e6b4915daabcba7b922bb39b5d","datavalue":{"value":{"entity-type":"item","numeric-id":3656881,"id":"Q3656881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daff0a812de41e8b315b38f3133a3f0cd1e17ac0","datavalue":{"value":{"amount":"+0.7814778685569763","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":"Q5758137$011F6623-E556-41BC-8B82-82B08BE60611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8adbe20bcab8f0440494c0edd7c0a3f88ca12ea","datavalue":{"value":{"entity-type":"item","numeric-id":5096372,"id":"Q5096372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"075afd0a6dce7541cfd1aad7a14af0521b2f221d","datavalue":{"value":{"amount":"+0.7795470952987671","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":"Q5758137$D51290F1-9B12-489D-AF84-D4E13E7E4688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8022e5e7a743967af3bdfd7ecf4eb4935a192ff","datavalue":{"value":{"entity-type":"item","numeric-id":3599106,"id":"Q3599106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3900057a363b4c6eb66fea4c665fc85305b375f1","datavalue":{"value":{"amount":"+0.7610533237457275","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":"Q5758137$F395C927-CFDF-453C-BDE4-13DAF6174A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad85dfcc116d1a9e05369a87275933300f5ccc59","datavalue":{"value":{"entity-type":"item","numeric-id":5479174,"id":"Q5479174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5fc8fc253ced830ca635f4e072239709cf86348","datavalue":{"value":{"amount":"+0.7461660504341125","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":"Q5758137$5E3A8EF1-8D62-4497-91D2-A3AD998EB65E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams","badges":[]}}}}}