{"entities":{"Q5716899":{"pageid":7746453,"ns":120,"title":"Item:Q5716899","lastrevid":48628030,"modified":"2026-01-05T10:44:34Z","type":"item","id":"Q5716899","labels":{"en":{"language":"en","value":"FM 2005: Formal Methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2245866"}},"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":"Q5716899$2F3224C7-6DB2-4E48-B090-8A2A3AF3A639","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":"Q5716899$E06A44AD-36BB-4411-9724-152665B32325","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5760cb865f2e08f5adb4ad569fb9989ce453d7da","datavalue":{"value":"1120.68418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716899$E34BDCA9-E1A5-4CE3-A8A2-CB40A95DA78D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d591c222fbb2f0c9889be77fd69768e1bb695b1f","datavalue":{"value":{"entity-type":"item","numeric-id":2848657,"id":"Q2848657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716899$D22A8A0D-40F9-4C42-8D11-70E77B0F5B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"37ff122a9ef1ebe05a8d5ca01082a18050f8321e","datavalue":{"value":{"entity-type":"item","numeric-id":2848658,"id":"Q2848658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716899$BC779472-D42E-4D45-A5A5-360FEDEB7439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"85ea4d300ae65ad1b522cf8654fbcb97fd2ceeea","datavalue":{"value":{"entity-type":"item","numeric-id":685116,"id":"Q685116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716899$7F353E61-4F9F-4DFD-BF8F-FD0E5C017B38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"570fdf9abfcdd47196a1c28958b07fd2ceac0701","datavalue":{"value":{"entity-type":"item","numeric-id":1051418,"id":"Q1051418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716899$A19A5A1D-B7FB-4409-908B-487B16D53D4B","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":"Q5716899$6B823F7B-D838-4BFD-BB97-5A848D3F08F6","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":"Q5716899$24EA8949-77AA-4E51-B71D-6DE4E98EFA8D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716899$D7D64AC0-EF2A-4587-B33B-FD2B659ED742","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c25a37dbaf8bcd27f83f42e5ecbb65b18f8d91f0","datavalue":{"value":"2245866","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716899$5A4980A7-9074-47D0-BD0C-488E07CA016A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4436149dd9b6101619f13c4415f7ef6e827a0c82","datavalue":{"value":"Symbolic Model Checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716899$EE3B8851-87E9-452D-A4A2-7FAF190C8DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6a0a073691266b0ecc66980e46d2aca401a95ab","datavalue":{"value":"BDD","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716899$B3FC072B-1A1B-4794-806B-AC0767C0C9E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"158c613d130f08ad2947e97d70a349145b9d1a2a","datavalue":{"value":"state partitioning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716899$8BADDFE8-6432-4B5A-81E8-AD2364718594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af948ab56df44408fff2ba197f928e63c9954960","datavalue":{"value":"CTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716899$127C16E1-136A-41AA-87AC-98098F5AA599","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":"Q5716899$0D5CD148-56CC-4B31-BF76-AA04CA1628D0","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":"Q5716899$C9B440EB-9030-42D3-90B0-20939539A66A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b55f052cb6c18c24f5f203508a475311220b949c","datavalue":{"value":"W1497681073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716899$9C9E2D04-3A44-442D-99E1-7E9343E4E954","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eaa007e633ec1708432ed373ff88263c1941e73c","datavalue":{"value":"10.1007/B27882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716899$63DFDC43-2DC4-4BE0-A6A3-5DA3B37A8B8C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d58b6f17af7ca36d33c9ab28015ab0db6f6a250d","datavalue":{"value":{"entity-type":"item","numeric-id":5897056,"id":"Q5897056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24d67ff6819a30c75d3da9f49b11963a4312f85b","datavalue":{"value":{"amount":"+0.7801892161369324","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":"Q5716899$8DFB0930-8EE8-4C2E-BEA7-B1D605A02F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75da0f2089d3a977bd827f34d28fa4c869230200","datavalue":{"value":{"entity-type":"item","numeric-id":5394174,"id":"Q5394174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75c3286f5a350a1ec75a11669b807f7ce7db8263","datavalue":{"value":{"amount":"+0.7680690288543701","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":"Q5716899$51DC7DD9-A859-4BD6-8F7E-3706571BD9D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a3864231278fe2268cdd0cb089029cce53ab69f","datavalue":{"value":{"entity-type":"item","numeric-id":5461616,"id":"Q5461616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d95d295e75fbb941eaae5bc1301651f250b3981e","datavalue":{"value":{"amount":"+0.7665950059890747","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":"Q5716899$9C779B50-2244-46BE-8D46-655205EE604E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ad735f8a1df465af6182e025d488b09f084311e","datavalue":{"value":{"entity-type":"item","numeric-id":4255567,"id":"Q4255567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"278fa8ed9e2d4800b2dee1ac76e549d39c36e109","datavalue":{"value":{"amount":"+0.7663322687149048","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":"Q5716899$8B26D5DA-ACDB-406E-B255-8B32CD4C2383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"242abc884d777afc2dc4e5a3c2775498be873518","datavalue":{"value":{"entity-type":"item","numeric-id":2465733,"id":"Q2465733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dc87b414f1ddc8a7127586e3469d7758b144037","datavalue":{"value":{"amount":"+0.7662800550460815","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":"Q5716899$ACB68AAD-36C4-4228-BE91-764C8FE06BFB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5716899","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5716899"}}}}}