{"entities":{"Q5492989":{"pageid":7522549,"ns":120,"title":"Item:Q5492989","lastrevid":49947481,"modified":"2026-01-12T05:57:02Z","type":"item","id":"Q5492989","labels":{"en":{"language":"en","value":"Formal Methods in Computer-Aided Design"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5065510"}},"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":"Q5492989$681B8975-1EA0-4E8E-93D7-B0FC4786FD52","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":"Q5492989$112B1B3F-20F8-42CB-B3BE-EC55B694177A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"626ad17752c6d75c6cd8da9a334ceb22fc732189","datavalue":{"value":"1117.68436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492989$8D5D61AF-B38F-4452-AAAE-9084D3357D6F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e255ef244e1fa5f91cdde68347c08d5a61e015d5","datavalue":{"value":{"entity-type":"item","numeric-id":847261,"id":"Q847261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5492989$775469AC-5AFD-48AF-9B4F-699A5057CD74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab766bab7d2d121997187bafff958b477c6b8a01","datavalue":{"value":{"entity-type":"item","numeric-id":234696,"id":"Q234696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5492989$B160679B-FEEC-4E57-8830-C25B06606623","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":"Q5492989$7212A0C8-D246-4D80-B75B-650A33A28B0F","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":"Q5492989$3EF25B53-D2C8-49FD-9B19-DF7C2F0F53AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492989$DD5B9941-CD08-43B1-8170-413E565699D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b4690b4e485b381c544b13ebdeaa1dc3b6134599","datavalue":{"value":"5065510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492989$C26042E6-ED63-4E90-8CB5-7E4FE631A947","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":"Q5492989$B29A21E4-C1F5-432A-860D-D8A7893BC666","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":"Q5492989$6B22DFB6-1117-43F5-B820-5D323A6C078C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"541267cf8ad04357cd91ba63896e7b9b0796c6e2","datavalue":{"value":"W4229585471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492989$E0A685E9-AB98-4598-A55D-85B51B989120","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ddf10ec47407bad7b4f0a200cbaf29899b0fcd7","datavalue":{"value":"10.1007/B102264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5492989$3D239346-347A-45A7-974B-1C8825ADE66F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd13b7aa32efb497bc12231ac98054aa66717b33","datavalue":{"value":{"entity-type":"item","numeric-id":5308426,"id":"Q5308426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be7683aa4dc2af68c4b107c8daf5c131ca015456","datavalue":{"value":{"amount":"+0.86648029088974","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":"Q5492989$224938AF-78FC-4B54-9D6B-5BD96C82637F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ee915f4abc6559a69fc1814b4f51bb66befb1ae","datavalue":{"value":{"entity-type":"item","numeric-id":5900691,"id":"Q5900691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a35a24368c4681b5344250bba6d8b9682bf0f4a6","datavalue":{"value":{"amount":"+0.8602908253669739","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":"Q5492989$10C4615E-4AC3-46AC-AB2A-9426150B738C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d78244da843102021ff7918a16dda8e1cc735978","datavalue":{"value":{"entity-type":"item","numeric-id":3498452,"id":"Q3498452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44dce7e5dd0f836d2f090f45511dff9a5f1dbfa5","datavalue":{"value":{"amount":"+0.8558448553085327","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":"Q5492989$4FFA34A1-624F-4DAE-A4CE-5B657B68A028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd84259e5c406fadf359a20b9170649d4d5d7b52","datavalue":{"value":{"entity-type":"item","numeric-id":4804918,"id":"Q4804918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dad0fbad6986941187a77322b936f6b8554f94c","datavalue":{"value":{"amount":"+0.8481350541114807","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":"Q5492989$88BC4E30-122D-4692-A649-2A0765B47D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93e5a802f103f0bfdf3aefa2189cd86d645ad3c0","datavalue":{"value":{"entity-type":"item","numeric-id":5493227,"id":"Q5493227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dad0fbad6986941187a77322b936f6b8554f94c","datavalue":{"value":{"amount":"+0.8481350541114807","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":"Q5492989$3ECB33E0-96DC-48E3-958D-93CA399D702A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5492989","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5492989"}}}}}