{"entities":{"Q5492991":{"pageid":7522551,"ns":120,"title":"Item:Q5492991","lastrevid":49947484,"modified":"2026-01-12T05:57:02Z","type":"item","id":"Q5492991","labels":{"en":{"language":"en","value":"Formal Methods in Computer-Aided Design"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5065511"}},"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":"Q5492991$C8116205-3BF3-40B2-BCC9-80E8ACD9F232","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":"Q5492991$3DAD022B-4EBE-4CF1-BCDE-CDCE046D32F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"689acc1d079dc00baca314510a8cb6e3c5d987b0","datavalue":{"value":"1117.68418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492991$BAF43148-6D0A-4B17-9CFC-7FF5EEB63204","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ebcb9f6003248d9f6e3888a3874f451e22b906b","datavalue":{"value":{"entity-type":"item","numeric-id":438538,"id":"Q438538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5492991$EB096639-9119-4727-B69E-2610E9AB64CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"06399df10e77cb01c1fd013bfa1ebbc639690f75","datavalue":{"value":{"entity-type":"item","numeric-id":5492990,"id":"Q5492990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5492991$6201622B-185D-4D06-9ABD-A05596342FDA","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":"Q5492991$A051F1BF-86D5-46C3-A2E6-C9910CB0BFB0","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":"Q5492991$13304159-A9BA-4019-AAB3-CFE0A4CBA18F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492991$24A69744-8258-435F-9336-007E1AA91F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492991$EC4EB5E8-2E3F-4F89-A893-AD183667FDA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492991$C96AFCF6-9CA2-44FF-904D-27BEA58C7418","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ee1dd948c0cd07b985f6af5a210ec9b83265ec7","datavalue":{"value":"5065511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492991$BBF0C221-A398-4E2C-AF87-8C34E0C54688","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":"Q5492991$97B42E7F-FF51-4656-9386-28E0AF61493C","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":"Q5492991$C94797FE-8A10-4FA6-B18E-D9425695BB26","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"541267cf8ad04357cd91ba63896e7b9b0796c6e2","datavalue":{"value":"W4229585471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492991$4C141C5D-FD7C-4D49-9445-275253DA1E2E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ddf10ec47407bad7b4f0a200cbaf29899b0fcd7","datavalue":{"value":"10.1007/B102264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492991$B617E351-0D0F-4722-8196-42F0026E92A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9018f40cfa0299e739307b304de38d6bc4fa0527","datavalue":{"value":{"entity-type":"item","numeric-id":3525631,"id":"Q3525631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96279095560cb515043159c0cf25e79cd7a6d0cc","datavalue":{"value":{"amount":"+0.8024292588233948","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":"Q5492991$84A6798C-34C6-45CB-B544-2AC5FD67A8AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40b7b3384de866ce38e781ddc305bea8005ad45e","datavalue":{"value":{"entity-type":"item","numeric-id":977176,"id":"Q977176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a8103476a10a60a675c60581be8350bf72e2272","datavalue":{"value":{"amount":"+0.7911288738250732","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":"Q5492991$2CCA4DF3-6B56-4A40-AD2A-E278E8C48BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb705ac9fdde19d8f04be343d0dbbca36757be06","datavalue":{"value":{"entity-type":"item","numeric-id":3638094,"id":"Q3638094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2ef90161c198e406be8da4e5469ab1cbc195c0d","datavalue":{"value":{"amount":"+0.7739605903625488","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":"Q5492991$F12D7929-99EC-46D8-AC70-DA383C9B1F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c407890860efae23b3223165cac9e39a7f1c330","datavalue":{"value":{"entity-type":"item","numeric-id":3525092,"id":"Q3525092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d10aef4e76e5a38d62a6d686ed93aa3bf360eef9","datavalue":{"value":{"amount":"+0.7217079401016235","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":"Q5492991$84E3E948-696F-4E7E-9E93-66CE01C1A495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6efdaea7e6667e088715763d554b397b7d49fb83","datavalue":{"value":{"entity-type":"item","numeric-id":2366686,"id":"Q2366686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4caf366026257851384eb7aaf2951f18493ce5a","datavalue":{"value":{"amount":"+0.7173641920089722","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":"Q5492991$986B603A-674C-4648-9443-6C6BC35CEE38","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5492991","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5492991"}}}}}