{"entities":{"Q5716877":{"pageid":7746431,"ns":120,"title":"Item:Q5716877","lastrevid":48628459,"modified":"2026-01-05T10:44:44Z","type":"item","id":"Q5716877","labels":{"en":{"language":"en","value":"FM 2005: Formal Methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2245846"}},"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":"Q5716877$84C6809F-BC8B-48EE-90D3-A6309A57D2F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"09931771c06d46aeabc60a38e18ef709b76800bb","datavalue":{"value":{"text":"FM 2005: Formal Methods","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5716877$59DFD436-9359-4CF4-8209-871D67ED6D08","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a9c0f5daba97cabd37be3efe488094e08265ba07","datavalue":{"value":"1120.68410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716877$E1A7C24D-DC19-4A07-99FC-5F88A154C474","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d46e407fcac4d84aa83dd1b746eff749968a5533","datavalue":{"value":{"entity-type":"item","numeric-id":1763726,"id":"Q1763726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716877$C222CA33-6BDD-4B9D-99D6-584FC6B75450","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":"Q5716877$CA0CFC1A-BB98-4A3C-9B06-EE6509F0E55C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e93cf8dacd1ede76e69913529f9bf4e8192e151","datavalue":{"value":{"time":"+2006-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5716877$19EC42B3-0D90-41B9-8B31-38FA8E07AB00","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716877$E70B95E7-D86E-4B63-A4B5-1612C4A0199F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716877$CF7E5D11-CCF7-4B90-B64F-6483DAF0B139","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"629b9d02506b424381fc9f691bb20e75c568995c","datavalue":{"value":"2245846","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716877$462CB417-C25B-40BB-A0C9-D7F0DA01F60B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15a176626cc3607ef1b4031f63e115e0a1dbd643","datavalue":{"value":"True Concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716877$1926AE55-43D6-435C-B2F4-98329D1DCEAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5f290d437c3a537d72bf8b6747a71598b625a1c","datavalue":{"value":"Interleaving Concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716877$12C84FCC-A14B-421F-8F74-1A7BC4BE1F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40c1eccf591e9e7c1644dc7956aea4aaaed65939","datavalue":{"value":"Petri Nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716877$6136ABD9-96E1-4724-96A0-4E9FA38C3A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716877$E26E0B60-63E8-48AA-93FB-ABD0D2A5B0DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed6297e89a8d6618788fb79f8a81985381222ac2","datavalue":{"value":"Conflict","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716877$5A2AB92D-59E1-497A-BA29-3B0B36A0DA45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f6f540f0595194b5558575e2da325deadde100e","datavalue":{"value":"Confusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716877$8685E25F-D399-4A0A-91AF-5BC4EBDC497C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8249d13f0d58c60a42982d4e83f6344870c5a304","datavalue":{"value":"Automatic Verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716877$9BEE4230-4FA5-4723-97E1-07B16A8A4946","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":"Q5716877$501B5730-B81E-4CBF-9CFC-EF38387412A4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3233b52d4c27ffc27fd1bfa49d7d5f3d07054b6d","datavalue":{"value":"https://doi.org/10.1007/b27882","type":"string"},"datatype":"url"},"type":"statement","id":"Q5716877$98B9FB43-4CF7-46B4-881D-92CDA85C1A1B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b55f052cb6c18c24f5f203508a475311220b949c","datavalue":{"value":"W1497681073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716877$27109000-D331-44D6-B21B-1D15ECED7125","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eaa007e633ec1708432ed373ff88263c1941e73c","datavalue":{"value":"10.1007/B27882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716877$8CCFF21A-9A2D-464A-B41D-24B19E24BF02","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82483659871af4e65d58926ba33b5bab4dea7460","datavalue":{"value":{"entity-type":"item","numeric-id":3608892,"id":"Q3608892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eef3d7ea95de024c744cc98ca15768486381cb01","datavalue":{"value":{"amount":"+0.9768338799476624","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":"Q5716877$DDDB2CA5-7EF0-491E-9410-39C593DA2DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f115bf6c9d93267e5242dcb143b157351dcf1e7","datavalue":{"value":{"entity-type":"item","numeric-id":3602798,"id":"Q3602798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27654894b8fbbf4035096fb97fec94cd9d349196","datavalue":{"value":{"amount":"+0.7772512435913086","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":"Q5716877$5E191A20-6F50-4EBD-9AE4-E9585DB203FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"507716ca6c8b320bbec2c478579f446e5cd3911c","datavalue":{"value":{"entity-type":"item","numeric-id":3680254,"id":"Q3680254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3cc8986ead444f75ba962a9e1e013a4769c3066","datavalue":{"value":{"amount":"+0.7457810640335083","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":"Q5716877$1D1E63F8-4C92-4BC5-B85F-64320ECBE641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65028a4a4378d23ffc64ee9c4af111ccd32fa7d0","datavalue":{"value":{"entity-type":"item","numeric-id":3339295,"id":"Q3339295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dbcb2cd0ea64bcc22523c6b19f067725243fec7","datavalue":{"value":{"amount":"+0.7453046441078186","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":"Q5716877$FA6F9034-1AEE-4A1C-BD62-2A60C40B16C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0e6bb55f55a24a247ce5b3d2039867fc0841cba","datavalue":{"value":{"entity-type":"item","numeric-id":5207054,"id":"Q5207054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4cea7efda8c655859c4741ecc12367a4856cda2","datavalue":{"value":{"amount":"+0.7444703578948975","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":"Q5716877$9D50E3A4-E6A9-4EF2-8B37-06F84CF7787B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5716877","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5716877"}}}}}