{"entities":{"Q5716896":{"pageid":7746450,"ns":120,"title":"Item:Q5716896","lastrevid":92833610,"modified":"2026-06-05T02:52:07Z","type":"item","id":"Q5716896","labels":{"en":{"language":"en","value":"FM 2005: Formal Methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2245863"}},"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":"Q5716896$500757A1-2484-4761-AC80-963744961906","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":"Q5716896$BDD1CB2E-E83A-4705-822F-1BE10787CECA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"92b404284d30061d5c34c259263b5524d74c7a2b","datavalue":{"value":"1120.68390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716896$6DC994C3-651E-4B8C-AF82-7861E8262D23","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":"Q5716896$C0FE7D0D-2673-42D4-9C16-FBBD843C98AD","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":"Q5716896$B7D342FE-024C-44FE-9E99-C86A8495DF42","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716896$20E986CA-C87D-44E5-8AB5-D742B5A929FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7faa9b25ce290cadd359c1058b7dbb10bf0db194","datavalue":{"value":"2245863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716896$6EF3CFBF-EAA2-4BEF-A61A-A7A4EED89D94","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":"Q5716896$0083ECEA-F45B-403C-A077-3BCDFB8C2C98","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":"Q5716896$09ECE027-CE4F-412E-8082-263D1CD6EE36","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b55f052cb6c18c24f5f203508a475311220b949c","datavalue":{"value":"W1497681073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716896$16362EF6-85BF-484D-9984-09C26AB286D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eaa007e633ec1708432ed373ff88263c1941e73c","datavalue":{"value":"10.1007/B27882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716896$D0DAD682-167A-4F48-B335-1C18FEB9C3B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df202287048868f2e7d81846c88777192fdb5351","datavalue":{"value":{"entity-type":"item","numeric-id":2371557,"id":"Q2371557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9893158c492ee2c23a2b325d74dbd0177a1e05e0","datavalue":{"value":{"amount":"+0.7819376587867737","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":"Q5716896$AB85ACA0-9BAF-4F87-BCAC-F8ACC655D6B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86ea5126489da987688937424ca975e1f0a76863","datavalue":{"value":{"entity-type":"item","numeric-id":4438771,"id":"Q4438771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"984f7548de5d106d73abdc32220aee2769b2d11c","datavalue":{"value":{"amount":"+0.7818949222564697","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":"Q5716896$47D1B1B1-6DE3-4A38-97F7-F26EC9A2597E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0701790137fa5bc7241e05bd012401a68eeda11","datavalue":{"value":{"entity-type":"item","numeric-id":4412547,"id":"Q4412547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f7d3e9a871ce6265c5e8ab76b9762f43b60ac7a","datavalue":{"value":{"amount":"+0.7801580429077148","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":"Q5716896$9AAE47E8-0ECD-4573-BA9E-6C8C56D4350C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3cca649e31b99b785d1796e87b3677a00de329b","datavalue":{"value":{"entity-type":"item","numeric-id":5490385,"id":"Q5490385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b97ec02c3f7c89deadbc898b86aa408821615520","datavalue":{"value":{"amount":"+0.7729777097702026","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":"Q5716896$2826DC58-4AFF-4F07-858D-7FE26C1CDDBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72ed6e4cd3eed78491f7d791e983686864f94ae1","datavalue":{"value":{"entity-type":"item","numeric-id":4737565,"id":"Q4737565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98c98c3943148312b8525dfe714d82bb1c374e2e","datavalue":{"value":{"amount":"+0.7417568564414978","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":"Q5716896$10055FE5-5696-4385-9613-1C40F4DE3081","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"FM 2005: Formal Methods (scientific article; zbMATH DE number 2245863)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/FM_2005:_Formal_Methods_(scientific_article;_zbMATH_DE_number_2245863)"}}}}}