{"entities":{"Q5716880":{"pageid":7746434,"ns":120,"title":"Item:Q5716880","lastrevid":48628468,"modified":"2026-01-05T10:44:45Z","type":"item","id":"Q5716880","labels":{"en":{"language":"en","value":"FM 2005: Formal Methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2245849"}},"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":"Q5716880$5BAB95EA-5EA1-4A51-AB9A-318F5BF9E1CD","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":"Q5716880$F8C64E37-EF2E-4963-B424-43EF5065A028","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"81b33be6082c8f974cf287720a5f74aad552788f","datavalue":{"value":"1120.68412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716880$BA46327D-FFA7-4F8A-9683-6A6E7B173DF2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f27d31a7277a70c7762a067d64f6707ee9b1ea6","datavalue":{"value":{"entity-type":"item","numeric-id":315300,"id":"Q315300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716880$8A45BBA5-9FDC-4945-A856-DCF18C23711C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78177c2bf4eb3433e6becad8272a2eb39aebeb28","datavalue":{"value":{"entity-type":"item","numeric-id":640294,"id":"Q640294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716880$C6B2AD6A-1FB9-449A-A5B0-7F41798310C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"705b7c4158ecfdcbf8790ac5199e3195017ae835","datavalue":{"value":{"entity-type":"item","numeric-id":640295,"id":"Q640295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716880$E13B987F-B145-48D7-A336-69FE62667B51","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":"Q5716880$C7CB4B41-CDB5-4FA3-A5C5-5C4A8E36FF4C","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":"Q5716880$3AA9C149-8F6D-421A-8141-5BEDA3CCA7D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716880$B0F113FE-D91A-4E10-8808-C8A649A9079D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"197c4d2f478e16d1146784a8ca7894439a66fbd9","datavalue":{"value":"2245849","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716880$74352D26-6028-4FCA-ACE5-18D473CD2E08","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30fafc44265dfa91ca2c1422c4fc2ccc0afa28bf","datavalue":{"value":"Z","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716880$64E635E7-278D-4035-B24C-DB8A20447211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716880$7249681D-B7BA-4BA7-8477-4CE7BDAF5032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29190c9bc7b278ccf8af996a8916ca328d37ae47","datavalue":{"value":"Simulink","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716880$5B70EA87-C892-4ACB-8455-FA1A116BE03C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716880$4F08930A-D721-45BE-AB1C-AB41545FE165","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"02d32efa4caa2abb72a4e6348351cc4a9bcbccbb","datavalue":{"value":{"entity-type":"item","numeric-id":16527,"id":"Q16527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716880$49866D93-05BC-49C7-A433-43C5F8B94A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ccc062e2d311aa84366365333d09c3a4e32b41bc","datavalue":{"value":{"entity-type":"item","numeric-id":20934,"id":"Q20934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716880$3B252643-001B-41B7-9E6B-2A881EEA7D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"50f64be83cd865b14d65168a98dcda7f24e44b9b","datavalue":{"value":{"entity-type":"item","numeric-id":33627,"id":"Q33627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716880$73384123-CB06-4D54-805B-FC469B938B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9189048b3936abda7e80b02cf829681849623735","datavalue":{"value":{"entity-type":"item","numeric-id":33628,"id":"Q33628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716880$6A78E0BD-84F9-444B-882B-8F2D07B9DD1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d35d778fc1b80756177ab82e8bc9e25b1533e10b","datavalue":{"value":{"entity-type":"item","numeric-id":18468,"id":"Q18468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716880$5EA905B2-3114-4498-9479-43FD9EA007B0","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":"Q5716880$633BCAC7-F834-42FF-815A-FD14135751CB","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":"Q5716880$AD0BFCA5-636E-4E9E-96C4-33F8A483D152","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b55f052cb6c18c24f5f203508a475311220b949c","datavalue":{"value":"W1497681073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716880$77B0A5B5-14F9-440D-A14F-BBE42A9870F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eaa007e633ec1708432ed373ff88263c1941e73c","datavalue":{"value":"10.1007/B27882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716880$568CC175-F2C0-472C-9F27-F33CF7EB896F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d8bd1a97c5fb48de61002e1eb9dba32fbeedc38","datavalue":{"value":{"entity-type":"item","numeric-id":640296,"id":"Q640296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b1a656b84dbdfeca035085012d29fc5ad131ab0","datavalue":{"value":{"amount":"+0.9033316373825072","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":"Q5716880$055B6CB9-6835-486A-B302-00E791404B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"001c7df16aa3241b856d84c17fbc912216777584","datavalue":{"value":{"entity-type":"item","numeric-id":5179350,"id":"Q5179350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b42b0c5daae5e9947fbadab75581a678c8eeb33","datavalue":{"value":{"amount":"+0.8551251292228699","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":"Q5716880$856F87A5-1D66-41EB-ADE2-C79CCA42BB61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"624951c163b7ff6aa5c3b4c96bc35b8e36777ec0","datavalue":{"value":{"entity-type":"item","numeric-id":436420,"id":"Q436420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1631c64295b7ab8edae2b850eb9084d8a06c03cb","datavalue":{"value":{"amount":"+0.7799355983734131","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":"Q5716880$09AFBB15-17B6-4DD5-9C39-671FE21900B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4941665f44be54c93e6efcc5e5f6593d9497a955","datavalue":{"value":{"entity-type":"item","numeric-id":2842628,"id":"Q2842628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d01e82ced8b5fd1ffdc92028e1d447aed9019ff","datavalue":{"value":{"amount":"+0.7444077730178833","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":"Q5716880$7D094BAE-3E8B-4044-9DD4-8639DF66615A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9a3a7bd6f648ff266352564b47deffbfbb84804","datavalue":{"value":{"entity-type":"item","numeric-id":2999326,"id":"Q2999326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f2f012c4d0ff8c0cda33fb0fb4aae444e683aef","datavalue":{"value":{"amount":"+0.7273150086402893","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":"Q5716880$F7ACCDF7-272C-49A3-9B51-87261AF22BF9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5716880","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5716880"}}}}}