{"entities":{"Q5492964":{"pageid":7522524,"ns":120,"title":"Item:Q5492964","lastrevid":49947433,"modified":"2026-01-12T05:57:00Z","type":"item","id":"Q5492964","labels":{"en":{"language":"en","value":"Formal Methods in Computer-Aided Design"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5065490"}},"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":"Q5492964$54FAC387-B2F6-4C4B-A5D9-189ADBDA782C","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":"Q5492964$6AC83535-EF4A-44F0-9C9E-F26B6A2C118E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4bea61f36ec8ce3da2149dc0dbdea0015628a661","datavalue":{"value":"1117.68303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492964$539D25CC-083A-4CA5-9155-63FDAEB2B216","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"71d4955cd894e8f65bd4d36ba17714e84b2ab9ce","datavalue":{"value":{"entity-type":"item","numeric-id":526431,"id":"Q526431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5492964$E5431CAA-167E-4D6D-8384-3A4A14D50772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2421cbdcf69fc46f7e1ab053bd39b93ffdc36187","datavalue":{"value":{"entity-type":"item","numeric-id":243963,"id":"Q243963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5492964$5DB349F8-DD3F-4249-856F-C04D7CC52707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"797dff732e38d176bf7500ab5c245082b935afd3","datavalue":{"value":{"entity-type":"item","numeric-id":533350,"id":"Q533350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5492964$8956B10E-5D76-4B2D-A392-DD21820E677B","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":"Q5492964$21ABE40B-6A82-4729-A16C-5F4F16F53E6E","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":"Q5492964$306FF051-DA96-4528-835D-2515DA6B99BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492964$45DD563C-3E9F-4CF6-AA17-809DA1BB14E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492964$5DDD79C0-9147-47B6-9753-9B88C970C0BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492964$F87CEAEE-F00B-47C1-8D63-7DC2C9EA695D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"50caa45cdb4284958c2da3e40aa86f7a993f9d2e","datavalue":{"value":"5065490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492964$B2652129-7630-4414-B4C6-9E0862695C68","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"882a971f4991bcd3c0ef655b6f375f7a0214f07a","datavalue":{"value":{"entity-type":"item","numeric-id":22275,"id":"Q22275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5492964$6423268C-E7E7-4BBB-AAAE-1DD60F2CD3CB","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":"Q5492964$508A5C7A-C1BF-426B-9D24-B8D331E88291","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":"Q5492964$8F2C2673-32EF-48A5-A6C1-89FC8C293D96","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"541267cf8ad04357cd91ba63896e7b9b0796c6e2","datavalue":{"value":"W4229585471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492964$72D84831-1F28-48CB-979E-DEF9445EE8F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ddf10ec47407bad7b4f0a200cbaf29899b0fcd7","datavalue":{"value":"10.1007/B102264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492964$AA4791E0-18AB-4DFA-BD0D-7E8D20B01000","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed354ab277bae726c4177adaa86b43f5f1a44bb9","datavalue":{"value":{"entity-type":"item","numeric-id":5394211,"id":"Q5394211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70990f442cb47f53444b4900de4dcb8fc677e410","datavalue":{"value":{"amount":"+0.8397395610809326","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":"Q5492964$A3D7543E-B0EE-4991-98A4-16869C5E1713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a233148bffa454c52cc1b73874d35a146b36926","datavalue":{"value":{"entity-type":"item","numeric-id":5962116,"id":"Q5962116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"701fd79b5c256af44c33c98aa4353a9a4d6b0c32","datavalue":{"value":{"amount":"+0.8137620687484741","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":"Q5492964$7E1DFD45-154F-4175-82FC-B9C476F97F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63f994b942e75db841c3762a6a2fdb588cf8f5bf","datavalue":{"value":{"entity-type":"item","numeric-id":3510788,"id":"Q3510788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca6ecd8acc77551e1e48bb36f212d67c11cf860b","datavalue":{"value":{"amount":"+0.8053684830665588","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":"Q5492964$55204B3E-720F-4617-9E55-DC60625C1772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2edee228a64437f996b73028c61b0ea30ed5a7af","datavalue":{"value":{"entity-type":"item","numeric-id":947801,"id":"Q947801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53bfab8ab0d3f877ad40a7fe6128dc4406c6604a","datavalue":{"value":{"amount":"+0.8018907308578491","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":"Q5492964$692661D6-61C2-43E2-A09D-AD72F5325518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7e026d6034bd00b6d460fbef7ea2abc75f14279","datavalue":{"value":{"entity-type":"item","numeric-id":3510791,"id":"Q3510791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6871e2b550a9447e95d31ada7be577433989a22","datavalue":{"value":{"amount":"+0.7924720048904419","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":"Q5492964$CF039040-2D6F-4DA2-8601-926BC153B880","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5492964","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5492964"}}}}}