{"entities":{"Q5492993":{"pageid":7522553,"ns":120,"title":"Item:Q5492993","lastrevid":92478602,"modified":"2026-06-05T01:48:46Z","type":"item","id":"Q5492993","labels":{"en":{"language":"en","value":"Formal Methods in Computer-Aided Design"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5065513"}},"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":"Q5492993$45D97E1D-E034-47CC-82E6-190A453B857C","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":"Q5492993$D315054C-66E0-4A0D-9550-29D6645A662E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2a6c419bf02de5a48d16875b46306ce0d6ec94dd","datavalue":{"value":"1117.68426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492993$E04A45E2-627A-4FE9-83E5-92AD7A77082D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3524b9c32b1166213486322dd60fbb6b441c057","datavalue":{"value":{"entity-type":"item","numeric-id":2867931,"id":"Q2867931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5492993$BAED3E98-4DBA-4AA2-8B07-39603546678A","rank":"normal"},{"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":"Q5492993$B87BAEF1-3CE0-495B-BF60-77464DFBA0CB","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":"Q5492993$17A015E4-5E72-44CA-B168-04881725D93A","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":"Q5492993$F5B1C7A0-34BA-4922-82AC-78C41D3D36A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492993$C1B74CCC-9E4E-476B-9B0C-A2348FFE360D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"388435ea62fcf35e7d0d7fbd0642f9773788bf15","datavalue":{"value":"5065513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492993$BB44CC48-4C88-40F9-A7D4-BA64DC67A3DC","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":"Q5492993$7D25714A-14F5-4560-B4F7-1A1845970AA5","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":"Q5492993$A4501D9C-8775-4874-A37B-5E74A5026CA8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"541267cf8ad04357cd91ba63896e7b9b0796c6e2","datavalue":{"value":"W4229585471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492993$34956176-F1F2-4ABF-B9B2-E6A4DFA84D53","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ddf10ec47407bad7b4f0a200cbaf29899b0fcd7","datavalue":{"value":"10.1007/B102264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492993$B69FA55B-68BB-468C-8867-22863C14AE5F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e50fdfbe27c2a1c25801d8bbec66d7e6450b2f82","datavalue":{"value":{"entity-type":"item","numeric-id":5308366,"id":"Q5308366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"323675a32df8ff219253eb6d79babc4c8db75fe0","datavalue":{"value":{"amount":"+0.8135026097297668","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":"Q5492993$6166D8C4-3598-4E2B-9EAC-CD5D6E18933A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f06e7c15e5f308d1e3750793f72b6c804291807a","datavalue":{"value":{"entity-type":"item","numeric-id":5406220,"id":"Q5406220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e27cee00968bb09a20e608a5d37030ec13b738d","datavalue":{"value":{"amount":"+0.7859182357788086","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":"Q5492993$164A39A9-B134-42E6-B96F-A6E6934003C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74b8be80350c04671a1d481568955db816a5516a","datavalue":{"value":{"entity-type":"item","numeric-id":2410578,"id":"Q2410578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1d4f355f33bf7c4de5eeaa130e890237a9d1a34","datavalue":{"value":{"amount":"+0.7620344758033752","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":"Q5492993$2EF83AD4-D561-4A79-95A1-CD4AD71E5EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8133e000bc9d233bbf7858a4bacc468cc0b23de1","datavalue":{"value":{"entity-type":"item","numeric-id":4672750,"id":"Q4672750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"068912f03ed015c820fb47c136becb916d4980d5","datavalue":{"value":{"amount":"+0.7575046420097351","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":"Q5492993$B03FC652-B625-4317-AE6F-347DFC78A58B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"249f8f8fb5663f6eee5de6f8df384f03ec6a3948","datavalue":{"value":{"entity-type":"item","numeric-id":2787676,"id":"Q2787676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76fed7fb424a96ab7f45c840d42ca3baac3d0de7","datavalue":{"value":{"amount":"+0.7571844458580017","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":"Q5492993$8CF372C5-A333-4EFA-8A79-12147ED3D04D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal Methods in Computer-Aided Design (scientific article; zbMATH DE number 5065513)","badges":[]}}}}}