{"entities":{"Q4729316":{"pageid":6758893,"ns":120,"title":"Item:Q4729316","lastrevid":49305682,"modified":"2026-01-06T22:41:24Z","type":"item","id":"Q4729316","labels":{"en":{"language":"en","value":"Static analysis of arithmetical congruences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4113948"}},"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":"Q4729316$776899F0-15ED-4EE8-A9C0-E0F99AC5BC10","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd7fdd3d7c366760bafa533ef396a69fcbf20aab","datavalue":{"value":{"text":"Static analysis of arithmetical congruences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4729316$86BC6D63-AE44-459E-ACF9-DC48BC995718","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0cf7d371c4747446b4a23675281c1a6b8076bc7","datavalue":{"value":"0679.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4729316$69F7270E-AB1C-44FC-92D7-06D9F88EB14D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"568b2855230f04f1ac5745fbe59537c17690ab49","datavalue":{"value":"10.1080/00207168908803778","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4729316$A92908FA-7C8B-49D2-ACEC-5942E7AD9121","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"24de5afd22983a2d06df7aefdc2f645ae808aa31","datavalue":{"value":{"entity-type":"item","numeric-id":2736341,"id":"Q2736341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4729316$371A891B-8140-49BB-94A3-112F9E88D2C9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1f8a1cf422dc8a39955e3a7180ef4ce8229538d6","datavalue":{"value":{"entity-type":"item","numeric-id":2710741,"id":"Q2710741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4729316$AD012E80-DFD9-49FD-B6F5-409ABEE3EFF0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4729316$0E02C192-412F-4BE2-BC9A-9421F31E5E70","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4729316$DB04FD55-4CDC-478D-B82C-F501082E48E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4729316$1FC91A24-2FF3-4076-AB85-5552569B2008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4729316$D26ECF09-9B7B-4F89-BA25-85E1CAAB96BD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78ba71d9eebf1e20345b7e74cb0d6d8ba3be8daa","datavalue":{"value":"4113948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4729316$F5833F57-074B-47B7-AE00-CE829C80A1E4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4729316$E643F2CE-0D5A-4541-9D2D-2D27A4164F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1bba1c3f277f0ddecda7a091132cef4e8a319e","datavalue":{"value":"semantic analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4729316$BABE76B3-C303-4DC7-BBA2-0E9C8AB82724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05663d589d170e14911d7843065b083434f4f829","datavalue":{"value":"automatic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4729316$A929A39F-2110-4CC6-97A7-8D3C228656EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c27024bc3112e6fbf1cca0a9a4aacb8e7e4a77e0","datavalue":{"value":"optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4729316$AD9353C2-2487-4189-812D-4003BFC7073C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09ca32413f1d623ef3eb8d4a14ac759e926ea85f","datavalue":{"value":"invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q4729316$3E2E8D28-8EDB-4C04-A5B6-B92C8395F8FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"033bcb9864019192358d248f1765aefb1c4f7385","datavalue":{"value":"mechanical verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4729316$C30E37F6-1AC9-431A-AC48-0C39BDB41962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4729316$484C0744-70B2-4EEE-ADF2-4326A081F911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b5f6dc7ad00eaf368ada5da9af7b37afd2be4c2","datavalue":{"value":"automatic vectorization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4729316$071F527F-BC77-4F2F-827E-5838384D85EC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"320d5573583d0f992f4c32a723fbaaa5b114dc98","datavalue":{"value":"Q55970406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4729316$F7A40D35-A8E2-4DE7-8E86-E348C923BB71","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":"Q4729316$6C7125E0-0C3A-42DF-849B-3C17D18E6135","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c0bd3c5781bb535cc85c2202f4153c19847ba88e","datavalue":{"value":"https://doi.org/10.1080/00207168908803778","type":"string"},"datatype":"url"},"type":"statement","id":"Q4729316$998B7916-10D7-4603-B434-448E0349F013","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"983c892f9cb4b5582d7c61b21a26a19e29d219d2","datavalue":{"value":"W1997456729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4729316$CCC22834-8753-4A9B-9FCD-298EA1205B3B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"992ec4b06dc3844909c3376af8cafcc8b39ae9ae","datavalue":{"value":{"entity-type":"item","numeric-id":3768377,"id":"Q3768377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4729316$F8813FE9-2A4F-4B68-ADEE-BEBD733F8C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f2ea812d12ce2adb0254bf62517c7cdc2d1bbe8","datavalue":{"value":{"entity-type":"item","numeric-id":1260047,"id":"Q1260047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4729316$D7489341-E1D8-4089-84ED-597ABF9B4A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e28d865b6a527d6aef184a58e15bb15ad21dc2c","datavalue":{"value":{"entity-type":"item","numeric-id":3856819,"id":"Q3856819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4729316$2B5AE1CE-491E-4F66-BE3A-7382D0A51B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed2f2b9b58abcc87727aea6f820a9f9948917b99","datavalue":{"value":{"entity-type":"item","numeric-id":5596313,"id":"Q5596313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4729316$45276E10-5AE9-47E8-9EED-C53A7DEEEC3B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41e23bb9a622502f6acd0710499181aa0f8a2584","datavalue":{"value":{"entity-type":"item","numeric-id":4738384,"id":"Q4738384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1106f4a7c92de61c9fc0fd7c488f706dc02314c5","datavalue":{"value":{"amount":"+0.7246260643005371","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":"Q4729316$5BE774C7-85E5-467C-A94B-09FAED9534F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79467c786902f9d4362599b28e4f06df99649f39","datavalue":{"value":{"entity-type":"item","numeric-id":3656884,"id":"Q3656884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c300e3913d8212a9047f26455ea04922114edb24","datavalue":{"value":{"amount":"+0.7220521569252014","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":"Q4729316$BC5AFE3D-EC81-4C4E-9481-82EA07A91C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43b58f347c2e55215d9020f8b65dddb90d89180f","datavalue":{"value":{"entity-type":"item","numeric-id":5897435,"id":"Q5897435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fe5bbe61bad348d9338435081508e95995bb24b","datavalue":{"value":{"amount":"+0.7108855843544006","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":"Q4729316$7432953D-B938-4358-BAB5-4C63AFD89CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a257cc4d4b30e7fdee1551de44627c3c365bfb4","datavalue":{"value":{"entity-type":"item","numeric-id":3512500,"id":"Q3512500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7286da321660d97935d4142e74156b1228173cc8","datavalue":{"value":{"amount":"+0.7107728719711304","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":"Q4729316$75B329A0-E774-476F-9AF5-4295076AD4A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5267c6adcf54f14f1cc0a728425d3ba3b6a0b25e","datavalue":{"value":{"entity-type":"item","numeric-id":2814107,"id":"Q2814107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5982e156e17da70606b191edc6308997e299c45","datavalue":{"value":{"amount":"+0.7094954252243042","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":"Q4729316$B986038B-E67E-4402-9B4E-5BAA4A765A17","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4729316","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4729316"}}}}}