{"entities":{"Q5716886":{"pageid":7746440,"ns":120,"title":"Item:Q5716886","lastrevid":92833520,"modified":"2026-06-05T02:52:06Z","type":"item","id":"Q5716886","labels":{"en":{"language":"en","value":"FM 2005: Formal Methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2245854"}},"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":"Q5716886$1AC48DAF-140B-478A-9300-C222F2F8D1D6","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":"Q5716886$5B1405AE-610F-461A-B79A-8B69CC98530B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf1e8234b8f90c011bb3f254aca633b8bde243bf","datavalue":{"value":"1120.68335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716886$194D57FA-8DDF-4484-95BE-469A3E138F82","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"59273e3cb8fce12c35dba01c577961735f5912dd","datavalue":{"value":{"entity-type":"item","numeric-id":4185767,"id":"Q4185767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716886$7A15BAA3-BF81-4BA0-A2DB-85AD62647BF0","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":"Q5716886$364D90D5-58E3-44B0-B7C9-FF13989F910B","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":"Q5716886$C2DE64D3-C450-45D6-A2F4-71981C9EC7E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca8c16691e9ec83d46a3995338b09d48ac9660ac","datavalue":{"value":"68M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716886$AEC3E95F-8B23-4D66-AA6A-A50C5D227ED7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"97a24e71bac0680c31bd228751696519f9157a57","datavalue":{"value":"2245854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716886$72E21183-04D1-413B-BAF2-8468DF358BC9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322e81307d2b59f8312b677cec0801774fd4d8e5","datavalue":{"value":"networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716886$C51C9ACF-C3FD-4ED9-BE89-0F6DFA110D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52cd469b5dffb1e40283107a3df17ff80791ea20","datavalue":{"value":"network design","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716886$E951040B-8EC2-434A-AAC6-347173C57FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98877abcf393187a988d41853f684e1f11b607bf","datavalue":{"value":"network requirements","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716886$F60A1B12-FAFD-4E4C-9AEC-FD958834FBB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5e172cf6991b6d4f13ff59a7c9889213e86ba60","datavalue":{"value":"Alloy","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716886$B50C2267-8362-4D0A-BC0C-C06B374D970D","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":"Q5716886$5A851E3C-BB52-4DF5-99E4-418003C6A720","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":"Q5716886$E7F1BAD7-2A14-4CC5-89F7-270D2638AB1C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b55f052cb6c18c24f5f203508a475311220b949c","datavalue":{"value":"W1497681073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716886$DCB45669-F4B7-4082-83E0-9D4DA5F0A1C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eaa007e633ec1708432ed373ff88263c1941e73c","datavalue":{"value":"10.1007/B27882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716886$13C5267B-6F5F-4773-8102-4D5CCE87E227","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ee343f5d7a80fa76dc547cba8ffe679cbb5b104","datavalue":{"value":{"entity-type":"item","numeric-id":3651506,"id":"Q3651506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b4332c5b47bc2873f2a55405df92e5b3d71af2e","datavalue":{"value":{"amount":"+0.6961840391159058","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":"Q5716886$4BA7DA8E-7F3D-4DDF-916D-2F151FA6557D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f64ec6d5aec1e00010870aa031e4ea078001f8a","datavalue":{"value":{"entity-type":"item","numeric-id":5857796,"id":"Q5857796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8d4caa49aee3cf2fdc7b2352cd4c158dcfd1441","datavalue":{"value":{"amount":"+0.6370800733566284","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":"Q5716886$5A39CE01-D69B-405D-9F9D-311C46E74C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72cc6b4b849a876339885e136d3e32536e87dc7e","datavalue":{"value":{"entity-type":"item","numeric-id":3076983,"id":"Q3076983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b6504ad6275301e0599e99b64c993078a587d9e","datavalue":{"value":{"amount":"+0.6261774301528931","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":"Q5716886$E03DA93A-0DBD-4442-99AF-E37D2CC2BC9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3cafa1e027f9dba97e798110b29038962d2c2af","datavalue":{"value":{"entity-type":"item","numeric-id":3007579,"id":"Q3007579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf4f845990e92095f087b7fbe352db99b653459c","datavalue":{"value":{"amount":"+0.6238391995429993","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":"Q5716886$FC70C933-9580-4B33-9298-C64E0E1B1775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d273163b4ae27e42e95715a87367621339b5b8b4","datavalue":{"value":{"entity-type":"item","numeric-id":3399197,"id":"Q3399197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63fd7e2cf4ac6fe94cf0a92b119d2b77969b83d4","datavalue":{"value":{"amount":"+0.622759222984314","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":"Q5716886$8ED56617-CB15-4DF5-ABB5-B186B51694BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"FM 2005: Formal Methods (scientific article; zbMATH DE number 2245854)","badges":[]}}}}}