{"entities":{"Q6828069":{"pageid":15108358,"ns":120,"title":"Item:Q6828069","lastrevid":56006179,"modified":"2026-02-24T12:53:25Z","type":"item","id":"Q6828069","labels":{"en":{"language":"en","value":"Toward verifying nonlinear integer arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7165874"}},"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":"Q6828069$54D3ABB3-32FE-4F17-BC41-BF55107D7323","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f41c8df1d73aba7237bc90d20c55de8e5b0c34bd","datavalue":{"value":{"text":"Toward verifying nonlinear integer arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6828069$CB648594-6F04-41CE-9416-D4C81AE9783B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fafbc963041b78e6831f2c7f4dbea5489302929e","datavalue":{"value":"1473.68105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828069$D846A5EE-DA98-4B68-A4FF-F80DE187BE73","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f2c57bedfd36ef0ba90f2eac04dbbe31dbf0fea","datavalue":{"value":"10.1145/3319396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828069$17CEACB7-C053-4AC1-B831-049E59BEFDBF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bdeac5e928e087a649bdeced20db2b34fab0678f","datavalue":{"value":{"entity-type":"item","numeric-id":1822913,"id":"Q1822913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6828069$1F81BA81-F891-4C8B-961A-38C6C4E37B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"761d98f0526d54cd3b9142dbc024336f3bcd6fa9","datavalue":{"value":{"entity-type":"item","numeric-id":2164224,"id":"Q2164224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6828069$EFD86354-2024-4D4D-BDA5-692F078A636D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6828069$825BAA1A-86F0-42AD-962B-E19D7FD282FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b6e2eeedf8e55f06b00a7b5e5c6475d26222915","datavalue":{"value":{"time":"+2020-02-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6828069$C85242A0-DFC9-469D-87FD-A61F89D57E57","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828069$69C475F1-0367-4C24-AABA-4DF03D0C7592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828069$DC3D7C74-93A9-4818-9C08-7A9D76AABDC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c11e1636e28bd1a59d5342c1523bca4bf56a601","datavalue":{"value":"68Q06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828069$AB1D99BA-2C9E-4A74-98B3-DFC1DDAB361D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9fa9d7c6273c60376e38e5f9428c1264c427b620","datavalue":{"value":"7165874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828069$380735A7-0CB4-4946-9CAF-C0C2AC6B4212","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"233db89dd963d66d778f3c117bed91a60045a7c1","datavalue":{"value":"multiplier verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6828069$71166434-E2AE-4980-8365-3C9D8A70C7AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543c7d0ffd0c52aa92a423848e3694a5bcbfca1e","datavalue":{"value":"SAT solvers","type":"string"},"datatype":"string"},"type":"statement","id":"Q6828069$FF3B6A69-B142-4483-AD77-6ECC86BB8BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1630fc900439d5dfeb37bb596a5b9ef3839060b","datavalue":{"value":"resolution proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6828069$B0AD1A0A-96E6-4159-B201-98A1B0CF08FD","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":"Q6828069$4640F8F6-0ACC-4A0E-9948-167E5F0995B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Toward verifying nonlinear integer arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Toward_verifying_nonlinear_integer_arithmetic"}}}}}