{"entities":{"Q5716892":{"pageid":7746446,"ns":120,"title":"Item:Q5716892","lastrevid":48627991,"modified":"2026-01-05T10:44:33Z","type":"item","id":"Q5716892","labels":{"en":{"language":"en","value":"FM 2005: Formal Methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2245859"}},"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":"Q5716892$0017A6E8-EFF1-4241-B91C-C65344FCB278","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":"Q5716892$D6B93982-EC3B-4A5A-91D8-6048E5178D91","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f0b4d34105720a0a80cd6c411984240e03d1fc55","datavalue":{"value":"1120.68399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716892$A111F247-61F2-423D-BE5A-4812A5726793","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c10b8aad6d33714c7f483946b84546b6a0578ba6","datavalue":{"value":{"entity-type":"item","numeric-id":5166633,"id":"Q5166633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716892$445E196B-D04A-4083-B892-9BC6E90E664A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1158e0a47986b514d58a8fbf343dbbeabc8e61d3","datavalue":{"value":{"entity-type":"item","numeric-id":5166634,"id":"Q5166634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716892$1DA37990-5C89-49A6-A572-41E5349FC9C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c9db86462a110258f9541742427a65f92f22955","datavalue":{"value":{"entity-type":"item","numeric-id":532416,"id":"Q532416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716892$6D7B4666-79B4-4575-95A8-10EEB333D538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b471f64e9099db93b347de45c232b233ea6e17a2","datavalue":{"value":{"entity-type":"item","numeric-id":299178,"id":"Q299178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716892$A68A4B32-A24D-4A1D-8C9A-AC5B7F7B3ADE","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":"Q5716892$19F7F976-1E1E-4953-A231-27D44784E0DA","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":"Q5716892$E202912E-4132-4A6A-90BD-1FA58EAFD117","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716892$3A95C9E2-A180-4148-9C80-DBC9961B3FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716892$E48B332D-5C64-4DFF-9EE6-6C7211564453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716892$24DE3B4B-F8CA-4895-A822-B4EDA9D55AB5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"308cab10409305c0853e1e8f5767d562fb2bfcda","datavalue":{"value":"2245859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716892$1751301D-6115-445B-823A-D5C60604E7CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54255e669a4c04bc61bd634ffcd62bbc37e1550e","datavalue":{"value":"Strategic term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716892$56B56C57-122C-4879-9DE6-DA0C95BC5AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c7ebf2fb8348b7d9defee8efa658bf41bb542db","datavalue":{"value":"program calculation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716892$82C74F91-BF48-4817-872A-AD92D0D4F443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94d05492a0435675532bbf6e3f062cf5f6fe0849","datavalue":{"value":"VDM","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716892$AA733C10-C869-44E0-8CCF-389A926CDA9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9967a0b50804407b20f63da0231cb5fcf3f7a4e1","datavalue":{"value":"SQL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716892$74CEA9ED-388C-488D-A8A0-46B04FEA8834","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":"Q5716892$ADEEF74F-A670-49A7-BA6D-165AF7586F4A","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":"Q5716892$76BB4F3A-A4DC-4B1F-B820-CF2F583D737D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b55f052cb6c18c24f5f203508a475311220b949c","datavalue":{"value":"W1497681073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716892$426004DF-C694-44BC-9E79-655929A04926","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eaa007e633ec1708432ed373ff88263c1941e73c","datavalue":{"value":"10.1007/B27882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716892$0176603C-47CC-47FE-8767-5EDB6798D886","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b51cb66f431a11b699da7e39eef86d40ac243c65","datavalue":{"value":{"entity-type":"item","numeric-id":2770784,"id":"Q2770784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"823d0d1cd9d8929143090f4fab33db03f4cb8d76","datavalue":{"value":{"amount":"+0.6872627139091492","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":"Q5716892$7AA5AE6C-DAFC-4D60-89E2-3130B5D896F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7e422622333a432992567b5df948080ab116b55","datavalue":{"value":{"entity-type":"item","numeric-id":2945718,"id":"Q2945718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73662dedd243bb974fc746df11504960a59b49a1","datavalue":{"value":{"amount":"+0.6578885316848755","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":"Q5716892$1356CFBD-1435-4563-9C15-6CED46D60294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73a31c6607a29d963a43341a2072a7ffcd3dc8f6","datavalue":{"value":{"entity-type":"item","numeric-id":2778890,"id":"Q2778890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94cc9e1df44b0e0a03e167f9dbf795e8d52e2a46","datavalue":{"value":{"amount":"+0.6545390486717224","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":"Q5716892$ACB8DBB5-E4C6-41F9-A232-D557C6701F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d82b734ccbba388021255f1524da334be8899ea1","datavalue":{"value":{"entity-type":"item","numeric-id":4222988,"id":"Q4222988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7136ff1e7e073d3ac2574035378d4b05b548aa6a","datavalue":{"value":{"amount":"+0.6498796939849854","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":"Q5716892$EE882D50-B47C-4DBC-9866-DA1D8387AA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd409db5867fdd94c612bc078478de6076085fbf","datavalue":{"value":{"entity-type":"item","numeric-id":911753,"id":"Q911753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c78193356d57a39d9e647d071d0afb1f7637b32","datavalue":{"value":{"amount":"+0.6451295614242554","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":"Q5716892$AB0E8B6D-6A85-4C0F-8C90-4DBF8BBFEC91","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5716892","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5716892"}}}}}