{"entities":{"Q5716871":{"pageid":7746425,"ns":120,"title":"Item:Q5716871","lastrevid":48628447,"modified":"2026-01-05T10:44:44Z","type":"item","id":"Q5716871","labels":{"en":{"language":"en","value":"FM 2005: Formal Methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2245842"}},"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":"Q5716871$9F04F35D-C80D-435E-BAB5-C51C63EA0226","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":"Q5716871$8B2687A5-5A51-46B0-A70F-7E80F49396B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b034b6e6af8eba5ac131237fe13fd3735b2cca64","datavalue":{"value":"1120.68413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716871$D6422AA7-AA6D-438C-BFB4-93932BFCF146","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b25b732b7b492db515136b3ad5294eee86a947a7","datavalue":{"value":{"entity-type":"item","numeric-id":1028727,"id":"Q1028727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716871$3BFD6DD5-2CAB-4B3A-A9AA-02E10759B6FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2b65dbd282c1f97bc4cab6e67d32bfc907f46f5","datavalue":{"value":{"entity-type":"item","numeric-id":528192,"id":"Q528192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716871$6CF72406-A5C1-41B4-84B6-12B34A1241AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e2331a2eb35d5eca04fd9de57145000766bcc82","datavalue":{"value":{"entity-type":"item","numeric-id":453497,"id":"Q453497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716871$FA701313-CDC9-4AF6-B2C4-C30483E6F717","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":"Q5716871$2BFCDD99-63CC-48FD-A9DE-FCD1D93826F7","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":"Q5716871$03A3B284-8071-4D1F-B10E-9D0E54618AB7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716871$3F3A56CD-C445-4745-9F98-BCD59CC4C796","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b807699f67c33f04da48476a9781485990751519","datavalue":{"value":"2245842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716871$00B1B91A-8A7A-4F09-9623-E22360B3F255","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716871$52DA463D-FE70-4517-90BC-EED7BB1FDEB7","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":"Q5716871$A3B71418-4B10-4FC2-8C02-00B3D44AED88","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":"Q5716871$BA55DC8F-DA55-45A8-B393-7E071F28A0FF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b55f052cb6c18c24f5f203508a475311220b949c","datavalue":{"value":"W1497681073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716871$CDDEFC32-7DC3-4CE4-AB25-CC8635E407FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eaa007e633ec1708432ed373ff88263c1941e73c","datavalue":{"value":"10.1007/B27882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716871$31064FC9-44F3-4469-9BC0-8F472F535835","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34bd6c9badcd61be54f59705518bdbef65fed3bb","datavalue":{"value":{"entity-type":"item","numeric-id":5307930,"id":"Q5307930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f779b6ec7cdd5dd86717cc526d81692852b9868e","datavalue":{"value":{"amount":"+0.8642849326133728","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":"Q5716871$B2514458-7364-41D2-8020-28E1F39ED074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eb4e31ab14c7aa2ac86399f633b2e2bc1aaf76b","datavalue":{"value":{"entity-type":"item","numeric-id":2576589,"id":"Q2576589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e799fcc32d0813f3eac2ff3b0fd4b8783a1dfbab","datavalue":{"value":{"amount":"+0.8577055931091309","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":"Q5716871$95B7ED76-3F55-464D-91C4-41F8D8AA08A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e6b3de4c8f25fb5fa76a90e63f05e78ab8d0fe6","datavalue":{"value":{"entity-type":"item","numeric-id":5464742,"id":"Q5464742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c2114ef1fc7f2a24e1f9faa2b88d50e7c226635","datavalue":{"value":{"amount":"+0.7905563116073608","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":"Q5716871$8128C0D5-2E27-451E-BB4D-F97F68FEED31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5063c2cff4f23dcad2a7c274079878aaa025c7ba","datavalue":{"value":{"entity-type":"item","numeric-id":4654724,"id":"Q4654724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e42c78e6ff8735455d410588cadc63bd58df11b","datavalue":{"value":{"amount":"+0.7860231995582581","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":"Q5716871$E810AD58-EC84-4495-AAB6-6F3FD0F31983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78f903c767a02c6b41637827536cc567d48cab0f","datavalue":{"value":{"entity-type":"item","numeric-id":2843865,"id":"Q2843865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09fa0d43441eedd03e833b44c93b6294025b56c5","datavalue":{"value":{"amount":"+0.7620535492897034","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":"Q5716871$2B85CB26-2D8B-4B6C-8355-EF932C78EECC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5716871","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5716871"}}}}}