{"entities":{"Q5716876":{"pageid":7746430,"ns":120,"title":"Item:Q5716876","lastrevid":48628456,"modified":"2026-01-05T10:44:44Z","type":"item","id":"Q5716876","labels":{"en":{"language":"en","value":"FM 2005: Formal Methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2245845"}},"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":"Q5716876$3D526329-3BDE-483C-8C27-DDF4E93FF9FA","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":"Q5716876$0D27671B-693B-4F53-9758-977699F939D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c9a597a4f4918d166de281902e203350034e371","datavalue":{"value":"1120.68420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716876$210733F2-4DE3-4D3F-85BE-4D431C301127","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e6276f2b5f5afd85d3b3b6bb8e4fd8cf82500e8","datavalue":{"value":{"entity-type":"item","numeric-id":493520,"id":"Q493520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716876$31CECFA8-B7D8-4206-BD8F-FD99BE0281A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35f8ef2e44345b44d5df789c93a6d744e54eb86f","datavalue":{"value":{"entity-type":"item","numeric-id":487255,"id":"Q487255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716876$495E5E5B-DBAA-4881-9DA6-4E64B7ACFB69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"757bae5b07e6aa09beae0ab8d19b245da3ff0837","datavalue":{"value":{"entity-type":"item","numeric-id":378901,"id":"Q378901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716876$2B832DF8-1727-4532-AB1A-8C039432B9F8","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":"Q5716876$B8360BFC-A32A-4098-B53A-A8A2FDF8578E","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":"Q5716876$0D528CC7-EB79-4475-92E2-18D2206068CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716876$C7C8991D-4881-4C41-A4C4-2253F598B51D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8de1c744c4b26ceb78c1b9b807f6b6ea98ebc4ca","datavalue":{"value":"2245845","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716876$5A1F7CFD-C867-4A03-B695-DC5E974EA010","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716876$D17046AE-1DCC-4F21-874F-D50218EB5D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6cd096fbe51368a7529e7609cb813ad3c29a70e","datavalue":{"value":"conformance testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716876$F763468F-0E04-4D39-9851-86CC1E463104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee213a1da38ed87ce620598c5074033380e59b08","datavalue":{"value":"symbolic test generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716876$8412EFDB-0641-40B6-B034-706A9422C83C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"522ac9e16af5942f46389f39bdaa8bc8aa2b0c9b","datavalue":{"value":{"entity-type":"item","numeric-id":19319,"id":"Q19319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716876$0E09BF91-9449-4693-9A63-1D2B1204D5BE","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":"Q5716876$AD706AA9-4B8D-4E49-B258-B09EECB961E2","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":"Q5716876$0C6471F1-B3A2-42B0-8646-348F6E78393C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b55f052cb6c18c24f5f203508a475311220b949c","datavalue":{"value":"W1497681073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716876$53884CC5-EF77-4EA7-A2F7-8A67DF24B47F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eaa007e633ec1708432ed373ff88263c1941e73c","datavalue":{"value":"10.1007/B27882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716876$57C351B8-C91F-4C5A-A575-2CE4A82E85DD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b17f0ba7b077b303fc84a00df3777974c472bd09","datavalue":{"value":{"entity-type":"item","numeric-id":1395897,"id":"Q1395897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86f13bf8c4febf48276b23ba2a973cac6020f7c1","datavalue":{"value":{"amount":"+0.7389771938323975","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":"Q5716876$FAA89897-198B-44DC-BA8E-E05E16E08269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"024cbed37b7fde1e1dac412cf215393e649fe204","datavalue":{"value":{"entity-type":"item","numeric-id":1407321,"id":"Q1407321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83adeb66216ba4ab3c6b847e06b91a403e56605a","datavalue":{"value":{"amount":"+0.7357262372970581","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":"Q5716876$A89C507E-B250-4164-AFEB-9B312DE8D035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57f634bc39465903755661e105a986e5cb8d6c38","datavalue":{"value":{"entity-type":"item","numeric-id":2988994,"id":"Q2988994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5b38b21c7d5580603f2caa0ce5a0dd70a43bd79","datavalue":{"value":{"amount":"+0.7342445254325867","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":"Q5716876$CB7060C6-833E-41B7-AE89-D640E00C1101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb2bd13c31b19ad8a60bc95c25f118d787063095","datavalue":{"value":{"entity-type":"item","numeric-id":2870321,"id":"Q2870321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4300cdb450ccfe854806ebfa8939ab46e5c45904","datavalue":{"value":{"amount":"+0.7300229668617249","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":"Q5716876$C08B4AD6-BEC3-4285-9D50-B94DBC9D7600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8fd033c58c1ea945955c6b87cc71244725eab62","datavalue":{"value":{"entity-type":"item","numeric-id":3525109,"id":"Q3525109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca2bbba32df6678139a1831ce7413687dee66ce3","datavalue":{"value":{"amount":"+0.7299628853797913","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":"Q5716876$E571E8C9-7C9B-440C-861C-511BA580DA55","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5716876","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5716876"}}}}}