{"entities":{"Q3503891":{"pageid":5533795,"ns":120,"title":"Item:Q3503891","lastrevid":88415573,"modified":"2026-06-04T14:27:58Z","type":"item","id":"Q3503891","labels":{"en":{"language":"en","value":"Automata Applications in Chip-Design Software"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5286065"}},"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":"Q3503891$3C22029A-ADFD-458E-9D3F-B1CE54769A30","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a73b2c6e60d83d3c0cc277614fde12ba736cbec","datavalue":{"value":{"text":"Automata Applications in Chip-Design Software","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3503891$21C21C41-F13C-4631-82AC-52F29D139AC9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e9a88315830d006ab2bf9a226a1cccbeb01765dd","datavalue":{"value":"1139.68378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503891$59E265D7-6CC6-4227-8970-98E8DBAA3EF7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"40537398677e786e78a89dc7952813e89c15de88","datavalue":{"value":"10.1007/978-3-540-76336-9_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503891$10B92E16-0BCB-4CB5-9A54-EF90F3BDEA85","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bf83f812d2bbb21784a7f63045abdaccf0cc333b","datavalue":{"value":{"entity-type":"item","numeric-id":2830201,"id":"Q2830201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503891$6C10359C-0ED8-41E5-A603-9715B0B95E3C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"02f425c9fa8666905f3e65543eb13845c1c7986a","datavalue":{"value":{"time":"+2008-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3503891$3A58E8C5-5D13-45E0-877D-CC40414A648E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503891$A4F30DA6-7769-4CAE-8482-1B314BA152C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503891$155F4BB7-361F-426A-9C01-F2CF26D382B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c1d094e63aee3ba3c5cc8ca8bc79a5b8a4d7248","datavalue":{"value":"5286065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503891$B50817F7-E832-4F4E-A6A2-2AF9C34A89B9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88d63a61fe905d9d280d775ae3489416fcd5b9ed","datavalue":{"value":"EDA","type":"string"},"datatype":"string"},"type":"statement","id":"Q3503891$2018B7C5-C66B-4CD2-B8F1-AD954421885F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"606d4695c05058d48652a0968d982a9bb0317093","datavalue":{"value":"integrated circuit layout","type":"string"},"datatype":"string"},"type":"statement","id":"Q3503891$9FBF5E41-6150-4959-AEF9-4D06EA5DEACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2450e02f50939b46b52c3140c8d1d485cebe36e5","datavalue":{"value":"pattern matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q3503891$2738E9AC-7B4A-4A60-9EDD-4008E48AE8D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1edd32019c3f10a6d51915f1c0841d697f968f66","datavalue":{"value":"design rule checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3503891$02B2B8F8-B532-46A5-ADB0-C6900AC2D59A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c61e0e916eb1cee86efe0c54b6b03fdf4611040d","datavalue":{"value":"chip design","type":"string"},"datatype":"string"},"type":"statement","id":"Q3503891$50C299B0-B935-4642-9CE7-5A8498B6A338","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce11e304b12ce8eb4001d7c8da082d7623115e0c","datavalue":{"value":{"entity-type":"item","numeric-id":722213,"id":"Q722213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503891$BB2F6E21-99EA-4431-85AD-F4D743856295","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":"Q3503891$F613BABD-1C33-46C0-86A8-354A85F312FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3cfe444666efb20b6aee88a4ea1b3dfa55b589a4","datavalue":{"value":"https://doi.org/10.1007/978-3-540-76336-9_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q3503891$4E01947F-46A3-4EBE-95F9-0F5537C66037","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d5e4af52dba25a873a69cd6f21f845410a1efade","datavalue":{"value":"W1523219480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503891$5E064DCA-DDE9-49E4-B149-9DE107439BC5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"99e9184e66f2f9361c704f0534ba8a6d626e3278","datavalue":{"value":{"entity-type":"item","numeric-id":4434667,"id":"Q4434667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503891$76510081-C5C8-4767-93EE-CFB32A4A0176","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4675cf6672d3e82eeaafe60f83c870e6857c3fd","datavalue":{"value":{"entity-type":"item","numeric-id":4490750,"id":"Q4490750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8915d151c9a82ae4882987e73a7e55eab1b527ac","datavalue":{"value":{"amount":"+0.7107511162757874","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":"Q3503891$AE5BCBA6-F499-47E7-8104-4BAA1B7460D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"991146f5d001d38e4781780edcd5588d6b97d55b","datavalue":{"value":{"entity-type":"item","numeric-id":4219538,"id":"Q4219538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd818641da89590a49439d87f179123347489a2b","datavalue":{"value":{"amount":"+0.7053868770599365","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":"Q3503891$43961286-712B-48EC-90BF-F0F28997BE3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3f9d7747c9d80ff170b782b26fb981d975b5b59","datavalue":{"value":{"entity-type":"item","numeric-id":5435639,"id":"Q5435639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78f107546ad26e2a5042c7f721f2fec4849f8d3d","datavalue":{"value":{"amount":"+0.701080858707428","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":"Q3503891$9E3BA780-F5FF-4CDC-93AD-58F17CD08233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77d0f1bbc14d52e56e8bd5defb8bbe63ddef2b3e","datavalue":{"value":{"entity-type":"item","numeric-id":3574331,"id":"Q3574331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"378ca3ac84a532d9e5f1988470b985c2925e0b96","datavalue":{"value":{"amount":"+0.6952695250511169","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":"Q3503891$9C96A23F-95C5-4195-A203-0FFB364A3B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8745c9701638d74fcbee36846694c2e0d1fb75bc","datavalue":{"value":{"entity-type":"item","numeric-id":3024870,"id":"Q3024870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c05ada5be9d0e94bf7f0fbc4f49db90c6ca3524b","datavalue":{"value":{"amount":"+0.6946235299110413","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":"Q3503891$98CB17CB-F460-4E4E-A4FA-6EA980BE9D06","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automata Applications in Chip-Design Software","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automata_Applications_in_Chip-Design_Software"}}}}}