{"entities":{"Q5716893":{"pageid":7746447,"ns":120,"title":"Item:Q5716893","lastrevid":48627994,"modified":"2026-01-05T10:44:33Z","type":"item","id":"Q5716893","labels":{"en":{"language":"en","value":"FM 2005: Formal Methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2245860"}},"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":"Q5716893$7AEFE00F-816C-4CFA-81A5-4B42366BEE52","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":"Q5716893$8279DECD-F4F5-4915-AA03-D3C2D0040DA9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4664519d10a7c3a9f846d416840d37d793e62480","datavalue":{"value":"1120.68422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716893$35F780FA-61D2-44CC-B800-E8B33AA8B0FF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a29a8668613ef6f9130a40b44c1110c148f42ec0","datavalue":{"value":{"entity-type":"item","numeric-id":488229,"id":"Q488229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716893$DE6DAA31-B965-4166-B082-2588A8C0FCF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c058afea036303a407f9ed86b611b84df43ce2d6","datavalue":{"value":{"entity-type":"item","numeric-id":488230,"id":"Q488230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716893$3ACF2F5D-6A7C-4A92-A51D-08DAF81A9D5C","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":"Q5716893$25A43569-C215-42D6-BFF1-8EDB5B55F4FE","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":"Q5716893$CB9A1CC9-BCCB-4A9D-ADE1-B156507BCC07","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716893$95694F49-FD7C-425A-93FB-E1ED15B413D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d972cfd162dbb00d38a723e1c1fc9983645d03e2","datavalue":{"value":"2245860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716893$312119BE-527E-4B76-9FA6-177C71F90A59","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86b379c0f6f69430ce442e7bec40150684ad1f5c","datavalue":{"value":"LSC","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716893$30A8DDB0-77E5-4B2C-88DC-DAB87A39A58F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716893$7FB7DD2B-A20E-42B8-A39E-D8D555ADFDBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"707679c621b02045e9cb1d7d25f2fe2bdebc62bd","datavalue":{"value":"Synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716893$C145262C-6D96-496E-A4A9-7B3D6D6A6B1F","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":"Q5716893$832750A0-7E49-4048-8BD6-0719C5B8CD38","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":"Q5716893$BD0FFBBE-828D-40FB-931D-999191C0C60E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b55f052cb6c18c24f5f203508a475311220b949c","datavalue":{"value":"W1497681073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716893$807645A2-B1D2-4AD5-80B8-FBF6E8859379","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eaa007e633ec1708432ed373ff88263c1941e73c","datavalue":{"value":"10.1007/B27882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716893$7EAFA9D2-D27F-4153-809D-1700F68C7952","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea74535319b63e8d750c03e887392abc9185e031","datavalue":{"value":{"entity-type":"item","numeric-id":3021937,"id":"Q3021937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46ead78c018f018920c546f143e94922c516c701","datavalue":{"value":{"amount":"+0.8066715002059937","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":"Q5716893$4B3BBA17-C2BD-48A8-9003-BB80E064FB24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f57dc1eaf6107bfdf741b85b9243aa169ec6cab7","datavalue":{"value":{"entity-type":"item","numeric-id":4540954,"id":"Q4540954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a71a29cd16071cfbeda988d9bbeac0b8912adb88","datavalue":{"value":{"amount":"+0.8062301278114319","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":"Q5716893$8D220C67-EE01-437D-A0A8-CE59986ABBAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d594d23cb5d02b6cfd0add61ef49147081787c7c","datavalue":{"value":{"entity-type":"item","numeric-id":439960,"id":"Q439960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c21227efa325ba85182911216dcb3a7a2e22d42","datavalue":{"value":{"amount":"+0.7799668312072754","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":"Q5716893$0D5C4E08-0577-4599-B0EA-FC18F93F47B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"185267be574c1a2d16d9e0f3da78d13eb6ed647b","datavalue":{"value":{"entity-type":"item","numeric-id":5710415,"id":"Q5710415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d1ea4100c829edf440d9c6fc70987b9c4b9a2ef","datavalue":{"value":{"amount":"+0.7501150965690613","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":"Q5716893$558E12C7-1F77-43A1-AD5F-4B1DF6B78275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62176f7e0580404596e6ee5712d5447f7c6a0255","datavalue":{"value":{"entity-type":"item","numeric-id":5179203,"id":"Q5179203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"742dad03b3d2dfb7fbcbdc192b5c7bb5eeb4c7f4","datavalue":{"value":{"amount":"+0.7379266619682312","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":"Q5716893$E8A3AD66-7EAF-4AAA-9732-6BAACB4901B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5716893","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5716893"}}}}}