{"entities":{"Q2432238":{"pageid":2442981,"ns":120,"title":"Item:Q2432238","lastrevid":44071578,"modified":"2025-11-19T16:45:34Z","type":"item","id":"Q2432238","labels":{"en":{"language":"en","value":"Finite integer computations: An algebraic foundation for their correctness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5067138"}},"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":"Q2432238$65D66940-F810-4BB9-B641-85852A85BE8A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"03cb91d2f7d7c5343347fb8a9afb6ab65085e249","datavalue":{"value":{"text":"Finite integer computations: An algebraic foundation for their correctness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2432238$3FD9A794-A220-4913-A558-CF3B25F8080A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"643df980726f995d6e705f0a59d2da8aac641553","datavalue":{"value":"1110.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2432238$685ED3AE-AD41-4DA2-8775-E6CCF5E3998C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bfa7cd76fd3f18d715d137d8af393046bfab95b","datavalue":{"value":{"entity-type":"item","numeric-id":2432237,"id":"Q2432237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432238$EC73A03E-89D4-4BA6-90D7-7C874F35014F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432238$7BF69A02-B03C-4B5D-A7A3-A0FBBE451077","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"524490ea1b25be9690e11f6569cdb524b84ba54c","datavalue":{"value":{"time":"+2006-10-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2432238$6161869C-5ECF-4158-BA1A-AA42FE482BEE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2432238$F4474A53-072F-4FF0-9D2E-7028A776F9F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2432238$43280FF2-4108-412D-A070-CC9220F743DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2432238$96F61D38-4521-483E-97BE-B39FD5C8F3C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2432238$0035F9A5-254B-4313-87BA-CE7BD7AD63C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9393af41cced85051dccf7b98786fb69654a6ac8","datavalue":{"value":"5067138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2432238$675174BF-F8CB-40FC-A184-F546C13A69B6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93b9bf9c18461b28faa1366ff4653a879542dc53","datavalue":{"value":"finite integer and residue class arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2432238$9D026586-6C4E-4EE3-BC9C-60557378E744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b390a32006102dcb8067a4941c8730c208be3ce1","datavalue":{"value":"changing representation sizes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2432238$89ABEDF3-D1EB-4704-A9D4-C8ECB5AABD05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2432238$5FF40BCC-06C5-4144-8D67-E3F014057DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2432238$D3AF546E-0B02-4281-8B51-4598E346E8E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e99c9cb22c11fc5102e4fd7ac02c6495af6cb5bf","datavalue":{"value":"Java Card","type":"string"},"datatype":"string"},"type":"statement","id":"Q2432238$DB516400-BFDB-49E9-BF60-5319117556B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87dd55c46f28e025f7f537ba4ca1b1f3e1ba66f7","datavalue":{"value":"inconsistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2432238$D50B4DAB-99F4-4084-A302-21AC28EA22DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9dfbd9a5400e0eb94389ba81b392a3098db4013","datavalue":{"value":"Java Card bytecode optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2432238$FAC41406-2D4B-4350-A557-1F4926B65A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3afc4fc18e4deeaf648a1b37af2d636ff5efce8e","datavalue":{"value":"constant folding","type":"string"},"datatype":"string"},"type":"statement","id":"Q2432238$4054ED09-F8A7-4712-BC08-86AB3C212F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83a2ddc2843a753287e317cfba90755ed8172628","datavalue":{"value":"Java and C arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2432238$75BFDA82-C7DC-4CDF-985E-6555C07311C2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432238$6EFC8462-6032-4BDC-9F1D-AC1B3815E807","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":"Q2432238$45B7A088-BC99-421F-ADE2-F239E101BDD9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b08bb489cf4ed191d53a464297938ac9f29fcef","datavalue":{"value":"https://doi.org/10.1007/s00165-006-0090-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2432238$1BE08194-8C9A-4655-A6F3-9ED74A8732EE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0132dcfaf1f170eea9ab80e8f787eea621028297","datavalue":{"value":"W2072253515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2432238$386ACAE9-9DCA-42E2-A065-D3C1ED5FD61B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5a920206edad1a6f99e68da5bcbff6cfe0d73b65","datavalue":{"value":"Q56815153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2432238$FA5789A2-86FC-4EFB-918B-98D6E409F2D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b46d4c0d367a6ec44674aa31e0e2e2e9e7e5e407","datavalue":{"value":"10.1007/S00165-006-0090-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2432238$56DC0627-2DE9-4893-8E69-A046BA47BBC5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f38a8e8aa65ab099926b1fd3dab8c456755476a","datavalue":{"value":{"entity-type":"item","numeric-id":3813151,"id":"Q3813151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf47f3edee9c5909ebedd6788824c4719b1fb61d","datavalue":{"value":{"amount":"+0.89546543","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2432238$DB9690BB-2562-45F5-8257-44486251BB3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9711bfb8916802120679f4287c5ebe05c73312f9","datavalue":{"value":{"entity-type":"item","numeric-id":910432,"id":"Q910432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29c1222f4a6a1eae76545b2da0537bec462e37a8","datavalue":{"value":{"amount":"+0.8833544","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2432238$9CC2510E-0A7F-4826-8B70-CE868FCC81BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdd7d5bb5feda4354fa93cfc895b45e2174cf336","datavalue":{"value":{"entity-type":"item","numeric-id":5476785,"id":"Q5476785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd821b47b51b85d75eeff61c2516206c884f408b","datavalue":{"value":{"amount":"+0.88329417","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2432238$3D03D90D-54F1-4172-B360-6C84FF16019C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf659fa0eed1de1ae0e7bef192d7456e6b21bb13","datavalue":{"value":{"entity-type":"item","numeric-id":3210038,"id":"Q3210038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a52e63c14aaed7605876958fbc18ceee30dbec8","datavalue":{"value":{"amount":"+0.88140064","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2432238$C85219B7-70B5-4489-BF25-FE979F32C64E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"921a6040b61d632e5f370148d01f1cbd8ae848eb","datavalue":{"value":{"entity-type":"item","numeric-id":3137899,"id":"Q3137899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1618f1575127adf54c181a3ac671690fcc997fc5","datavalue":{"value":{"amount":"+0.8787342","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2432238$47D084D5-4E3B-433E-A5E9-E624E7391793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59e982365a26c719359876a9c433f4642ca28306","datavalue":{"value":{"entity-type":"item","numeric-id":2819730,"id":"Q2819730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0bd81642fa94b417ff829b32ec694d9caf315d7","datavalue":{"value":{"amount":"+0.8786279","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2432238$FF491ED2-937B-49F0-B7DD-3576800022AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"364902878243b0057fc24593b44deb09d909fdf0","datavalue":{"value":{"entity-type":"item","numeric-id":4026921,"id":"Q4026921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bf4a67c675a82d7e95d3b999a31d709a6a7d498","datavalue":{"value":{"amount":"+0.87648904","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2432238$4BFCAF4B-6C85-480A-9093-14F82ACF6F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4f8aab27810d2dc83e2d2586820e3677ef8c186","datavalue":{"value":{"entity-type":"item","numeric-id":4950127,"id":"Q4950127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cb7a50c63b496e977fe661372584c9341bc8668","datavalue":{"value":{"amount":"+0.8741799","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2432238$737EBA82-04C2-4D78-B20E-422185043F32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89e15829a4ae04c456d3c57e7466c7fda4ba2efd","datavalue":{"value":{"entity-type":"item","numeric-id":3234207,"id":"Q3234207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f3c3aadf378b80fded726772212683f95fad960","datavalue":{"value":{"amount":"+0.8734064","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2432238$0105B8D5-CE41-458E-9C79-4D9C69CCD6B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7b1c13408928b36ac338257560cda5593c36c7b","datavalue":{"value":{"entity-type":"item","numeric-id":2433009,"id":"Q2433009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98b979052f815f36813325b7ae2a035a3d691936","datavalue":{"value":{"amount":"+0.8726771","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2432238$3D497D3F-F50C-466C-BFB4-04C0220B05FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2432238","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2432238"}}}}}