{"entities":{"Q5696928":{"pageid":7726488,"ns":120,"title":"Item:Q5696928","lastrevid":92813783,"modified":"2026-06-05T02:49:00Z","type":"item","id":"Q5696928","labels":{"en":{"language":"en","value":"Efficient Symbolic Representations for Arithmetic Constraints in Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2216298"}},"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":"Q5696928$CFC2467E-FB2B-4A0F-8BEA-C02C8EC51998","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b8679ec08ccbea5bc02fa7ba276a4914343d7f3","datavalue":{"value":{"text":"Efficient Symbolic Representations for Arithmetic Constraints in Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5696928$DDC068DD-5CDA-4C34-86B8-287B45951FD0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f4b0ede478bb4ecd2f050bbb7e87144abd439455","datavalue":{"value":"1101.68642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5696928$A66576D3-EA0D-4AA3-8507-014289423C02","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe8bd0c312dca4c6fd819cd90de37414018225ce","datavalue":{"value":"10.1142/S0129054103001911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5696928$F36E1941-978C-453D-924E-E3ED9A49EAAB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2aa8fd9d95c405c3a22805eb4497c524afe8a64d","datavalue":{"value":{"entity-type":"item","numeric-id":3552048,"id":"Q3552048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5696928$AB73F211-2D27-4B43-B955-82CD7E6019E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"859f8ee7581350f1031dec21f694fc43324b283d","datavalue":{"value":{"entity-type":"item","numeric-id":344798,"id":"Q344798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5696928$0E364F79-3003-4A63-9101-ED75D686A504","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5696928$0E9E823D-597E-4EDA-AE20-204FA7C53F93","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ec906ea159c3c9221d9669059cac573ea98b69ed","datavalue":{"value":{"time":"+2005-10-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5696928$CB297B28-DA9C-43BE-8A2D-4C3CA0E85D84","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5696928$E35DC4A0-30B7-4261-8C2C-9CA7A59B0EBB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c3a424a65162cc21c5d7b25dadc6544733a75345","datavalue":{"value":"2216298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5696928$3A4FEEFC-B694-41D1-9FBC-7519D24877E8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5696928$7E14A27C-8D27-4D81-B7CB-9835BE437BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2df178223b1e5ffb141dc775e6b2df8ce9e76afc","datavalue":{"value":"presburger arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5696928$A9650213-7E96-4E1B-9024-7E066175B46D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"261888da12e497343a706346470f9845c915722e","datavalue":{"value":"symbolic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5696928$33C1C7EF-4596-4E99-9F91-6F58CEFBAF7E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5696928$30E87A37-615F-4F6A-B42B-EDA2FC2C002F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9e3f84d9812dbe2b9f43d05f4bc1fc3ce47540e4","datavalue":{"value":{"entity-type":"item","numeric-id":18304,"id":"Q18304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5696928$3D37D0B7-6C02-4D91-BD61-8B3F98F0DA7C","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":"Q5696928$6C765D32-3DAB-4A91-8179-DA9ACAAF012E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a388ffd503a2561c64bae2f63ad0b8c1881469e","datavalue":{"value":{"entity-type":"item","numeric-id":1856193,"id":"Q1856193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5696928$19942445-073D-441F-95E2-F26530510EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b347ba146e473c8b2ab1a52ce0b52948f43fee20","datavalue":{"value":{"entity-type":"item","numeric-id":2763635,"id":"Q2763635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5696928$E83141FA-B3F9-4B0B-BBD4-136EB2DEE417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"905bced2f4ed2fada959527f35930716f00e84f3","datavalue":{"value":{"entity-type":"item","numeric-id":5677070,"id":"Q5677070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5696928$20E9E4B6-5A95-4126-9AD2-D891A27ADEFB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b2d4347bdac2ab2f1564015f3aed2a9ace42cd2","datavalue":{"value":{"entity-type":"item","numeric-id":4418627,"id":"Q4418627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6957cb3c6ddfabda026a5fc0ed016d4100bb7a24","datavalue":{"value":{"amount":"+0.9466379284858704","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":"Q5696928$C1CD8416-5C25-4883-84B8-F548B45F968F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0befcb00fd7bd3ce1417a9a9577e0c001612607c","datavalue":{"value":{"entity-type":"item","numeric-id":5900682,"id":"Q5900682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9566062a0e7efa3ce8710452dad1a6e82ea1faba","datavalue":{"value":{"amount":"+0.7777331471443176","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":"Q5696928$ED7CBE27-E3CE-4FF3-A927-524D498E144A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af49f7ef040a6591365d3625a89ab91b36490260","datavalue":{"value":{"entity-type":"item","numeric-id":4417941,"id":"Q4417941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c25f424f293c8719698d01d7bb9cded7e6bfa317","datavalue":{"value":{"amount":"+0.7673160433769226","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":"Q5696928$1C24845B-F6B2-452A-901C-1F849A7F96CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb964de034de371cd048d49626debebe234a8eb5","datavalue":{"value":{"entity-type":"item","numeric-id":436418,"id":"Q436418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4aec36acfcbe5286dbf4fb14a04e37a10d8d2d24","datavalue":{"value":{"amount":"+0.7573116421699524","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":"Q5696928$53E1BA7D-76AF-41EC-B946-2E646E2AF2F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a54789e32430f1018054948eb060d2fc452ab3b","datavalue":{"value":{"entity-type":"item","numeric-id":4809151,"id":"Q4809151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97f655581cfb0f9631bfc03267c7b04a40d5ea59","datavalue":{"value":{"amount":"+0.7560974955558777","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":"Q5696928$807D6354-7DC8-44F5-AA28-B6949B16564D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient Symbolic Representations for Arithmetic Constraints in Verification","badges":[]}}}}}