{"entities":{"Q5716891":{"pageid":7746445,"ns":120,"title":"Item:Q5716891","lastrevid":48627988,"modified":"2026-01-05T10:44:33Z","type":"item","id":"Q5716891","labels":{"en":{"language":"en","value":"FM 2005: Formal Methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2245858"}},"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":"Q5716891$55A37BA1-AF53-4A5C-A8F0-8EE2F289DDD2","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":"Q5716891$DD7C3E6A-4765-4E2A-BF52-885C3B3518EA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fecf349b70fe396a49cf8bb11551467e00c3e46e","datavalue":{"value":"1120.68406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716891$EEC005E5-04FA-4A07-A640-7C3974FF296A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"647a97c372a5d4c8dcce8ebf8c15a7dcfc380752","datavalue":{"value":{"entity-type":"item","numeric-id":470017,"id":"Q470017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716891$8D9D806C-19DF-4863-ACEA-97DBC12670E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87e2ff9fbddb683ab4811b0858d92fa54dca91a7","datavalue":{"value":{"entity-type":"item","numeric-id":997236,"id":"Q997236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716891$52099135-970C-4393-B4D6-7428045665D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba0923efd7d04111f44afb83029b95ab62c8fb32","datavalue":{"value":{"entity-type":"item","numeric-id":649586,"id":"Q649586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716891$2703FE55-2E9E-4955-BFE2-6A1C2E161C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fa9ebf2704b0b5e819d28e6b0a71fa6957a8f06","datavalue":{"value":{"entity-type":"item","numeric-id":933422,"id":"Q933422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716891$ECCCD768-3485-47F5-9F92-01504FDEDBE2","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":"Q5716891$6AF1517C-8226-4520-9330-87681ADF38E3","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":"Q5716891$4C06E134-AE23-4CD8-A281-EAA43F15E073","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716891$210E067D-BE48-4034-AE94-292060FB7B2D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c93afbb3706d2f02cabd4c8bbf243aa3c5c3a29","datavalue":{"value":"2245858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716891$816AD935-C82A-46A1-8762-81C8CDC2A2B1","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":"Q5716891$CDA9A454-1241-4B08-9223-EFD405A8EA06","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":"Q5716891$7D328A90-8009-4055-A1B1-408AA0CA2685","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b55f052cb6c18c24f5f203508a475311220b949c","datavalue":{"value":"W1497681073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716891$FBB0B3E7-A7BF-4A16-B7E6-AC29E38A4A24","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eaa007e633ec1708432ed373ff88263c1941e73c","datavalue":{"value":"10.1007/B27882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716891$3800383B-1F4E-4E66-9F31-08A6B5CB0F5B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44f1a0cf930630880e661a82848931b605628f64","datavalue":{"value":{"entity-type":"item","numeric-id":5294156,"id":"Q5294156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00ca60fb20bfcb44018fa17aaf208920e3cb9845","datavalue":{"value":{"amount":"+0.8506587147712708","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":"Q5716891$1B41DE6D-74B2-4B55-8D6A-C6C8A1AFF7E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d5cf12de22936835caa05789e31ca1906cb3f69","datavalue":{"value":{"entity-type":"item","numeric-id":997238,"id":"Q997238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ba3971ae01ccb1b9085baa45836f58f9def7282","datavalue":{"value":{"amount":"+0.7815582156181335","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":"Q5716891$A89F9D53-B90E-47A0-8986-AC46E3EE35E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"789087a9911345ef995db6ed4a5a8089a83652eb","datavalue":{"value":{"entity-type":"item","numeric-id":5740620,"id":"Q5740620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75d6475afd601dd67c76d898f5bada5765ef24ca","datavalue":{"value":{"amount":"+0.7258821725845337","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":"Q5716891$86F692E5-38EC-4943-9E63-0F59D954C6FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9711f31f60a375f78ce514ac85e85e6989641b4","datavalue":{"value":{"entity-type":"item","numeric-id":3525137,"id":"Q3525137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"373a3859bc57ffaad8047591d9cdfb4496653f82","datavalue":{"value":{"amount":"+0.7256537079811096","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":"Q5716891$0A959706-252A-43C8-B268-C0C3310E14BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2f2a497eb4f41339c3c54ffd038d8fd3ad67f03","datavalue":{"value":{"entity-type":"item","numeric-id":4494260,"id":"Q4494260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d04a0d152feb41bfb164b8ecbe64854f7580d088","datavalue":{"value":{"amount":"+0.7037234902381897","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":"Q5716891$EBD591C9-3BB4-4866-B6F4-F5119478EAFE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5716891","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5716891"}}}}}