{"entities":{"Q2375464":{"pageid":2386207,"ns":120,"title":"Item:Q2375464","lastrevid":72640554,"modified":"2026-04-14T06:14:56Z","type":"item","id":"Q2375464","labels":{"en":{"language":"en","value":"Algebraic verification method for SEREs properties via Groebner bases approaches"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6175780"}},"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":"Q2375464$FE11F69A-5B7C-465F-8093-B72169446ADE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"34e72e8a1869608455b0ab6e7b87cda2059b8049","datavalue":{"value":{"text":"Algebraic verification method for SEREs properties via Groebner bases approaches","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2375464$AF9007B5-A932-4764-80CF-E4E69B44E0BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"68c751d749887c0cd97c859559e7454676536434","datavalue":{"value":"1267.68147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2375464$B5FE19E9-DFB1-49D1-8C04-C52142F655F4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"911e8442664a73f1f4eb1e82d48fb84b19ce4c4d","datavalue":{"value":"10.1155/2013/272781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2375464$046ACBC2-10B5-41B0-A120-05C698EC1B72","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8d938d3d91898b59babbd2432dfa2a5678221bd","datavalue":{"value":{"entity-type":"item","numeric-id":364507,"id":"Q364507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375464$A5476874-0866-4B23-B3DA-B58B3872C792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9908da4c0d15bb70ccc4f3e4cf3d81e70c4d2006","datavalue":{"value":{"entity-type":"item","numeric-id":201220,"id":"Q201220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375464$B8E81A4E-1562-42C6-A5FA-F878E1DBFED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a3e615336cdaa5e3472dc05b54acd5b74a7b1ba","datavalue":{"value":{"entity-type":"item","numeric-id":364506,"id":"Q364506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375464$1B35F960-7E35-45BA-9A47-993F4CEA2D8F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bb299feb2b87699ac8beef494c52fd2765eaf609","datavalue":{"value":{"entity-type":"item","numeric-id":118601,"id":"Q118601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375464$CB1E1596-3CBE-4433-98EA-B7E430F9FD29","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b84d2a34981f1c1a0d0fb543ea5aabc14a21194b","datavalue":{"value":{"time":"+2013-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2375464$29A328FE-44B8-43E3-8AAC-4B23FD5AC598","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e668ca42f09ddcbc379c4edc96d622e6d323ce44","datavalue":{"value":"Summary: This work presents an efficient solution using a computer algebra system to perform linear temporal properties verification for synchronous digital systems. The method is essentially based on both the Groebner bases approaches and symbolic simulation. A mechanism for constructing canonical polynomial set based symbolic representations for both circuit descriptions and assertions is studied. We then present a complete checking algorithm framework based on these algebraic representations using Groebner bases. The computational experience result in this work shows that the algebraic approach is a quite competitive checking method and will be a useful supplement to the existent verification methods based on simulation.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2375464$E21DC48B-68B0-4F16-90FB-9C11350EF76E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2375464$2E0041D8-BCB4-4FB9-9494-4DCEC467A17D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2375464$052C7036-FED2-4162-A4AE-2E12ACA2BAD3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c8c253d25ebeb2fdd484e11bf7beec9412cd5dd5","datavalue":{"value":"6175780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2375464$95A3DAD9-6D4B-4883-BDB5-54208FEF72F0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4339627b4057282a7666511cbc9a176d966a56f0","datavalue":{"value":"linear temporal properties verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2375464$8F6D598B-DC4C-4CA6-98E3-0E348D1E1223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b32ac9d9a0f902cf6dca69ff5e3f4b885250f40","datavalue":{"value":"synchronous digital systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2375464$7AD2B82E-4AB6-417D-B674-DB011E20349C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"837b8c39dac0a9cd68b80f633aafdfc5df2d46f6","datavalue":{"value":"Groebner bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q2375464$BDDBE31A-A7FC-4913-BA48-5B146F46E01B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6174a92dcfaf36a059a5bb5a70ea45f891d6e74d","datavalue":{"value":"symbolic simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2375464$916765AB-9E69-455D-9874-6B34A67FA806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d17109e875f62271267ba944e1d111a7f52ed69f","datavalue":{"value":"computer algebra system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2375464$CD795BEE-C3B8-4F11-9EA2-5FEBB800B458","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1c38e67612dd7e7a851205cfcdd63f03f3c829d4","datavalue":{"value":"Q59002500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2375464$282D3FA6-7319-4CDE-B575-1FE63B89C836","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":"Q2375464$EE61A23C-5096-4718-A8F0-828DCF52E298","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"172247a1e18facddab4f91b010adfd836020b5ed","datavalue":{"value":"https://doi.org/10.1155/2013/272781","type":"string"},"datatype":"url"},"type":"statement","id":"Q2375464$001BCF4B-2279-43AA-AD1F-B9580456BC32","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cc5515df55aa4fe58975cd3ea50a62c3453222de","datavalue":{"value":"W2044929429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2375464$EAF5A132-89F1-4760-A5C2-CA449B682BD5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac4ce27d9cea2b01c4edcb4999b99aa016a1252b","datavalue":{"value":{"entity-type":"item","numeric-id":5262770,"id":"Q5262770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375464$A4FA1C7C-F040-4A2A-BF79-2484B65D1845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e969a3199b400623a85765d831bc59aa0b7f187e","datavalue":{"value":{"entity-type":"item","numeric-id":4304871,"id":"Q4304871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375464$9FC200D1-66BD-410C-8D59-D70340AD50F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42c0792488840d3f0d8b2190af21c8079ddaba77","datavalue":{"value":{"entity-type":"item","numeric-id":2727696,"id":"Q2727696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375464$1F46E224-147C-4F14-907D-89706C483C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2ff57ef70bd9e86c9b7017e46b8cd84cb7965f4","datavalue":{"value":{"entity-type":"item","numeric-id":3714165,"id":"Q3714165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375464$3D7C7F13-3CDD-41FE-A207-414D81669239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1da78c318a2ebfcde662c73de31a4c803f992895","datavalue":{"value":{"entity-type":"item","numeric-id":5439708,"id":"Q5439708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375464$47165110-782B-4ADF-A5A1-7E133E9F8DB8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f317ba8f483e2558fbbfa4abe5b7b1230f32ab69","datavalue":{"value":{"entity-type":"item","numeric-id":2336212,"id":"Q2336212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8df1f9f3bed03b1297313c2454d5ef7a8102b332","datavalue":{"value":{"amount":"+0.8155251741409302","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":"Q2375464$93802FE0-04AA-40DF-AB0E-6FE3DF09A45B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b25e621a64b5c2beb9f170c779ed8d87af2d7d8","datavalue":{"value":{"entity-type":"item","numeric-id":1017680,"id":"Q1017680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fed3f8396d98a1fb41464ccc2b676c48733ad18","datavalue":{"value":{"amount":"+0.7279781103134155","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":"Q2375464$8449EF10-E70E-4A8C-88E4-DFB7A48599B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6882b79013d56774d5b62d9efa037be9974b73d","datavalue":{"value":{"entity-type":"item","numeric-id":5754519,"id":"Q5754519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bde166cc5b0dc803fc7b7469aaf65b075a0e0e5","datavalue":{"value":{"amount":"+0.7275896072387695","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":"Q2375464$866E5263-B8DC-477F-9AA6-F5936259384C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34b3adbab84e01470b1077854b75cd9ca602e696","datavalue":{"value":{"entity-type":"item","numeric-id":3401771,"id":"Q3401771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c42a0ba94f0d8f08af3d7d968f82e7bfd917cec","datavalue":{"value":{"amount":"+0.723445475101471","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":"Q2375464$D0BACDA1-01A0-4BD5-AE79-CB12F2B974BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99557215988aed1340ebb29c3044545df58872e5","datavalue":{"value":{"entity-type":"item","numeric-id":2760254,"id":"Q2760254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dcf2df03c45a41f2adb2f44bfb9bbfefe0c9046","datavalue":{"value":{"amount":"+0.7232336401939392","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":"Q2375464$1D6CE9E1-DA3F-4791-BE81-F4C0BFA5F038","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375464$1E183ADE-B532-4310-A45E-719CE0D6A2C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebraic verification method for SEREs properties via Groebner bases approaches","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algebraic_verification_method_for_SEREs_properties_via_Groebner_bases_approaches"}}}}}