{"entities":{"Q5492980":{"pageid":7522540,"ns":120,"title":"Item:Q5492980","lastrevid":49947463,"modified":"2026-01-12T05:57:01Z","type":"item","id":"Q5492980","labels":{"en":{"language":"en","value":"Formal Methods in Computer-Aided Design"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5065501"}},"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":"Q5492980$608C1F2D-9E4F-46B3-84DD-0A182EDD6055","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":"Q5492980$296F1D99-35C3-48FD-A8CB-2184D6F8AD99","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fe94372dc4bf3742b58b6700d45f5f6fa99e2c26","datavalue":{"value":"1117.68432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492980$480674EE-12D8-4748-B20F-909DC183AA7F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc3d63802dcd3ac1e4433559bd1c461faf8469ae","datavalue":{"value":{"entity-type":"item","numeric-id":4426371,"id":"Q4426371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5492980$D4C9CB8E-02AA-43A8-856C-12C2F18FD4F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"396db362b8f5a55e9aac7b42eacb07e40796d942","datavalue":{"value":{"entity-type":"item","numeric-id":209458,"id":"Q209458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5492980$964DCF04-014E-41C2-993E-FD456A003EA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f9933ae3bad131ee8035baf5a9d9f7a567dc0c2","datavalue":{"value":{"entity-type":"item","numeric-id":338628,"id":"Q338628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5492980$AFD59AD0-2C59-4B67-AE52-971C41D253C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"498d039033b9bc38216498eb57cb84dc2a55d72f","datavalue":{"value":{"entity-type":"item","numeric-id":436410,"id":"Q436410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5492980$FA43260F-7A1B-4B3B-AFC4-28664F8A34B6","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":"Q5492980$FEE86632-B23A-4CBD-9AF2-C27D7B7BED27","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":"Q5492980$1E1A23F4-7D1E-4164-8532-65E4E8CACD2F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492980$AF8C8845-D21D-4308-882E-8A94B40E301D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1900d1dc5c95ca0afd735bf3158dbc5106cd9220","datavalue":{"value":"5065501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492980$3855FA0F-3E81-43F2-9C5A-A81F19C058C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ab41959fd9494b5548d09c762ca90a9336e1c7","datavalue":{"value":"bounded model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5492980$5660FF23-A903-40EE-9F5F-3FF0482F619C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85a839a7ba93b7be8ef2a01122562abb5ca55aa9","datavalue":{"value":"LTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5492980$A02D0346-AF29-4557-8933-2D8030D2C746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9314a435e7ed6d369d0bb36ae58ce779d85c0c3","datavalue":{"value":"linear translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5492980$27D46C8D-AD0E-45D6-8AB5-CE3AC3F8F9F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33e6e7fbc044e24a636f416a29bbfa6df53e6435","datavalue":{"value":"NuSMV","type":"string"},"datatype":"string"},"type":"statement","id":"Q5492980$B3D908F4-2FA0-4AF0-9B17-437BB3C91F5B","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":"Q5492980$1A49AD12-E93E-47EB-A52C-287308BC816C","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":"Q5492980$1C7FF3A4-2F3E-4C8C-96FE-1323DD909EEF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"541267cf8ad04357cd91ba63896e7b9b0796c6e2","datavalue":{"value":"W4229585471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492980$B0433354-726A-4808-9F68-67DA4F819A66","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ddf10ec47407bad7b4f0a200cbaf29899b0fcd7","datavalue":{"value":"10.1007/B102264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492980$63B7183A-CE02-4991-A735-AEA46066570B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81d2a6c0c75db35d1a64a9e5c5907468a4789d5b","datavalue":{"value":{"entity-type":"item","numeric-id":2864381,"id":"Q2864381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4adc08dd181df76e80293fa691851792a5c05649","datavalue":{"value":{"amount":"+0.8656294941902161","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":"Q5492980$E4813483-D18D-4D1B-89E2-09FD608BFCE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cd3d41e83c5b8c36bb26f88ebcbd122fd1d3af1","datavalue":{"value":{"entity-type":"item","numeric-id":3608783,"id":"Q3608783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc97ec1bce8a9c5c577f656a0929eb773f0c4fc7","datavalue":{"value":{"amount":"+0.8161882162094116","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":"Q5492980$05D2AA88-78AE-4603-B025-877DE406E04B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e42d233ab25d7b57820914fd6730a09f3ac950f","datavalue":{"value":{"entity-type":"item","numeric-id":5711503,"id":"Q5711503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2ac5a64327eadeac6f95eeeac218aa1e2397099","datavalue":{"value":{"amount":"+0.8011090755462646","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":"Q5492980$2C9360D0-4DF8-40F7-B1D2-C2D31473BFBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"825c9aaa727f79c201debbf710b791dcfdd806b0","datavalue":{"value":{"entity-type":"item","numeric-id":4736997,"id":"Q4736997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c00ea0eac3ec5244d5234ffe68f26774240376a","datavalue":{"value":{"amount":"+0.8008328080177307","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":"Q5492980$47CA0F55-9579-48E9-B840-588AEB24C7D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65e7e2c2bdfcb8da6245b5049b17f81ee014db00","datavalue":{"value":{"entity-type":"item","numeric-id":2849598,"id":"Q2849598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bed7b7f23b9767424b06958dcbb67d5f622fae96","datavalue":{"value":{"amount":"+0.7982254028320312","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":"Q5492980$99F6DD1F-2219-4FCF-BDA1-B1A716EEC220","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5492980","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5492980"}}}}}