{"entities":{"Q5200022":{"pageid":7229593,"ns":120,"title":"Item:Q5200022","lastrevid":51306830,"modified":"2026-01-17T16:51:50Z","type":"item","id":"Q5200022","labels":{"en":{"language":"en","value":"Experimenting with deduction modulo"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5934349"}},"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":"Q5200022$553B97F8-252B-44C3-84AD-A810AF9592D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"707bd40da08f1428bf5b2b040adbbd257b30ad65","datavalue":{"value":{"text":"Experimenting with Deduction Modulo","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5200022$37A8E971-0E1D-44F4-A311-A9008DD41DBD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0ece2d9cf4a2cf1d9f50c186e5c2e5df854e5a7c","datavalue":{"value":"1341.68185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200022$073E87C9-81A6-4056-ABF2-7C30A6FA01D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8815037ad626757a109076236a5dd9340a790ab8","datavalue":{"value":"10.1007/978-3-642-22438-6_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200022$08447CA2-AC0F-4960-B541-7F4AA6744537","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8e409b4bd2cef152800e753211d297de864b62d","datavalue":{"value":{"entity-type":"item","numeric-id":2209543,"id":"Q2209543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200022$B5140A19-AB94-4141-A421-F8EF1CE1F54A","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":"Q5200022$83AA76FB-B8CE-4386-BC52-437444D581FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d00523700407e21ae71debe0fbbbb012ba59e567","datavalue":{"value":{"time":"+2011-07-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5200022$3370438A-81BB-4B3F-A274-7067FC69ED6D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200022$56FF6B94-E907-4FAC-B37F-750509C6E31D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c403d6dc0e5648b02d4afd1f4b828b8281dd74d8","datavalue":{"value":"5934349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200022$F8404710-A836-4C0B-AA60-D360613B6120","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"83e2dec25ea583652d0e07d4393a843812f4b48b","datavalue":{"value":{"entity-type":"item","numeric-id":21686,"id":"Q21686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200022$33AA13B3-FD47-41A9-864E-65C0D3E7BB46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200022$CD6A8D73-0F5A-477E-B2A1-39EC409BF0FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200022$184DD77B-9CFE-404F-86BA-B943607CB7A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200022$EC6D8A6D-0EBE-44D6-A905-0AA21CB9495D","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":"Q5200022$19B78210-1A9E-4808-B61F-3260CE77A207","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8654fa1361a33001098e8006808717df33377967","datavalue":{"value":"https://doi.org/10.1007/978-3-642-22438-6_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q5200022$608B4960-E282-4DBC-A4E6-6DFE86EC5493","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"908d83f0161c0919062955ec7d04a15536a959a4","datavalue":{"value":"W182131396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200022$E2E54D6B-8209-48CC-8FE5-68CE59FAEB6D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f1656b0af82a8a7cd6d647840a56e40b6d7fabf","datavalue":{"value":{"entity-type":"item","numeric-id":3125228,"id":"Q3125228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200022$0A2DDF44-D4F0-4354-9C3E-0ED8C4299BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58fc67f4df0f685e08e46a27070f76b58928a24e","datavalue":{"value":{"entity-type":"item","numeric-id":1401941,"id":"Q1401941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200022$32F9D2B3-A7F2-4E22-862D-F19EC891B92C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40395782237962d4bfc89b6ee5dee760563cda9f","datavalue":{"value":{"entity-type":"item","numeric-id":5387891,"id":"Q5387891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200022$78731C6F-0C0A-4C0E-BF50-95625F2E398C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba11741201ca0ebab49908d01bc6254ac7d2423d","datavalue":{"value":{"entity-type":"item","numeric-id":3586040,"id":"Q3586040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200022$77B8FBCF-0A4F-4AAF-8A98-47897963CF13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cc84d271608e0e7697e26c023416a9c061930ea","datavalue":{"value":{"entity-type":"item","numeric-id":3003304,"id":"Q3003304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200022$F874EF79-CF89-4810-8B32-425F7B3C9934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"426ca9ded4de1be1a8537da111e48343ed0e7f65","datavalue":{"value":{"entity-type":"item","numeric-id":2266989,"id":"Q2266989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200022$63B78F78-C903-47FB-A8F7-76E2607ECE1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34b87924f23be2e9cf6d7b6faa675b811f5a3d7c","datavalue":{"value":{"entity-type":"item","numeric-id":3612625,"id":"Q3612625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200022$7BF3B715-1E09-452C-B8C5-D67F0D623449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80ca1cbc94b6fcdbcc40aa9495bb45517f812686","datavalue":{"value":{"entity-type":"item","numeric-id":3163883,"id":"Q3163883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200022$76DD0A6D-BBB3-498F-A51D-80C2B1891E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a571653cb6ab1fa29a33b3cbc9d3383816e568e","datavalue":{"value":{"entity-type":"item","numeric-id":2713352,"id":"Q2713352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200022$7587428A-B6F7-4742-AB4B-FD098F5F3466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b714ee7bdb70947b555d42ec2db46670455bb12f","datavalue":{"value":{"entity-type":"item","numeric-id":1431339,"id":"Q1431339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200022$85486778-E69E-4BFA-95E0-1F7AFC1DDA5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd82c182f3ba29e8e7c6e8899bb4609fd961b4db","datavalue":{"value":{"entity-type":"item","numeric-id":5703867,"id":"Q5703867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200022$779E6A49-0CCD-456E-8F52-136ECED9F700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf670e64a6cf63cb8d60b11cd930f4ce42cede15","datavalue":{"value":{"entity-type":"item","numeric-id":4524770,"id":"Q4524770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200022$A2D7D5DB-3570-4024-9AF6-FB5F2C17D4CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33890b7faad584193275d91a4cd4d3b147aff5a7","datavalue":{"value":{"entity-type":"item","numeric-id":3541709,"id":"Q3541709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200022$ACA9C9C6-23E1-478E-9DE1-7A5CFB6132D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cb051a6b1eb9b88364c46513701492fc0e99189","datavalue":{"value":{"entity-type":"item","numeric-id":3150300,"id":"Q3150300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200022$01025B35-2615-43CC-8B3F-FB5A8B687916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88a75a39f5ac98bf032aaca1eb03b5cd9c31ac38","datavalue":{"value":{"entity-type":"item","numeric-id":5307061,"id":"Q5307061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200022$E324785F-C536-426E-8610-656795A861FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16c58bccac3eb8e167d77acc1c92ca853e7a5fcc","datavalue":{"value":{"entity-type":"item","numeric-id":2655326,"id":"Q2655326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200022$8AABC0D1-DEC9-407A-AD6F-AE4CCEA78C81","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d22b9f82cd9bd048e12fef8e502f52d443ca7e3","datavalue":{"value":{"entity-type":"item","numeric-id":3586040,"id":"Q3586040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c21f944c40050bac8cd5a7702dc9fd5a60ab2d98","datavalue":{"value":{"amount":"+0.8864021897315979","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":"Q5200022$8B5EF316-FF06-4325-81D5-EAA4DAF3F42B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"659f1715025c09fd42f29fb1a683227c1a598251","datavalue":{"value":{"entity-type":"item","numeric-id":2209546,"id":"Q2209546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbd5172cf95deceb47e6618eafaf33f2ef3ade7b","datavalue":{"value":{"amount":"+0.8520389199256897","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":"Q5200022$C5A10978-213F-4677-80C7-39732143684A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72ce4f9299c3a2986c53414825322ca224e21b8a","datavalue":{"value":{"entity-type":"item","numeric-id":1431339,"id":"Q1431339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd654254af6c43da9096da47d465fb5d0ba512d8","datavalue":{"value":{"amount":"+0.8345707654953003","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":"Q5200022$25D4483E-CCC6-4EAB-9136-090BDB9BBFB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"308d07ff2fe87696a4283d911b0123cca586bfc4","datavalue":{"value":{"entity-type":"item","numeric-id":5387891,"id":"Q5387891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d666d5df6840343a59e19802bbd7bede524774b","datavalue":{"value":{"amount":"+0.8256717920303345","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":"Q5200022$3EE62BFB-555D-4409-9646-772D5513967F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22967f8e1d8aeb6b49dc6c074f34841d779a3d48","datavalue":{"value":{"entity-type":"item","numeric-id":5307079,"id":"Q5307079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc7f0bff6b3efc1a986b95278613437abdd956c7","datavalue":{"value":{"amount":"+0.8143859505653381","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":"Q5200022$DEAF4D6A-BE4B-4DAA-BB29-833CE8C765E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5200022","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5200022"}}}}}