{"entities":{"Q3510792":{"pageid":5540696,"ns":120,"title":"Item:Q3510792","lastrevid":50400626,"modified":"2026-01-13T23:36:14Z","type":"item","id":"Q3510792","labels":{"en":{"language":"en","value":"Automatic Merge-Point Detection for Sequential Equivalence Checking of System-Level and RTL Descriptions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5297034"}},"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":"Q3510792$C0AE69B9-C82C-444A-96AF-C9189F2F3BFA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"391e96b3fa2a47d03a562832273aa720bfbcbf64","datavalue":{"value":{"text":"Automatic Merge-Point Detection for Sequential Equivalence Checking of System-Level and RTL Descriptions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3510792$AEBB4C23-342C-41D7-AD06-C760CAF4BD99","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ca932853e57fb977f9017c7fbcc78d5605d38fc","datavalue":{"value":"1141.68448","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510792$F272B812-53B4-4B69-8E5A-25809B63EEDE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3fac2c4fe923b2f51a18ebd7a2971a9971c2c7c7","datavalue":{"value":"10.1007/978-3-540-75596-8_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510792$4D05D9FF-61DD-48BA-A386-66F7A99913DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fac2688ba0f82b209faa2296c370ee798768029a","datavalue":{"value":{"entity-type":"item","numeric-id":2982232,"id":"Q2982232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510792$078909D4-3618-4174-8177-2106AE601FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7e9556fdf51de0d72d9c6d19343bfd14f1e1dd1","datavalue":{"value":{"entity-type":"item","numeric-id":728779,"id":"Q728779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510792$9DE96557-675A-4DA5-8DB0-B9BDEE50F8D9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510792$C4217D5D-1349-44D3-A53A-09D47B2832E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f56be72f9fbb489e432bf17d8b59be96c2fd855","datavalue":{"value":{"time":"+2008-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3510792$3EE1393A-5CA2-4E47-AC4D-D52F2F3D0C03","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510792$133BD3CC-9F7E-4189-9BBD-E28BFB0E11A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c1630d71d35e1c10d593087f44379fbb12d71d65","datavalue":{"value":"5297034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510792$15F68F89-33E5-49E1-AF49-EB22D9A84418","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9dfcef1441ea7ee9569cf9932df288509156977d","datavalue":{"value":"Formal Verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3510792$9DB34497-1A7D-47AD-97A2-B26A429D025D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f84d2cda567ba409f4372925d419df36f4289d2","datavalue":{"value":"Sequential Equivalence Checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3510792$D5C0861A-C405-42FD-BE7A-EA32E09A70B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1c8431a17f743bbcbb13f3cd5dbe467e0bbdf0a","datavalue":{"value":"System on a Chip (SoC)","type":"string"},"datatype":"string"},"type":"statement","id":"Q3510792$208D8DB7-38D9-4FBD-99A6-822425060E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab74573b1a2edca911f8cd88cae377952e8e1743","datavalue":{"value":"Communication System","type":"string"},"datatype":"string"},"type":"statement","id":"Q3510792$9161FC35-6883-4A8F-A79D-6760CCDAD5FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1118a251f612944ff8f44660ec0d5b5e52eda0a3","datavalue":{"value":"Canonical Representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3510792$64B9FD60-1B40-409D-8A86-8D80DA83F75D","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":"Q3510792$BAB7F812-C5F4-4808-A5E6-FF80EECCB85E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b9d1482cfbd7bfb773bae438c7a16b8c7f99dbad","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75596-8_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q3510792$C5A1FA29-FE0A-40D8-957D-688B1A7F2B40","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ed5db5284385e57eb71221dc9c753ca57cadcbe2","datavalue":{"value":"W1565813530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510792$6EA3868C-F0CB-4371-8C93-73E253E3D5E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a08f18eb0a6945a7924252d7dfae80fd516bcd7","datavalue":{"value":{"entity-type":"item","numeric-id":3628525,"id":"Q3628525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2711ea62810e35154c80ce004a25364f59cd2b2b","datavalue":{"value":{"amount":"+0.7841887474060059","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":"Q3510792$0E97DEB6-624A-49DE-BBAF-8E1D6D66EBE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"105ebb331bffb822dd311e53afa7210e262ddc73","datavalue":{"value":{"entity-type":"item","numeric-id":5493239,"id":"Q5493239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99947436e07a9aac95f6d045afee0aef86e55d9b","datavalue":{"value":{"amount":"+0.7377874851226807","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":"Q3510792$83A7B1B5-702E-4BBC-BC77-B939A786392D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35d96b7548c1a7539d92f24bd1b60d54b5e9a694","datavalue":{"value":{"entity-type":"item","numeric-id":2783110,"id":"Q2783110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"348e89d68e26adcba1a832ee440cf3c72e1498e9","datavalue":{"value":{"amount":"+0.7089745998382568","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":"Q3510792$48FB82B4-F8B0-4312-AE7C-E74D2134A32C","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":"0e8533c03f9e9810854e66ceb8dcfd33a72a9f0f","datavalue":{"value":{"amount":"+0.6927140355110168","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":"Q3510792$68A7972D-1A24-4C87-AABE-4B9FAAE058AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77a9e85c383fe41407b3aa61df74a39f4733a69a","datavalue":{"value":{"entity-type":"item","numeric-id":2746577,"id":"Q2746577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c00788ccb2c683956b1e3b7b4574c568c7109887","datavalue":{"value":{"amount":"+0.6828643679618835","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":"Q3510792$AED74F0A-9063-472C-BC97-E6C601DF3ED2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3510792","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3510792"}}}}}