{"entities":{"Q3512509":{"pageid":5542413,"ns":120,"title":"Item:Q3512509","lastrevid":88313708,"modified":"2026-06-04T14:12:10Z","type":"item","id":"Q3512509","labels":{"en":{"language":"en","value":"A Practical Approach to Word Level Model Checking of Industrial Netlists"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5301133"}},"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":"Q3512509$0DF5A028-26C9-476A-9D5F-5D41DE080E8D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b3d0913fbe47c7639560507e47a1f1b93abc62c1","datavalue":{"value":{"text":"A Practical Approach to Word Level Model Checking of Industrial Netlists","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3512509$DDECD0A5-1198-4B7A-8B6B-0E394CC7A8CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"56694d91b186497ee02ac19a0958bac946cbba85","datavalue":{"value":"1155.68425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512509$E34CDE6E-2ACC-485E-AD22-FC310DD4FEA8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fa823961ca61b49e3d6b39345d6e3acb86f48df6","datavalue":{"value":"10.1007/978-3-540-70545-1_43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512509$4CDEF7A5-8B64-4A57-AFEE-B4E61C235DCC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f248fe21377e45424ca718e5d0fe750e76a31a53","datavalue":{"value":{"entity-type":"item","numeric-id":1039854,"id":"Q1039854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512509$8AEACBAE-83A7-460F-B140-61FDCD2E04E4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512509$D70892D9-B86B-4825-8A21-52C63B9DDA99","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe6d7edb29c3b9253535d2fc716f213464cdfbcd","datavalue":{"value":{"time":"+2008-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3512509$1BCE21FF-1F61-4957-918F-C4D35782795B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512509$4D61C430-A3D4-4A63-82D2-0AEE5C3DE80A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"efd2dd0e2a737c23a95006b0f67b93212183ebc6","datavalue":{"value":"5301133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512509$74534635-263E-4F07-9FA4-0565EFE83CC8","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":"Q3512509$C96666F5-4AA8-4B1C-9A94-4FC2218875DA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9587f158ca2785a7835851885fb6c07cc87da68a","datavalue":{"value":"https://doi.org/10.1007/978-3-540-70545-1_43","type":"string"},"datatype":"url"},"type":"statement","id":"Q3512509$A877A1BA-F867-4776-8598-1BD45B9F1B71","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d5429981eb063bada1ce4f7e001fd40ce8ecc819","datavalue":{"value":"W1551538037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512509$55E9B6FB-8090-4C24-8375-B538984F012E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8ce1097c6167bdccb5f2d7cbdc69f8c9f518514","datavalue":{"value":{"entity-type":"item","numeric-id":1039855,"id":"Q1039855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eba8d0502c201a83d6bfce790c9089d9a15f86cc","datavalue":{"value":{"amount":"+0.8941591382026672","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":"Q3512509$4E65C389-448A-4669-904A-1FA8176D264A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6732d6e9db663678f6a92a9419b533fbcb160d6","datavalue":{"value":{"entity-type":"item","numeric-id":2487686,"id":"Q2487686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be488c24bce2ab3a5646212ae708292eaf496f1f","datavalue":{"value":{"amount":"+0.7677076458930969","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":"Q3512509$0F7292D0-8C48-4E83-BF08-9923CA54714F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fb0b45420a782cfca10d5db6664d68f476b4d41","datavalue":{"value":{"entity-type":"item","numeric-id":1856178,"id":"Q1856178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"062471d3005ec8c8854fbef4eb57efcb3dfa0846","datavalue":{"value":{"amount":"+0.7633675932884216","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":"Q3512509$6A1ECBE5-D1D9-40C0-8941-3BD083BBA747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ebfb906a9656037721472a56ba99dbe61d2c330","datavalue":{"value":{"entity-type":"item","numeric-id":4885877,"id":"Q4885877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a684e573dbdaf1b61902e009dc084c5c11ed0259","datavalue":{"value":{"amount":"+0.7584993839263916","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":"Q3512509$BFD3F701-9F4B-41E8-9768-40B6CE9C9EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54f9bd9490b6f1b69f322f75bdfaf05acbb25e5f","datavalue":{"value":{"entity-type":"item","numeric-id":526779,"id":"Q526779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a684e573dbdaf1b61902e009dc084c5c11ed0259","datavalue":{"value":{"amount":"+0.7584993839263916","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":"Q3512509$0D2AA7BB-8E73-4779-ACF0-943A78FCB347","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Practical Approach to Word Level Model Checking of Industrial Netlists","badges":[]}}}}}