{"entities":{"Q5492967":{"pageid":7522527,"ns":120,"title":"Item:Q5492967","lastrevid":49947442,"modified":"2026-01-12T05:57:00Z","type":"item","id":"Q5492967","labels":{"en":{"language":"en","value":"Formal Methods in Computer-Aided Design"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5065493"}},"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":"Q5492967$89AF4527-3072-49E5-8031-1133155FB509","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":"Q5492967$E6C40632-BC22-4166-A9B5-5BB5A1E8E85F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e236a876de89d57e1ce6bf215936e760c8fd02ba","datavalue":{"value":"1117.68419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492967$78981B69-39A0-4446-A4D1-4B1CA79191C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5a9bcb5f8b5c271cc4d9ccff897b2db1a111ede","datavalue":{"value":{"entity-type":"item","numeric-id":540689,"id":"Q540689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5492967$DB2B5220-2BD0-432A-83E6-BE379F2C0909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0d384413a2d1b8185eb46b74e5b2c74244e0aac","datavalue":{"value":{"entity-type":"item","numeric-id":928667,"id":"Q928667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5492967$3E55C67C-8710-4059-AB4F-6A37B27E37C4","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":"Q5492967$03604834-D515-4CB0-BE6E-0C156688807D","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":"Q5492967$C179C057-E333-4B53-BDB1-B6DB3AFA9D0C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492967$789F38B4-D38D-4C49-A720-21E9B714F2E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492967$E1AD0C21-11BB-4C98-88B3-43EDD06E734A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492967$13342DB1-6F21-4EC1-863E-4B746A689EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492967$A23FC7FB-C1FB-4686-B9A2-36DCFBCC283F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"377f5c4f9616b6cbaa3a8a236e0b01979f0cbc32","datavalue":{"value":"5065493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492967$B1043A57-74DC-49BA-852B-43B954CB4B55","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5492967$69237285-9063-46EC-B705-7E290CAD5063","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":"Q5492967$7E017BD5-CBDB-4FFC-ACD9-DEA28A776C76","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":"Q5492967$83AE9DA0-447F-44DC-BB00-9F4892C71588","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"541267cf8ad04357cd91ba63896e7b9b0796c6e2","datavalue":{"value":"W4229585471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492967$C7BD9C45-4C68-4F87-97F1-0799D53FF68A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ddf10ec47407bad7b4f0a200cbaf29899b0fcd7","datavalue":{"value":"10.1007/B102264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492967$0121C1BF-DA19-429A-B320-D38C4FD99213","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b118c2ac436345e01dbbd5d7847afe9f16241e6d","datavalue":{"value":{"entity-type":"item","numeric-id":928673,"id":"Q928673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b43662b45cbf73e1081cf8b5269be1577674110","datavalue":{"value":{"amount":"+0.8341782689094543","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":"Q5492967$4EC69370-B099-4A14-9A4B-455C4A2FA28F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bad1c49c6a30b8397dd3099f293c67d32b9acc4","datavalue":{"value":{"entity-type":"item","numeric-id":5897074,"id":"Q5897074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5ffb5ea4d2b1ca529430710b3c6279c5ec59bbd","datavalue":{"value":{"amount":"+0.7724326252937317","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":"Q5492967$5007EF2C-8C1B-4D3F-BBBB-32D5A576FA0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40fcb6040a6f115e21305ffd9c41b68ce0f4b043","datavalue":{"value":{"entity-type":"item","numeric-id":4225152,"id":"Q4225152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c74ccbf56cda959c7c8103c0724e2518724a5ce8","datavalue":{"value":{"amount":"+0.7419559955596924","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":"Q5492967$3D9EACEB-61D1-4613-B793-99A91FCB1A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1aab8f6589e631730d99f8b93a2c0eae27a43ee","datavalue":{"value":{"entity-type":"item","numeric-id":4209296,"id":"Q4209296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71d40e4c2bc2474b3f76402f6dbffddfb1530524","datavalue":{"value":{"amount":"+0.7323164939880371","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":"Q5492967$62119E21-01D4-4791-8151-4BF5C098F442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de10203981c5068b0631b8004c64b7ff2f0e4f00","datavalue":{"value":{"entity-type":"item","numeric-id":4818803,"id":"Q4818803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db1d39a813ca685266360a44ccc4c7e3aa7a1952","datavalue":{"value":{"amount":"+0.7280929088592529","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":"Q5492967$3ADC4A93-7F90-4046-8A67-A9A6A608E062","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5492967","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5492967"}}}}}