{"entities":{"Q5716914":{"pageid":7746468,"ns":120,"title":"Item:Q5716914","lastrevid":48628090,"modified":"2026-01-05T10:44:35Z","type":"item","id":"Q5716914","labels":{"en":{"language":"en","value":"FM 2005: Formal Methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2245876"}},"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":"Q5716914$47F609D9-3243-4892-8ACA-E738F2BBF8D2","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":"Q5716914$BFE146FB-94ED-4419-B599-70125433DEDF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5628e52fe62fb412ce7efc935fc20d30494f0c86","datavalue":{"value":"1120.68379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716914$6F066F38-4E61-4CB9-9AE9-1FE263DEC3CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b732ee5187208e4a6dc98c3fb56aff4c884cb9fd","datavalue":{"value":{"entity-type":"item","numeric-id":2571206,"id":"Q2571206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716914$00519242-85D0-4324-94D2-C25E065DEBBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9cc5cabec05078a7abde982478f0085b75b93b8","datavalue":{"value":{"entity-type":"item","numeric-id":436386,"id":"Q436386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716914$94DB22E6-BEF0-43EB-9941-6D3867E79C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6539cfadc75d6504ef9c471b16074d64840fa76","datavalue":{"value":{"entity-type":"item","numeric-id":433335,"id":"Q433335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716914$40113F46-C51C-4F21-92CB-459D0F252229","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":"Q5716914$E0D50494-7908-4FC5-BAE1-6C9CFA8555B3","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":"Q5716914$9FF127D9-42F3-43DB-AF96-2EB087597CB6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716914$A0FCFF0A-5787-4901-AB99-EB41BF2971C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716914$AC9D75D2-A8F7-4E86-93C1-53AD9F7B5A61","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c0633fa665636154864eead5a6fbf249f2777612","datavalue":{"value":"2245876","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716914$78762270-F763-475B-85FA-EA3EBF5DF9A8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09ca32413f1d623ef3eb8d4a14ac759e926ea85f","datavalue":{"value":"invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716914$69CBD696-A869-4653-8294-79D16C06E8E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d96513a78d4cb6118858140c4ea52d06fa69ccf6","datavalue":{"value":"object allocation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716914$8D58A1F9-36FB-497D-8194-D80F2972BDE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716914$8A505E7E-69E2-421A-A250-A5D51FBCCB89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716914$8EEB41A6-9C69-4FAA-B375-BB51EAE44882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"891cd55f24c8089def7f1a2a11129046e965fead","datavalue":{"value":"object-oriented programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716914$EAA014B9-0A6B-49F8-B7A0-BA1CF904F3AD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"beb205139d0971fca32ffa61e5b55aaac31a7181","datavalue":{"value":{"entity-type":"item","numeric-id":16768,"id":"Q16768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716914$2D8FF509-B43F-4630-9340-D739EB3FE7EA","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":"Q5716914$DBD022AC-2AC9-437A-8ADF-E3564C84881D","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":"Q5716914$C968BBAE-A94A-4E6A-9A6B-AD04F49EFB51","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b55f052cb6c18c24f5f203508a475311220b949c","datavalue":{"value":"W1497681073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716914$2FC36CC9-2DFE-42F4-81D5-7C04B6C50E7F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eaa007e633ec1708432ed373ff88263c1941e73c","datavalue":{"value":"10.1007/B27882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716914$23EE8AC2-C84C-4B18-A7E0-60A8AB9B8368","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1f7a7a11a07ba7ee842b9b9243a4987f0672d0b","datavalue":{"value":{"entity-type":"item","numeric-id":854171,"id":"Q854171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7f83ae74deca94c12e3a9c9502b26744fcb5df5","datavalue":{"value":{"amount":"+0.697444498538971","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":"Q5716914$CF675AC9-3872-466E-B085-55BF594EB5C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc5d9de11c5348600074734a4872684d60db7399","datavalue":{"value":{"entity-type":"item","numeric-id":5897453,"id":"Q5897453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d3b0a2409aa1e4fd6ecdaad26c741dad8bb3c7b","datavalue":{"value":{"amount":"+0.688684344291687","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":"Q5716914$2217F7F4-F98D-463C-BDFF-648F12DC77C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71154c8392f3cf035eef68aa344ea5838e769e4d","datavalue":{"value":{"entity-type":"item","numeric-id":2643129,"id":"Q2643129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"872f9693b170b7ea575ad0a84906974104ef8246","datavalue":{"value":{"amount":"+0.6864473223686218","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":"Q5716914$A527DA27-4341-4C8E-B4EC-177AC329F478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54c2197b3a6b5f8006a95386c48ec8acccb29ac5","datavalue":{"value":{"entity-type":"item","numeric-id":5395716,"id":"Q5395716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c17125626549d614b822a1979d4ef06221160c07","datavalue":{"value":{"amount":"+0.6663678288459778","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":"Q5716914$523DDCA6-214D-4767-98B5-8C286BDDFC1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0376dc93835a8a0455943df5f80f6d90b1f477a","datavalue":{"value":{"entity-type":"item","numeric-id":2507783,"id":"Q2507783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22ba90cd09e7032cbbfc0ae7f0741f73d2d659cc","datavalue":{"value":{"amount":"+0.6619738340377808","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":"Q5716914$D782498B-444F-4E9B-93FD-003427EFF403","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5716914","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5716914"}}}}}