{"entities":{"Q5897080":{"pageid":7937696,"ns":120,"title":"Item:Q5897080","lastrevid":50898746,"modified":"2026-01-15T15:50:16Z","type":"item","id":"Q5897080","labels":{"en":{"language":"en","value":"Efficient hybrid reachability analysis for asynchronous concurrent systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5667319"}},"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":"Q5897080$07343A44-37F6-49A0-B0FC-127E08DBD43A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b8c8f2d2ec76da52bc4ad5fba0da16b149a776d5","datavalue":{"value":{"text":"Correct Hardware Design and Verification Methods","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5897080$6EB75171-90AD-4290-98A9-8ADC0FD89FD8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b792c03836a53c56ec7eeb5c227891f0c2d4bca6","datavalue":{"value":"1179.68103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897080$2B68616D-3808-43D9-9332-A120FC92CCF4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65933f7b3f46c07f53bf631dff0cb4433516a0d9","datavalue":{"value":{"entity-type":"item","numeric-id":3404123,"id":"Q3404123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897080$34C6630F-D4DD-497E-B6B4-D4706FAEFECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bc0b1aba39e0e65bd369b90206aa366ad22e82d","datavalue":{"value":{"entity-type":"item","numeric-id":3404124,"id":"Q3404124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897080$9A37542F-9928-4B6E-9254-864E6E535EBC","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":"Q5897080$9C55B793-F9AA-488D-9312-90E4944AC8A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"922e941384ccd68eb1997024165e5bf5ef775623","datavalue":{"value":{"time":"+2010-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5897080$CFC77E3B-2162-4D04-AC1D-CEE512BADBF5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897080$A6E19500-5A48-47F8-90CC-5952E38C78D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897080$C45373B2-7DAC-40BA-9842-9D2A4DF71D9B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e9da8d269de928d069b36441c5e9635db50783b","datavalue":{"value":"5667319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897080$5706B099-307A-4A3F-B973-8D0C58CCEEAE","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":"Q5897080$BE5DB49F-9152-4A55-9109-2CE22F388E56","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b8c5cde1231ec6becb5c8cd63c3722e801c9211","datavalue":{"value":"https://doi.org/10.1007/b93958","type":"string"},"datatype":"url"},"type":"statement","id":"Q5897080$96B46762-E527-4696-9CC4-B422948A747A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"652751e9bf248790b4e9b94adeaafb8d6cf26dda","datavalue":{"value":"W219731125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897080$EA326896-5E9C-497A-AF5B-E5C07C6664C9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6fcbd4de8d7777e47679b10069f6a3080aceb1e6","datavalue":{"value":"10.1007/B93958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897080$4E82091B-2CD3-46E5-A23F-8EF6B4BE6ACC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13eef1da412afceae7bc3475926ad65b7a5f8290","datavalue":{"value":{"entity-type":"item","numeric-id":5943258,"id":"Q5943258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebf8e3a7f5ebc711d04589d3fa43268482d247bf","datavalue":{"value":{"amount":"+0.7762557864189148","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":"Q5897080$A4ABB8E2-FC36-45C7-AF5A-5980BC506827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a28c227690d7c2a865a0fac6844818642255ba66","datavalue":{"value":{"entity-type":"item","numeric-id":2766555,"id":"Q2766555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d28d1c0f23c8d5818684e5e30e90c437769a8ef2","datavalue":{"value":{"amount":"+0.7694665193557739","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":"Q5897080$E16FD508-8423-4806-988E-9B56A8DE8BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b72b69ee2110bb65e2d1433935d62ee1b4d358a7","datavalue":{"value":{"entity-type":"item","numeric-id":5493223,"id":"Q5493223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88819175635b5547617171f88df336afb3c03b6b","datavalue":{"value":{"amount":"+0.732468843460083","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":"Q5897080$8A5FBF1F-B9DE-42BE-9E93-C313396FA517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f45bd009a89f811dc912e645897689d07d6c7a15","datavalue":{"value":{"entity-type":"item","numeric-id":5897082,"id":"Q5897082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4832180a71fc4488e3ea79bd6ffc3b6522e12175","datavalue":{"value":{"amount":"+0.7248268127441406","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":"Q5897080$175BABD6-080E-434B-B69A-4F866D470566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d96709bd831f8d5777e24748ad0103245ae62bd","datavalue":{"value":{"entity-type":"item","numeric-id":5929098,"id":"Q5929098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60ecd5ae729ec9b8bbdd913794c6e6ab9ecd7e4b","datavalue":{"value":{"amount":"+0.7246923446655273","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":"Q5897080$50326E6E-2E7C-4679-93F0-90F752C79C52","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5897080","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5897080"}}}}}