{"entities":{"Q5492995":{"pageid":7522555,"ns":120,"title":"Item:Q5492995","lastrevid":40748654,"modified":"2025-04-04T13:42:58Z","type":"item","id":"Q5492995","labels":{"en":{"language":"en","value":"Formal Methods in Computer-Aided Design"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5065515"}},"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":"Q5492995$2EC08BCB-8DF7-4EC5-ACEA-68C8D5724244","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":"Q5492995$CB6CD287-39F7-4C78-BDC3-CCF0047F0AA0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93e2e1030708277ba8713aa4d3b3554a13d29848","datavalue":{"value":"1117.68435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492995$956B818C-CC9D-4ED2-95EE-439560C6946F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"37ff122a9ef1ebe05a8d5ca01082a18050f8321e","datavalue":{"value":{"entity-type":"item","numeric-id":2848658,"id":"Q2848658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5492995$8C73A2A5-ED15-4C9B-94BD-36A1A242ACD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d591c222fbb2f0c9889be77fd69768e1bb695b1f","datavalue":{"value":{"entity-type":"item","numeric-id":2848657,"id":"Q2848657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5492995$56F12EA9-FE8E-4989-96D1-5376E99B9CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"85ea4d300ae65ad1b522cf8654fbcb97fd2ceeea","datavalue":{"value":{"entity-type":"item","numeric-id":685116,"id":"Q685116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5492995$CC524418-7DB4-4975-8CF3-6C6D2DD6B7AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72ad52044ca3478d78ff9d0e600857630ea16c62","datavalue":{"value":{"entity-type":"item","numeric-id":3404125,"id":"Q3404125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5492995$60461F07-8849-4294-A375-42F336C4146A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f3ab7638d7f4e611e205c08ec844666287342c8","datavalue":{"value":{"entity-type":"item","numeric-id":3404126,"id":"Q3404126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5492995$D49B1FFB-6583-4BF3-87BC-B167B9A85C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2dd061ef340feff0cbd009fd7ff490684b9da51c","datavalue":{"value":{"entity-type":"item","numeric-id":685109,"id":"Q685109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5492995$B8214EEC-0D43-47F8-8DDB-E0E911D06253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"570fdf9abfcdd47196a1c28958b07fd2ceac0701","datavalue":{"value":{"entity-type":"item","numeric-id":1051418,"id":"Q1051418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5492995$C161CD03-ECAE-4130-98F7-E21C3E2A01C5","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":"Q5492995$170BF715-5114-4411-B5BD-1D69904D89E0","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":"Q5492995$BD99FC86-2A34-4382-8FF6-AAFADC2A4EE3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492995$E049E40A-BBE0-4572-94A1-1979220EC7F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"16ccc6b3f651e73c06836aeb79050ede2391e61b","datavalue":{"value":"5065515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492995$FC842C52-81DC-451B-8401-9EF076557272","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":"Q5492995$67EF43F5-F138-48AF-B42C-39B9D3BC9E82","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":"Q5492995$4D562234-E92E-408D-BBE3-7FB9DA5A0632","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"541267cf8ad04357cd91ba63896e7b9b0796c6e2","datavalue":{"value":"W4229585471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492995$471A0A82-729A-44C2-875E-8824E5FAC39D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ddf10ec47407bad7b4f0a200cbaf29899b0fcd7","datavalue":{"value":"10.1007/B102264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492995$8EA02E5E-50B3-4968-95A4-E9C11FBC0931","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b64b42eecc5ac6dfeafe8a34d4a4c7d52f237ede","datavalue":{"value":{"entity-type":"item","numeric-id":1587372,"id":"Q1587372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4f4ab56e135ae22ff0bbbb30fb187f4bd1608de","datavalue":{"value":{"amount":"+0.88242126","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":"Q5492995$5315A631-241D-454A-81ED-D02FB9174E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f45bd009a89f811dc912e645897689d07d6c7a15","datavalue":{"value":{"entity-type":"item","numeric-id":5897082,"id":"Q5897082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d25a6f87c58f0e9162b2cb56c69fc3c3eec7845","datavalue":{"value":{"amount":"+0.8586554","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":"Q5492995$5B2A9584-26F9-4601-9D32-8B127CBE265C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f038f77b20ad7e8769b155fb14d5cdc70099ce15","datavalue":{"value":{"entity-type":"item","numeric-id":5716899,"id":"Q5716899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"677e678e801110eea9040074bd8dcdf02f2f1ab7","datavalue":{"value":{"amount":"+0.85074997","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":"Q5492995$98F0F1F6-429C-40A6-89BB-C8FCA2D1F70E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ec90e595ec37f3c3a073ac6452ea4bfbe7c4220","datavalue":{"value":{"entity-type":"item","numeric-id":1854377,"id":"Q1854377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf10da6064585a806b53acadc37453bea7053b5f","datavalue":{"value":{"amount":"+0.8493421","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":"Q5492995$85DD6875-9841-4118-98D6-7F16475EC2FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ca7070ee27625a2139a9cd47fdcddf167143a27","datavalue":{"value":{"entity-type":"item","numeric-id":4647562,"id":"Q4647562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf10da6064585a806b53acadc37453bea7053b5f","datavalue":{"value":{"amount":"+0.8493421","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":"Q5492995$3F5333A5-B7F1-4EA6-BFF1-D452AF321082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c231767e805dc68277b675ed1ccd29e9e10d1d98","datavalue":{"value":{"entity-type":"item","numeric-id":4733386,"id":"Q4733386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8eb2a75cbb91138cde42ec8403ff10ae100c5604","datavalue":{"value":{"amount":"+0.84535444","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":"Q5492995$489AB0FE-1128-4D57-BB4F-1999F51C9A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56fdcd44d0833a0f6d9ca4d51b67d669cf4f1589","datavalue":{"value":{"entity-type":"item","numeric-id":3647510,"id":"Q3647510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d58c6188ba5778d3f3d4527af23e68b64911bb36","datavalue":{"value":{"amount":"+0.8447466","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":"Q5492995$0AA3821B-7A43-4015-911B-C248E7C7B08C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4105f6d0e60beddf77cb7466481011f44dcc8f69","datavalue":{"value":{"entity-type":"item","numeric-id":1424999,"id":"Q1424999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e71e8e6c64685c12509a69c3b402ea9b78b188d9","datavalue":{"value":{"amount":"+0.8444398","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":"Q5492995$00D463CF-CA90-42E3-B00E-E0DD5316CFFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e42299c2b56d6aaf9f3ef424480d7f0d0c990e4f","datavalue":{"value":{"entity-type":"item","numeric-id":5710044,"id":"Q5710044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c59b9c1380810a3a428814efda5bc94bc9129738","datavalue":{"value":{"amount":"+0.8400705","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":"Q5492995$B88051B3-BAAE-4611-B3BF-38E491AC86C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5492995","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5492995"}}}}}