{"entities":{"Q5716900":{"pageid":7746454,"ns":120,"title":"Item:Q5716900","lastrevid":92833646,"modified":"2026-06-05T02:52:07Z","type":"item","id":"Q5716900","labels":{"en":{"language":"en","value":"FM 2005: Formal Methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2245867"}},"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":"Q5716900$989C644B-04AB-430E-93AE-EC0B9376F2F6","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":"Q5716900$BACEC341-961E-4FEB-800B-C432B62CBAC2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf59742f4d139d1d35b751993e7998dff1b481b5","datavalue":{"value":"1120.68421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716900$00E16B99-CD72-4344-B971-6B709B992688","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66a480d2e9b29ea82a9b0fc72873fd6d8201d31c","datavalue":{"value":{"entity-type":"item","numeric-id":287271,"id":"Q287271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716900$0C32F139-BA82-4EF9-B1BF-3B613628685C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"62f8d5b6a5033dca78d86b63dee11eed0e71ef4c","datavalue":{"value":{"entity-type":"item","numeric-id":246143,"id":"Q246143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716900$FBFFFC42-98E8-4A96-8D65-60B84840CC38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"17aa6222375e5b52844ca43f39ca6b801e31b463","datavalue":{"value":{"entity-type":"item","numeric-id":934711,"id":"Q934711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716900$0CE2670B-AA03-49EA-8484-B16B746A812A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e4e5ed72bee66087d415d4f69d49eefd101a453","datavalue":{"value":{"entity-type":"item","numeric-id":526749,"id":"Q526749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716900$F2A9CB0D-29DB-4CA8-82F2-0C6B042687D2","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":"Q5716900$696D6B19-EFDD-4CA8-AB28-75E541B6516F","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":"Q5716900$30E3DAD3-11AC-4530-989D-0447531F8813","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716900$9E40EAB4-20B2-412F-963B-F5B7A7C86206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716900$35B9AEE1-3790-4CCC-9B31-D67BBAE64AB8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"641a230dbaf0073786bd22d9208a501673ae4beb","datavalue":{"value":"2245867","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716900$F7DF33C4-91C9-42F4-8226-05CF83CD640E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f33c14feba8a6da809b214c6ebef376aa31b40dd","datavalue":{"value":"Software Model Checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716900$E73B1EA2-FF8A-4BB3-8845-4F69ED1B12DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5399c73dedb592d1533660473a7905ab5ea5e73a","datavalue":{"value":"Verification of Evolving Software","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716900$EECFCC14-7482-4621-B816-11F03015AED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7f115936a3cf6252b3e8e34664f14da642581d4","datavalue":{"value":"Learning Regular Sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716900$07BE2D1F-BE58-481E-86E7-EAB913C570C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3acf9e3c4672bf733dd74f37e3176a2d006c16c0","datavalue":{"value":"Assume/Guarantee Reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716900$338A9690-0C54-4F26-8467-B863EC5591B6","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":"Q5716900$6DC48867-2195-41D8-BDC3-038CB622EBFB","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":"Q5716900$EA224E9F-56A7-44AA-8F7A-2454A7FE6FFC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b55f052cb6c18c24f5f203508a475311220b949c","datavalue":{"value":"W1497681073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716900$93313530-73EE-4A1A-897B-755A15CF6691","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eaa007e633ec1708432ed373ff88263c1941e73c","datavalue":{"value":"10.1007/B27882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716900$252AD5DD-5BAD-4263-91FE-F005E9554428","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01489ab577891a76aa29f141bf7556996b256c8e","datavalue":{"value":{"entity-type":"item","numeric-id":934712,"id":"Q934712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e7de1a72686244a5cd172ac172ecfe4db3088b3","datavalue":{"value":{"amount":"+0.9367908239364624","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":"Q5716900$7A578344-922B-4FC2-A3B0-D5AD087D317E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"728d09591c56b065e7283db1470722ee48b7c921","datavalue":{"value":{"entity-type":"item","numeric-id":5326332,"id":"Q5326332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17e9049e31175dc0423245ee61445e76583a7762","datavalue":{"value":{"amount":"+0.7147572040557861","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":"Q5716900$68AF8AF1-9C7C-404D-A08C-6D2B75410E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c182af01b0177ebb19d371c4fb0585f8b2246d78","datavalue":{"value":{"entity-type":"item","numeric-id":5276145,"id":"Q5276145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fd4dbbb0f9f0102173f4a880e518e363487fe97","datavalue":{"value":{"amount":"+0.7015853524208069","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":"Q5716900$6E400001-1C9E-4C7E-8688-60E4A89FF039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc2bdabdaaf94167bc61db3fc0d0a13fdfe6d659","datavalue":{"value":{"entity-type":"item","numeric-id":3591398,"id":"Q3591398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8f1b686a6278a556a4e985500074c76a4434252","datavalue":{"value":{"amount":"+0.6991117596626282","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":"Q5716900$347A3992-C5CF-4243-B343-FA4333658BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4c447ea8601fddc967c823f0d8776e8a96ee14b","datavalue":{"value":{"entity-type":"item","numeric-id":988175,"id":"Q988175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37921b9c819c378e859ed9db5aaf1c7d3f68f09c","datavalue":{"value":{"amount":"+0.6933809518814087","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":"Q5716900$7DE22BA5-32A2-489A-A4F6-0D2EC5CDA8B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"FM 2005: Formal Methods (scientific article; zbMATH DE number 2245867)","badges":[]}}}}}