{"entities":{"Q5492968":{"pageid":7522528,"ns":120,"title":"Item:Q5492968","lastrevid":92478326,"modified":"2026-06-05T01:48:43Z","type":"item","id":"Q5492968","labels":{"en":{"language":"en","value":"Formal Methods in Computer-Aided Design"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5065494"}},"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":"Q5492968$7A974CEC-9F35-4B46-979E-BA333FF7FBAA","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":"Q5492968$E4A7F03F-9EEE-4488-BE77-0C53BD63599C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd61d507aa819fbd626b08b2e3c31abc58a37405","datavalue":{"value":"1117.68485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492968$4D96917B-8FC7-4CF0-84A2-75A90DE0B7B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"07ef5bce62b88cfecff16603e8667fcc383b0d99","datavalue":{"value":{"entity-type":"item","numeric-id":479822,"id":"Q479822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5492968$8EC99D56-FA46-4551-AD96-9DABADA62952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49a02d2967366c05338e9a85c6a94315b1ebf4a5","datavalue":{"value":{"entity-type":"item","numeric-id":851143,"id":"Q851143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5492968$CCEAC993-FCD6-4F61-B0E4-DAD9EF400738","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":"Q5492968$51F8A65B-6287-4DDC-B749-C8D6F3D15F01","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":"Q5492968$C59E72E5-A013-4A13-B0CB-EEABF6CA12F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492968$6B70C6EC-9DA9-4782-9665-5BDCB6FD44C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492968$79AC9671-D9B6-446F-87DA-A3EF7B833A9F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d9a1157a06198b6005a416114056f20b96da2d39","datavalue":{"value":"5065494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492968$851232AB-709F-4734-AD51-51BB3860CA58","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5492968$64834362-1435-485A-88D7-5CC24E377127","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":"Q5492968$5B5F75AC-95DF-43A3-B281-D797D1625FD8","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":"Q5492968$BAD79AC1-4A3F-45C8-9E58-9AD9D04BC4F8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"541267cf8ad04357cd91ba63896e7b9b0796c6e2","datavalue":{"value":"W4229585471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492968$C3A98F0E-B8F7-45A3-80B4-91B636072B1D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ddf10ec47407bad7b4f0a200cbaf29899b0fcd7","datavalue":{"value":"10.1007/B102264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492968$D51CD637-A3E7-45EA-8497-15F15F288492","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e25090a8eb364cc7d791575e4d381ff027a8e3c","datavalue":{"value":{"entity-type":"item","numeric-id":851144,"id":"Q851144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b3748d54bdac119af056294bfe95ebc805ad4c4","datavalue":{"value":{"amount":"+0.84308260679245","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":"Q5492968$BEC9238C-882B-482C-82A9-E2E0F6F29B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f78aef0b399177064640745a960d3a77dacdfceb","datavalue":{"value":{"entity-type":"item","numeric-id":5900722,"id":"Q5900722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d215aa49a887e930d11a49a89ab5032e5faa1755","datavalue":{"value":{"amount":"+0.8209642171859741","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":"Q5492968$4CCEBC20-D7F3-4C1A-92C5-243D3A02D517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f0262a4783f5bd5143965b78a01db87c4f9f3a6","datavalue":{"value":{"entity-type":"item","numeric-id":1694476,"id":"Q1694476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cf281da983900da46b7c9e0f7adeb671dde5598","datavalue":{"value":{"amount":"+0.7411184310913086","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":"Q5492968$786F7E8E-CFBA-4CA1-9E95-6B7DBF0CC31E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39715902b5af4db77107bab189fee47a01fde269","datavalue":{"value":{"entity-type":"item","numeric-id":4664924,"id":"Q4664924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1ac6e9cbe6eb9127b47fd7af8ae3c1491ac6288","datavalue":{"value":{"amount":"+0.7326209545135498","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":"Q5492968$3E0636FB-519B-4DCE-BBB7-F53F85969AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67817ded466701f9bbe95b0240a3a1e5b5ec9fbc","datavalue":{"value":{"entity-type":"item","numeric-id":5327341,"id":"Q5327341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0eca6bb7a114a3c6c0d0a5341a81d89d452c0eb","datavalue":{"value":{"amount":"+0.7285444736480713","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":"Q5492968$7A5A0658-97F0-4B4E-A753-6D0A65D9B509","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal Methods in Computer-Aided Design (scientific article; zbMATH DE number 5065494)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_Methods_in_Computer-Aided_Design_(scientific_article;_zbMATH_DE_number_5065494)"}}}}}