{"entities":{"Q5492984":{"pageid":7522544,"ns":120,"title":"Item:Q5492984","lastrevid":40753004,"modified":"2025-04-04T14:05:17Z","type":"item","id":"Q5492984","labels":{"en":{"language":"en","value":"Formal Methods in Computer-Aided Design"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5065505"}},"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":"Q5492984$AF37559C-33E3-43C0-95FB-D09D83CA8141","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e2a2e92ce19499faa39ac8a769f21f01ebf8f67","datavalue":{"value":{"text":"Formal Methods in Computer-Aided Design","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5492984$F63B014A-7493-4D9A-8F4C-EE6E31A76E9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d904292c7b72daee6a4a88ac3897d8b18d98f120","datavalue":{"value":"1117.68424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492984$C4FE3461-2620-413A-98DE-BE79F6688044","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"387e6ac60ed3a0144bb303179c23c53493d401d0","datavalue":{"value":{"entity-type":"item","numeric-id":329418,"id":"Q329418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5492984$905DB660-6C25-4FDB-A709-9BA3EE7EF8B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d7fa45906cb357c6ff423972530aeccc52e2dcc","datavalue":{"value":{"entity-type":"item","numeric-id":329421,"id":"Q329421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5492984$82927A6D-3C6A-4FEB-A15D-60C35BC3589A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eea7ba02ba8f253abb4f4e9c8bf03b50404902f7","datavalue":{"value":{"entity-type":"item","numeric-id":2849597,"id":"Q2849597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5492984$7455C419-D0CE-48E3-94CE-79514461837E","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":"Q5492984$C634EC7D-253D-49A3-A3FE-85A62209E50B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"04d8047ef91e7ccd7af1b39494c1aad77dacfac1","datavalue":{"value":{"time":"+2006-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5492984$D19E3C4D-2567-4667-BD69-BFE5A572D0A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492984$959C2266-B1CB-4B70-8F50-7DE2DE90A851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492984$C9D9B374-931F-41E2-8475-D366E0FE67E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b78621f19aac90cc489bf4a57518d135cadf7bb","datavalue":{"value":"5065505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492984$61987E28-4922-4ED9-BF7B-E19078D6AB8F","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":"Q5492984$10C2150E-E2FB-44E1-8748-86E025D92164","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0aea322dceddd18be57cc0b8c5ff74539b05d2f8","datavalue":{"value":"https://doi.org/10.1007/b102264","type":"string"},"datatype":"url"},"type":"statement","id":"Q5492984$C08487AD-B1A2-41DB-8A58-A8165E81C8DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"541267cf8ad04357cd91ba63896e7b9b0796c6e2","datavalue":{"value":"W4229585471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492984$F2F28DBF-8181-416E-A83F-8F6AA1CE0BBE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ddf10ec47407bad7b4f0a200cbaf29899b0fcd7","datavalue":{"value":"10.1007/B102264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492984$43388C1A-5BA0-48AC-809E-A3B3213ABEB9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c7fcafc978887724a703456a7cb4823f9823f8d","datavalue":{"value":{"entity-type":"item","numeric-id":4417910,"id":"Q4417910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7e5913eda7c225e0fde8b2919de05ce5dd577de","datavalue":{"value":{"amount":"+0.95765686","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5492984$902659CE-215B-45B5-A652-1B19B40ACE87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b539152de02dfc453d861a16f527f0a1d623779f","datavalue":{"value":{"entity-type":"item","numeric-id":3587425,"id":"Q3587425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aac08d6034e8972c4adfa95b16c0dae6df4b5745","datavalue":{"value":{"amount":"+0.8949163","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5492984$E8C7B3F6-BB1F-489D-9595-045DEF5780E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f0de75336455743d7ad54fbc8ce3c3a9bceade7","datavalue":{"value":{"entity-type":"item","numeric-id":4815032,"id":"Q4815032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1999ac79096f384599fff5b7600553a2392bf5f6","datavalue":{"value":{"amount":"+0.89368767","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5492984$DABF6501-975C-4DD4-9D63-DDDB50230811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e42d233ab25d7b57820914fd6730a09f3ac950f","datavalue":{"value":{"entity-type":"item","numeric-id":5711503,"id":"Q5711503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e13e26b3d2eb71bcbe453ccfce0d9c050bdac838","datavalue":{"value":{"amount":"+0.89268035","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5492984$A528ACCB-95EC-4756-8604-29F3DB44FECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03ad0d77aa2ff75e4f234583be0d095382d6df8b","datavalue":{"value":{"entity-type":"item","numeric-id":3184695,"id":"Q3184695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"117bd67786bb3c660692347390047791be521d5d","datavalue":{"value":{"amount":"+0.884103","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5492984$6CCAF851-A5F2-4E02-9D34-AC3105FA3BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e73c92afb6227210f735138699b2d9861918a158","datavalue":{"value":{"entity-type":"item","numeric-id":3159405,"id":"Q3159405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01d419dcf965457b6fffac4b6b4c027d1c954e4a","datavalue":{"value":{"amount":"+0.8804791","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5492984$6AC74A4B-5D9B-4FCD-89AB-8175656523C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67f436796ae869c7866cb24a7b8262c489995b6e","datavalue":{"value":{"entity-type":"item","numeric-id":5492980,"id":"Q5492980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b2b4d7475408e005a569f65ceec254fb7b4bb65","datavalue":{"value":{"amount":"+0.8773972","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5492984$8E46B0E7-165C-45DD-B06D-CF973B87CB68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32fd399e74ab009038c86b9b88f645441530ce92","datavalue":{"value":{"entity-type":"item","numeric-id":4422082,"id":"Q4422082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"238f31ae3ecf6017d60b18035253f23f4ba70434","datavalue":{"value":{"amount":"+0.87380517","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5492984$1C6E03BC-7F7A-4F3A-9FAF-FA863E3307AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5492984","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5492984"}}}}}