{"entities":{"Q5716898":{"pageid":7746452,"ns":120,"title":"Item:Q5716898","lastrevid":48628024,"modified":"2026-01-05T10:44:34Z","type":"item","id":"Q5716898","labels":{"en":{"language":"en","value":"FM 2005: Formal Methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2245865"}},"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":"Q5716898$62E701CA-F047-4FEC-9D93-1D7F02B00F2F","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":"Q5716898$4ED067ED-98E3-4983-BE96-AE3BD0773E42","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1dec0d18c7337cf3854415a00334a929a6f4d47e","datavalue":{"value":"1120.68414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716898$3732E9BC-6F8A-4234-8F63-26B51D2D2874","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db903008d5ee39538aa38bf45d7c449d7149af42","datavalue":{"value":{"entity-type":"item","numeric-id":763237,"id":"Q763237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716898$898BB762-D47B-46AC-A6CC-EC88D6591EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90bbe2ee818852467359700b37d2788503a24def","datavalue":{"value":{"entity-type":"item","numeric-id":1312994,"id":"Q1312994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716898$A72AB77A-7CB3-46AF-9AC0-9B84B467B6B8","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":"Q5716898$344B5B73-7165-4695-8A1E-4BC23A3DC545","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":"Q5716898$0379E9B5-3525-47E6-9B7C-2D0F7990C1AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716898$E5AA2549-3A47-438F-8F8C-A6ADC9CB96B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716898$DEF06335-D0C7-49A4-AC7C-8E97AB03CF84","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1287da41f02d7c0b9a667e9abac087bb44928c65","datavalue":{"value":"2245865","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716898$9315AFDC-7C8C-44DB-A3F4-28034A903BA4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8faac0434f1a329dd2af9bd27e27c135329e71e","datavalue":{"value":"Promela/Spin","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716898$CA989C0C-2B89-4954-B5FA-B27E8C119777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb7f40314fbf84fac7d4dd7329f9ded95a0b46a0","datavalue":{"value":"symmetry reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716898$0ED45F63-0F8A-4468-870E-0FB64F96292D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716898$35F8A23A-7D34-4BBF-B461-A675C1D950C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb30f6fb39388d1fb612150f5e69372740c7cc58","datavalue":{"value":"communicating processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716898$08BFFA7D-9E99-476F-866D-0BD0D768EA91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82d9744537c8929843a9f698e900cd31ff81587","datavalue":{"value":"distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716898$B37A78FA-9EA5-4806-A747-E3E134793F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e28762f875f40447c5e36ab08960435f5b3bcc4f","datavalue":{"value":"formal modelling","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716898$F3D6B258-B84A-4A4F-A242-FE8713067E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61837a336007503fcb2fdb3680338cd40161d053","datavalue":{"value":"Gap","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716898$B48689F0-4646-4EAA-ACC7-4F7F8C4ADE43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716898$EDD10C68-2F9E-409A-92EB-021E9517F03C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2415471ff41202a6c9259e793d0833a0591be108","datavalue":{"value":{"entity-type":"item","numeric-id":19544,"id":"Q19544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716898$3EC95794-78D7-4A7C-B658-C756D59CC575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716898$146A52BD-60C0-41CE-BF0E-CA4D899BC109","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":"Q5716898$C0DCD7C4-E397-49AB-8169-9616C853A02B","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":"Q5716898$D31BD9D7-44F1-4186-B48A-58375EBE1B88","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b55f052cb6c18c24f5f203508a475311220b949c","datavalue":{"value":"W1497681073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716898$4B55696B-06CE-4AEE-900A-37F18163C8FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eaa007e633ec1708432ed373ff88263c1941e73c","datavalue":{"value":"10.1007/B27882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716898$624BE0CF-C0C4-4B36-98BE-C78A970BA671","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a26564d651ef97a9e19f6e17245b80fbf9e739aa","datavalue":{"value":{"entity-type":"item","numeric-id":1040774,"id":"Q1040774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99f6c9b690cc3f0e006ea093ab1921c0d5603912","datavalue":{"value":{"amount":"+0.8717344999313354","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":"Q5716898$F8A3FCB7-CF9C-4E5B-A39F-8A15C640BF6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45915474b0c9de0a2bb8e0e0a0ea58e75dc8d092","datavalue":{"value":{"entity-type":"item","numeric-id":2848420,"id":"Q2848420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76009e6f71a195bafd692d4ac7f31f00c2abfcd4","datavalue":{"value":{"amount":"+0.8096646666526794","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":"Q5716898$DB71E04D-05FA-4855-BEEA-328D5A130094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18aeafa27aac40543b23aa43af6700816160bd3f","datavalue":{"value":{"entity-type":"item","numeric-id":2851072,"id":"Q2851072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee9707fa84b3730f567fa6bceb8a8fca4a8de05e","datavalue":{"value":{"amount":"+0.7901244163513184","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":"Q5716898$3297F72A-2E32-4634-A3C0-E45752397741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60100f1a3fb27d799df07f736797f7c70bc32adc","datavalue":{"value":{"entity-type":"item","numeric-id":4494389,"id":"Q4494389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbf9d440659e11756b0a6b1b03a0ca14903b9fe9","datavalue":{"value":{"amount":"+0.7868810296058655","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":"Q5716898$60F9FDA6-FF0E-4520-AA08-058C3273B244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2977f68ba2d42e3b1fb53b07c75d8609e108a87","datavalue":{"value":{"entity-type":"item","numeric-id":4414377,"id":"Q4414377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbf9d440659e11756b0a6b1b03a0ca14903b9fe9","datavalue":{"value":{"amount":"+0.7868810296058655","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":"Q5716898$D5B5AEB1-B4EC-4EDB-B69F-05619FB8861E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5716898","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5716898"}}}}}