{"entities":{"Q5716883":{"pageid":7746437,"ns":120,"title":"Item:Q5716883","lastrevid":92833493,"modified":"2026-06-05T02:52:05Z","type":"item","id":"Q5716883","labels":{"en":{"language":"en","value":"FM 2005: Formal Methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2245852"}},"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":"Q5716883$9A0DF7E9-F366-41DB-BE52-D73AF7DACD36","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":"Q5716883$7D8CAA89-745B-4CE1-860D-6357EA880DD2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c9df0c1a22272ef3027006ee47e3f0a14262d840","datavalue":{"value":"1120.68388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716883$6610DFA5-C6B0-4A72-86C4-0EFBB604F38B","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":"Q5716883$28F235EF-416E-4C09-91C3-331A7FBEBF0E","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":"Q5716883$833DB3A9-1592-4503-B20D-33D5D8F3D09D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716883$F590B32D-B325-4083-AD9F-558748BD8B13","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3357fc98d780a5171e4e848debd2c53f2b840ee3","datavalue":{"value":"2245852","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716883$B125D311-FD35-4A72-9C11-2F04BD663BBA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e594c228a343ea69f779ee790bc6ba31198d44ac","datavalue":{"value":"security analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716883$55E8A99D-0B0C-40E2-A640-DF384FA24506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d2e2522be9551d10b087fdba2d198c51773b780","datavalue":{"value":"performance analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716883$066111F5-0135-45F5-B4E0-4CCF84422E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000cae892649b86c08dfd4faa170d21befcdc840","datavalue":{"value":"process calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716883$AF742EAD-CB5A-4338-A6F9-E394110DBBA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f75b3e5b1f5ce47be185e9116111a6151f0b94e2","datavalue":{"value":"UML","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716883$CE0908CA-01FA-4A71-860B-C69072869ED7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c8e5d5bcc5e71e7649f82c0434334f298b02dfc0","datavalue":{"value":{"entity-type":"item","numeric-id":22650,"id":"Q22650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716883$4E0A3F79-F044-41F0-BD28-F62F20B6FDFD","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":"Q5716883$D6274AFE-C8BF-4DD2-9947-E3E6CDEB6CB5","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":"Q5716883$0F463266-65BB-4EE7-8280-FD3174A9F703","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b55f052cb6c18c24f5f203508a475311220b949c","datavalue":{"value":"W1497681073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716883$8CD9172F-D8D7-4469-A184-CE30E7C95A13","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eaa007e633ec1708432ed373ff88263c1941e73c","datavalue":{"value":"10.1007/B27882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716883$FE185A4F-C6DD-4972-B11C-D1B534A4258A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b54b3aee4f6acb5119596ab3f191ca354502f418","datavalue":{"value":{"entity-type":"item","numeric-id":2573326,"id":"Q2573326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83aaf7bbf1c3bfcc56542e62a46da135c625e99a","datavalue":{"value":{"amount":"+0.6811265349388123","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":"Q5716883$6FB959B7-6F57-48CA-9559-B359CEEA436C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac9844d0828c8aaac3fb8cd6b116ce07f326e1f9","datavalue":{"value":{"entity-type":"item","numeric-id":434473,"id":"Q434473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f21bdcadf8ca27cb8e612d484a875130463e39f6","datavalue":{"value":{"amount":"+0.6795029640197754","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":"Q5716883$16EA58E0-69E7-4A68-84E7-D579C458988B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72cc18a6304af2396c2b1e3dd622b0703fb6d83c","datavalue":{"value":{"entity-type":"item","numeric-id":2729014,"id":"Q2729014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ad6c3c497d7de71ee5c432c4eb6553ae7bdf51b","datavalue":{"value":{"amount":"+0.6693698763847351","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":"Q5716883$9AA2E9CD-5DF9-4D69-A5A2-16D70C9C9018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40dd9741fada7e47809383a2bf7ae7c805148f00","datavalue":{"value":{"entity-type":"item","numeric-id":2492234,"id":"Q2492234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03d3bd0791a4918758f3b2b2ab0e617125770029","datavalue":{"value":{"amount":"+0.6668527126312256","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":"Q5716883$D3EEC3F7-9A56-41E9-8329-1BC896AFDB90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ff8e9321424d5a4890e2a77655c523d2b9fd345","datavalue":{"value":{"entity-type":"item","numeric-id":2764118,"id":"Q2764118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"371604d29818b9dade1c3a6e68ceba261c769e9a","datavalue":{"value":{"amount":"+0.6653854250907898","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":"Q5716883$93F056E7-647E-47CE-A334-78C4A78D9EF2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"FM 2005: Formal Methods (scientific article; zbMATH DE number 2245852)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/FM_2005:_Formal_Methods_(scientific_article;_zbMATH_DE_number_2245852)"}}}}}