{"entities":{"Q2058384":{"pageid":2069126,"ns":120,"title":"Item:Q2058384","lastrevid":72564783,"modified":"2026-04-14T05:46:19Z","type":"item","id":"Q2058384","labels":{"en":{"language":"en","value":"Preface of the special issue on the conference on formal methods in computer-aided design 2017"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7440325"}},"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":"Q2058384$B1EFE961-53B0-4A74-9178-3486099354C1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc5718950ec924e95426a67e40f79537a9125be3","datavalue":{"value":{"text":"Preface of the special issue on the conference on formal methods in computer-aided design 2017","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2058384$D4DB0AAA-C357-4EC0-8002-EEB85F0852E5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058384$ADFC3C38-3805-49DA-A893-279271A6F932","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccea0e72645421785937dbfd645828cb25e2fe7e","datavalue":{"value":{"time":"+2021-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2058384$1C88F4BB-8FBB-4BD2-A3D5-6AFE765BF5EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2058384$C2AFA272-F956-40BE-82B0-71D755C15B25","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df8155de1a16efd700fd06b24872824d7144d47b","datavalue":{"value":"7440325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2058384$C4BE06FC-AD29-4F3E-B019-A83EA79BE5FC","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":"Q2058384$80129805-F27D-4C6E-A9E2-CAB770E6ACAF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2fadfd79e1b69300bc638de3fbabe97ad60c4708","datavalue":{"value":"https://doi.org/10.1007/s10703-020-00357-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2058384$3B557404-A471-4917-818C-370F880C02F2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3bddd87ec1dae003bea2f5de3a48c4eb19d473cb","datavalue":{"value":"W3121252968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2058384$EC68904D-11AF-4551-8120-9F08C14C29E4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b521baeca376c5ff6ce43bc04c4825df1f9829c","datavalue":{"value":{"entity-type":"item","numeric-id":2225475,"id":"Q2225475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058384$083EAD3C-53B3-48A2-BD79-DCD1F80CCFBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c4cf2cc00850270a28614888dcd0fd49d3c89ac","datavalue":{"value":{"entity-type":"item","numeric-id":2225478,"id":"Q2225478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058384$E3BCA687-9789-42CB-874E-F2AE214CC18E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d18d11b3bfb7a4c5384a84797e89378e257fe9f5","datavalue":{"value":{"entity-type":"item","numeric-id":1696579,"id":"Q1696579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058384$D0A2439B-BF8F-4489-8C99-345093EEF70C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c0f956eb64811c8a8b002ecf78e92dd7bcb769f","datavalue":{"value":{"entity-type":"item","numeric-id":2225472,"id":"Q2225472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058384$F26964C2-D6C2-4872-BEDA-C15C61F2CEC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13cd8cbf60512330dc14573ba3f10be1127d9a49","datavalue":{"value":{"entity-type":"item","numeric-id":2225474,"id":"Q2225474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058384$F77E2C31-A37A-441C-BFC7-3575AFBB34E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bfed557f25f2abd4fb8695c836dbcac5a86f0dfb","datavalue":{"value":"10.1007/S10703-020-00357-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2058384$BA9B38B6-2F5D-428B-AF80-7BFD14B028C8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34d60bcc6299fe3d29ad8ecdb334337ca04a1b4b","datavalue":{"value":{"entity-type":"item","numeric-id":2058374,"id":"Q2058374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93c3cb81a57051b0adc55930c7b992b7f7e0e312","datavalue":{"value":{"amount":"+0.9504387974739076","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":"Q2058384$D04B67E3-0CA3-4BEF-9E3B-73D2DF5CD0C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d5034e5bcf9b4ba1917f3b8aedd91ce9cd658c8","datavalue":{"value":{"entity-type":"item","numeric-id":2050099,"id":"Q2050099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ace51e8d62560218aa52af0c508228e6e5fe62d9","datavalue":{"value":{"amount":"+0.8816627264022827","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":"Q2058384$01247D3D-81CF-4DA2-8E15-AD2CDCD5AC6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e5dbd0a54ab3e5b8e9c7f8a1d3833b727ecd0eb","datavalue":{"value":{"entity-type":"item","numeric-id":2322310,"id":"Q2322310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e153b48e21a194271e44c76a7f8ded9a1a38d8e","datavalue":{"value":{"amount":"+0.7946184873580933","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":"Q2058384$9500D71E-1C3A-44B1-8F02-356F4D03DD07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a7efcddd8b94a3654dc3596fc652f69e5204cc5","datavalue":{"value":{"entity-type":"item","numeric-id":5970677,"id":"Q5970677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01d57a8203b7e1490c597d187a8e35bd25c8c96d","datavalue":{"value":{"amount":"+0.7737624645233154","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":"Q2058384$930D83FA-978D-4E74-92D0-E3C241AE77B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2cdbf432ae8870a5a058a0345e83e30594a04e2","datavalue":{"value":{"entity-type":"item","numeric-id":5915731,"id":"Q5915731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abdfa7c9d4de5b9892e9da8d6cac3c9d35a49736","datavalue":{"value":{"amount":"+0.7720391750335693","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":"Q2058384$7E88BBFC-6B5A-41B3-A165-64AF5E5CDC9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Preface of the special issue on the conference on formal methods in computer-aided design 2017","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Preface_of_the_special_issue_on_the_conference_on_formal_methods_in_computer-aided_design_2017"}}}}}