{"entities":{"Q6828068":{"pageid":15108352,"ns":120,"title":"Item:Q6828068","lastrevid":56006170,"modified":"2026-02-24T12:53:24Z","type":"item","id":"Q6828068","labels":{"en":{"language":"en","value":"Towards verifying nonlinear integer arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7571379"}},"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":"Q6828068$E463A6EC-2832-46CD-916E-7CAC65E588B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4d56bf06523225c8fc2c844fa821d0d55a39b39a","datavalue":{"value":{"text":"Towards verifying nonlinear integer arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6828068$BF90B427-B008-4CB5-BB2C-8358FBF33DCF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3e9f492db8b9a7a8b2c6e4abf1d94b29a9a1bbb","datavalue":{"value":"1494.68161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828068$103A6100-00DC-448D-8E05-730029022306","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"49108e49fceb58cc6fb511cdaabb3e36c28548bc","datavalue":{"value":"10.1007/978-3-319-63390-9_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828068$ADDC3E04-13F3-46D7-BCFA-4AB8F8839FDE","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":"Q6828068$9E645476-2A02-4903-89DC-9E7D386B48B0","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":"Q6828068$B94CCB0C-AF19-4AE0-B0B1-95241BBEB109","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6828068$A92FDA88-B8C7-4970-BA7A-950B4C5A4C89","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7aa7040e0858a957251ee78ad1edc7d13d61d833","datavalue":{"value":{"time":"+2022-08-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6828068$22AACD4A-3181-4D02-A40A-0DC4BDF2B702","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828068$F5BE1BDB-FB64-4EDB-B880-4DFF7174BA7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828068$127106E8-09FB-40D8-83EE-4678BA1A4AAD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3bec290f20f0781d907d16215b5d57940c839b7","datavalue":{"value":"7571379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828068$576DAB5D-92E1-4EDE-A287-8223D476C824","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":"Q6828068$85FAC159-B2AD-4B98-B97D-1AAC9F2E60D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards verifying nonlinear integer arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_verifying_nonlinear_integer_arithmetic"}}}}}