{"entities":{"Q5492981":{"pageid":7522541,"ns":120,"title":"Item:Q5492981","lastrevid":49947466,"modified":"2026-01-12T05:57:01Z","type":"item","id":"Q5492981","labels":{"en":{"language":"en","value":"Formal Methods in Computer-Aided Design"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5065502"}},"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":"Q5492981$2E509999-6F50-4DB1-A6B7-EC5C727AF792","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":"Q5492981$4FE817A5-DE2D-4F3B-95D9-8DDD5E823211","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d0b95ac62782b99ea3f9de063661f4f59b1a133","datavalue":{"value":"1117.68488","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492981$BA7C2AB9-7A6B-44AE-B05A-B400A26F56CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fbf1d9c0b0e83239511c911eb40c1e2a2b73d12","datavalue":{"value":{"entity-type":"item","numeric-id":414854,"id":"Q414854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5492981$0C0BCA76-8538-4E2A-9FB2-85EDCC3129CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"50a184f8e1810a1ef5255b0ff0f33bfd71675e2a","datavalue":{"value":{"entity-type":"item","numeric-id":814444,"id":"Q814444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5492981$A31BC23C-0F57-4973-8DBF-451243D1BECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b27fb2de17ba7f26cc1dc0d940e72cb82218af6","datavalue":{"value":{"entity-type":"item","numeric-id":421445,"id":"Q421445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5492981$4C83BFBE-FEC0-4384-A89F-462B73D025F0","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":"Q5492981$AF0BD8BD-49C4-4BDD-8E88-B9200012C3F7","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":"Q5492981$173C2C80-11A9-4548-97DA-7560CF4E991C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492981$9F1E99ED-4A93-45F3-8510-465296656321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492981$A7F6D9E3-9DDB-4462-96CB-F881A0E7845D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c73352bafa7682efdfc23c3a698577e1a913d7f","datavalue":{"value":"5065502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492981$EA5758C2-6601-49AE-B28A-73DFAB4F86EA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6ef83bc65a4e27e40a0f15cc6aef8f4086b5991a","datavalue":{"value":{"entity-type":"item","numeric-id":23327,"id":"Q23327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5492981$D60968BC-2BF8-43C7-81BB-68AFDBE60D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"792849c5bee9f07de54f2fa4f04f07c6aa639097","datavalue":{"value":{"entity-type":"item","numeric-id":21562,"id":"Q21562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5492981$BD57C6F5-3B12-44F0-8FAE-B389CAF40882","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":"Q5492981$515F4190-1F56-412D-A86F-4A7D084F3952","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":"Q5492981$DFA04E40-0785-46FF-B451-914ADAE71A27","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"541267cf8ad04357cd91ba63896e7b9b0796c6e2","datavalue":{"value":"W4229585471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492981$B644DABD-2570-4893-A2F2-8178CE3108B9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ddf10ec47407bad7b4f0a200cbaf29899b0fcd7","datavalue":{"value":"10.1007/B102264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492981$AD9E3ED3-02B2-434F-BFC1-4A3F97E390BC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6c8dc0a96a6e161d6b4aebf5fd0a1e41b65c6fa","datavalue":{"value":{"entity-type":"item","numeric-id":5714777,"id":"Q5714777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70f60669044b8a7d04bca3961416716d60e9a91c","datavalue":{"value":{"amount":"+0.8418559432029724","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":"Q5492981$A33FFD03-3A9A-49A2-9AC0-022759ADA3C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bf5f255dc196baa877f80fa7eecbb34d744fe54","datavalue":{"value":{"entity-type":"item","numeric-id":5326456,"id":"Q5326456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c04b7a57b5ce1e8c1cfc32735d5f06d6a18185a","datavalue":{"value":{"amount":"+0.8133832216262817","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":"Q5492981$836D8B93-474E-4244-9492-9B48816A6937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5241b39e344f70f66cdde4696489a4d4873ddbc1","datavalue":{"value":{"entity-type":"item","numeric-id":3429159,"id":"Q3429159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee4ba8c7a526fea9601a9ef3271f2e0119e841d5","datavalue":{"value":{"amount":"+0.812575101852417","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":"Q5492981$9AB3F3D4-045C-4D8A-A249-92B579E4B6C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e31b3868b35c8adfea7f296c098db6a941e819fc","datavalue":{"value":{"entity-type":"item","numeric-id":2879140,"id":"Q2879140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d53f36bc72bc6248aed38c44fe937a6af39cbea","datavalue":{"value":{"amount":"+0.8121798038482666","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":"Q5492981$CEC752E3-63F6-4E02-BA47-589F78CE7169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83cc427116e8e5de07b05e44314d4af2dec7739b","datavalue":{"value":{"entity-type":"item","numeric-id":5900311,"id":"Q5900311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d972509af89c910fdbbed612f583593bdad638f","datavalue":{"value":{"amount":"+0.8101187944412231","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":"Q5492981$7D84DFFD-FD0E-42A8-8D59-E33AE6C79C26","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5492981","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5492981"}}}}}