{"entities":{"Q5492974":{"pageid":7522534,"ns":120,"title":"Item:Q5492974","lastrevid":92478380,"modified":"2026-06-05T01:48:44Z","type":"item","id":"Q5492974","labels":{"en":{"language":"en","value":"Formal Methods in Computer-Aided Design"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5065497"}},"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":"Q5492974$E1529905-DF42-4214-87E7-A937A15FF76B","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":"Q5492974$3BACEC8C-B434-44C9-942A-6486B96ED0CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2c46b16f5a7af08ca0e13498bdcd9e49a3ee314","datavalue":{"value":"1117.68302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492974$0EDD2D8A-D0E7-4629-931E-B2C9B20AFE9D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8866523a27b858f687a5d30b9ba36fe98347ad55","datavalue":{"value":{"entity-type":"item","numeric-id":2763990,"id":"Q2763990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5492974$B482146C-2D1A-4B9B-8389-2A54D3ECCD4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b8ec1468d428238f8d4531c8e2ef03fc061c69d","datavalue":{"value":{"entity-type":"item","numeric-id":453538,"id":"Q453538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5492974$6F7B71FE-D867-48DF-AAF1-394DD65DA424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f8cf3dcbdf2d1e087ded5ff30fae209d205dd99","datavalue":{"value":{"entity-type":"item","numeric-id":453525,"id":"Q453525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5492974$4572FDEA-8856-4719-85DF-D9C552324F96","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":"Q5492974$F09C7F92-5B4B-4A49-80AD-1041FB2B849D","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":"Q5492974$B529CED2-C3AD-419D-98A0-150A4859A318","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492974$DC6D393B-98DE-402A-A390-C8C534EBD136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ba0db88ec1d9208c9b2d78c4b1e523872c7ec39","datavalue":{"value":"68U07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492974$7D5303A5-20A8-4C87-8853-8A3F444CF1DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492974$D8A24D7C-788D-4DDB-80D6-B1AF41293481","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23bcc87dde0ebcc265fe0681dffd3085edfc6b29","datavalue":{"value":"5065497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492974$C629F135-6E1E-4D50-BE9A-E2F3C3B9D9E3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70849c7de8b1fba6771cc05a0e9adf71b0d9785e","datavalue":{"value":{"entity-type":"item","numeric-id":31835,"id":"Q31835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5492974$FA9FC8A2-E4AC-4924-A5CC-BAE144C75C8C","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":"Q5492974$67F646E2-DDB7-410D-A8D2-4A3BFEA1A2E4","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":"Q5492974$2A52AE98-AFE3-4A25-A470-C3FDEB0109A9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"541267cf8ad04357cd91ba63896e7b9b0796c6e2","datavalue":{"value":"W4229585471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492974$ED847037-7ED4-422B-BE2C-BA665B56E158","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ddf10ec47407bad7b4f0a200cbaf29899b0fcd7","datavalue":{"value":"10.1007/B102264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492974$158D09EC-8216-445D-AFDA-74483E4FB1F4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"968507196588a178588293012aaea1798461a4dd","datavalue":{"value":{"entity-type":"item","numeric-id":4813394,"id":"Q4813394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99e3c845287537013cbb9d63e1b17cd2d9ef84c6","datavalue":{"value":{"amount":"+0.6427668333053589","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":"Q5492974$8C81C156-970F-48B2-AE2D-78DCCF4485D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"326e734cc69d02107e54402f2ae5376533023e7e","datavalue":{"value":{"entity-type":"item","numeric-id":4787220,"id":"Q4787220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6815118b070fbeef01362a2cb011b8e574cd24bb","datavalue":{"value":{"amount":"+0.6407878398895264","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":"Q5492974$425C4221-B476-4F69-9AD7-14E8D163646F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1bec0afb1216dd25235cae28b4e461c65f1b6e2","datavalue":{"value":{"entity-type":"item","numeric-id":4397085,"id":"Q4397085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e1917eb593eb059c3eef5b45a60537760792c2f","datavalue":{"value":{"amount":"+0.6389663815498352","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":"Q5492974$93E445A8-03C6-46FD-9AD7-73A386DB5DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe6a0fc09082be7dd7c0908e5f84f3cc1cbaa176","datavalue":{"value":{"entity-type":"item","numeric-id":1196296,"id":"Q1196296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c0073da469a2eba501a60c02bbc9c9542a8474e","datavalue":{"value":{"amount":"+0.6313381791114807","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":"Q5492974$D42EFE38-A422-4AC1-A35C-6D080BE2DB40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f599a6350fb74f17319c2ef94cce2c9e5c9fec20","datavalue":{"value":{"entity-type":"item","numeric-id":920937,"id":"Q920937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba4159aa9579a9b97e08a204f145001f33b0fce2","datavalue":{"value":{"amount":"+0.6294944882392883","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":"Q5492974$45325BEC-D1F3-48C3-B252-F07BB94494AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal Methods in Computer-Aided Design (scientific article; zbMATH DE number 5065497)","badges":[]}}}}}