{"entities":{"Q5699482":{"pageid":7729042,"ns":120,"title":"Item:Q5699482","lastrevid":48575932,"modified":"2026-01-05T06:41:02Z","type":"item","id":"Q5699482","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2217747"}},"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":"Q5699482$B5FC78E1-CDAE-4BBD-9182-99ED3462149D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c1137219b707b491fce287d12fbe50595fb156e","datavalue":{"value":"1073.68674","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5699482$2A582532-C60E-49C8-A8EA-BA71896E5DF9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd74bfe36106a5d0ddc84f64beaee2f80176920e","datavalue":{"value":{"entity-type":"item","numeric-id":172108,"id":"Q172108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5699482$8EF5F6F3-FBA6-4B13-82B2-00D501F023C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e689873ec877b9c4375b827492043b38e9899a4d","datavalue":{"value":{"entity-type":"item","numeric-id":1944125,"id":"Q1944125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5699482$18B130CF-66E0-445B-81C6-4893831E7575","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e85745a6397331bcdd0b166a1b54cbb2edc48a75","datavalue":{"value":{"time":"+2005-10-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5699482$054EEB71-77DA-44EB-B40A-5A1A8AE37822","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5699482$4A5C5B54-8310-4725-8054-FB96D69FFD3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5699482$755DF94D-97F2-4ABE-AE4E-710ECFA024C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cbc565a6eb9d6fb5f4555874d93bad9a63eeea7f","datavalue":{"value":"2217747","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5699482$36DBA0D6-F26F-4C1C-B14F-83B56619E3EF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5699482$04B65AD5-7C83-491A-B793-F670AECC00A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7662493be8c807e4e49fd26f7b5c47a219f3196","datavalue":{"value":"\\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5699482$C719D33B-F102-429F-A597-E214D2C47040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5699482$4F2F6390-847E-46B2-9B3B-7191C284AB43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5699482$0B84CAB0-F6CC-4F6E-B12E-7D13586697D7","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":"Q5699482$FB34BA61-8124-4BAD-9D3E-595034C56F5C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92edfc58cd349273b0912f581a4bf93fa9ee256d","datavalue":{"value":{"entity-type":"item","numeric-id":6487371,"id":"Q6487371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e784eda396fbb1e7733942183efa5d0003f2938a","datavalue":{"value":{"amount":"+0.8885969519615173","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":"Q5699482$50B0364B-192D-43B2-871F-64CF7B56058E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72abbf54b2ae59348e2fd7ee081ec2416c538ec3","datavalue":{"value":{"entity-type":"item","numeric-id":4954445,"id":"Q4954445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f8120a0bc89a18b2ed3075f94953ce118c57e22","datavalue":{"value":{"amount":"+0.8646836876869202","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":"Q5699482$2CF08791-8175-4C66-8BEC-118FFFBDF9E4","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":"6f69261bca3da8305e13ae5a9ef3da92a4082500","datavalue":{"value":{"amount":"+0.8254185318946838","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":"Q5699482$73C619BB-259B-4E02-BB9B-0D7E3733962F","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":"e7115d0c205156ba4f1f686587bb6a4c265efed2","datavalue":{"value":{"amount":"+0.7908655405044556","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":"Q5699482$37FD7271-77BC-4D03-BE06-0F9551CAC64E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad0fc6ef197a9b760a2f0b31c4c5d54e1acf2848","datavalue":{"value":{"entity-type":"item","numeric-id":4951403,"id":"Q4951403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7115d0c205156ba4f1f686587bb6a4c265efed2","datavalue":{"value":{"amount":"+0.7908655405044556","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":"Q5699482$741B087E-D4A3-4C3F-ACAD-4EC9AF20DEFB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5699482","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5699482"}}}}}