{"entities":{"Q5492978":{"pageid":7522538,"ns":120,"title":"Item:Q5492978","lastrevid":41197076,"modified":"2025-04-18T23:35:06Z","type":"item","id":"Q5492978","labels":{"en":{"language":"en","value":"Formal Methods in Computer-Aided Design"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5065499"}},"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":"Q5492978$B6A0687D-2604-49CA-B77D-020CAA3B838F","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":"Q5492978$4944FF04-400F-4BA3-9D3B-B332D7D6889D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"04dc3ced69af2f5821944216367939000a20edaa","datavalue":{"value":"1117.68534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492978$9D01F8E8-8413-4F3C-B376-9798ED92B0B4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0133cd5f3d79c9e542c68ccc962701495bea3af6","datavalue":{"value":{"entity-type":"item","numeric-id":5492976,"id":"Q5492976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5492978$C5CB1B2B-F73B-4134-AFBB-799F56CA4828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"892fa34cd0be4bffbda3b77e3329bb1bf07bfb95","datavalue":{"value":{"entity-type":"item","numeric-id":1425000,"id":"Q1425000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5492978$C41FF8DC-7D98-4098-B506-BE0123082FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ad21f873b6ff524c839f6cd352921f816bbfe6c","datavalue":{"value":{"entity-type":"item","numeric-id":479829,"id":"Q479829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5492978$0EE160A5-5783-41E3-B1B7-21F5CE35A31C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa35d0c5daec08a3b6468a25ba1ded80f7db0d05","datavalue":{"value":{"entity-type":"item","numeric-id":5492977,"id":"Q5492977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5492978$A19CD520-7044-4833-B05A-5478109CFAE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df2e2f048ee84a3352ba33238fe71a96642fbdee","datavalue":{"value":{"entity-type":"item","numeric-id":3636876,"id":"Q3636876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5492978$94A58AB2-EF82-44C4-BFBF-3686F539E714","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":"Q5492978$D4763398-BBA9-42A7-B5BE-702234CB3955","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":"Q5492978$CEC4CD34-8685-4743-B90A-738490BF0708","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ba0db88ec1d9208c9b2d78c4b1e523872c7ec39","datavalue":{"value":"68U07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492978$0868ECAA-F712-43FB-8903-532AFD0533AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492978$204B1247-9DF2-4512-8E29-3AC03B48BB86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"73dccdfb072fb026a86af92d74fe625efeb2b023","datavalue":{"value":"68T35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492978$096F92B5-D271-42C0-A46D-788F4B08B57C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b79265566a50a65a3a08f78f6583b91cf8d8e37d","datavalue":{"value":"5065499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492978$8219C5B0-883D-40DD-8C6F-58164319161E","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":"Q5492978$8C9D00C2-08B0-471F-A201-3DCE48728DDE","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":"Q5492978$DB4764FB-1EA7-43F2-B5E0-BFD0A1113D35","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"541267cf8ad04357cd91ba63896e7b9b0796c6e2","datavalue":{"value":"W4229585471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492978$FCE02C62-A919-4CFC-AC2F-46574C6E0C23","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ddf10ec47407bad7b4f0a200cbaf29899b0fcd7","datavalue":{"value":"10.1007/B102264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492978$977706FE-4BCA-40BE-B134-2F6695377ABB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63d148d1cdd2114dfcc43253e38bae22ac75faa3","datavalue":{"value":{"entity-type":"item","numeric-id":5187984,"id":"Q5187984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf0e4b58c47d8f329bbd1aedd252e8a8cdbc6501","datavalue":{"value":{"amount":"+0.8702919","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5492978$E54EE4FC-5806-44C3-927B-B9D84AD6BA36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d0fdd75a45dfca390eeb59a04e76adba51f8ba2","datavalue":{"value":{"entity-type":"item","numeric-id":5493232,"id":"Q5493232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b07acf17e94c86a1e5cd753383b0f8d52e4fe04","datavalue":{"value":{"amount":"+0.8649466","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5492978$4D1FB4A2-BA94-493E-80B7-CA62CF591AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17a52d05f6f5385f588cdabc59ab69b7b3a34c21","datavalue":{"value":{"entity-type":"item","numeric-id":3498467,"id":"Q3498467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c628c26caa5285e95cbbaa3a368b3a71d1be193c","datavalue":{"value":{"amount":"+0.86106694","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5492978$A6CD3BF0-5A10-4605-88DB-E0D4AB68AF3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"deef77837b5962cff1ecb4dc3dda639544b1aa26","datavalue":{"value":{"entity-type":"item","numeric-id":903517,"id":"Q903517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae919930a62ca5bde70534e3589af18b36342004","datavalue":{"value":{"amount":"+0.85831904","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5492978$F5D87E39-94C0-48C3-98C0-FABDA6AC831B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1605c8cde63a26cc99cdf1e45db7f42c3dd9bf93","datavalue":{"value":{"entity-type":"item","numeric-id":4518894,"id":"Q4518894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"457c36d4d6c8031cac634e8148f3c9d89b8b57e6","datavalue":{"value":{"amount":"+0.8581629","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5492978$8F84F216-5794-49D2-A21C-D4BA20E1FEC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad2b225d55d92c7c3b56ed9306dbb83350cbc123","datavalue":{"value":{"entity-type":"item","numeric-id":2506292,"id":"Q2506292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dc4039e33cd4f53268343f228913d4d7b5e661f","datavalue":{"value":{"amount":"+0.8529985","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5492978$96C3A3EE-5459-444D-9892-7C2637B1833D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"954fc7ab18a16d28c03dac3caa4d29e93cb716b7","datavalue":{"value":{"entity-type":"item","numeric-id":5404179,"id":"Q5404179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07b743496d2b794dd69ee8c66aaecd98945da444","datavalue":{"value":{"amount":"+0.8519866","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5492978$D8C1219B-5A38-4B04-999A-134C53A2AB75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc6cf94a941e73c549de5f3f28639ca1516bdd9b","datavalue":{"value":{"entity-type":"item","numeric-id":5386252,"id":"Q5386252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b390715a34dc61fb5abfa299ab5986281be51851","datavalue":{"value":{"amount":"+0.8513837","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5492978$2DEF53C6-5AA4-4541-A30F-4900F76E0698","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5492978","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5492978"}}}}}