{"entities":{"Q2055853":{"pageid":2066595,"ns":120,"title":"Item:Q2055853","lastrevid":57686697,"modified":"2026-03-31T22:08:38Z","type":"item","id":"Q2055853","labels":{"en":{"language":"en","value":"Equational theorem proving modulo"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7437078"}},"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":"Q2055853$997D3219-5CE2-402A-AB3C-871E7BAD56DA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f4e39d871cb3b43d0646343435c7fa12776740d","datavalue":{"value":{"text":"Equational theorem proving modulo","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2055853$A101FC43-4F2E-4574-8FC2-051F10D3C739","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"86d82dd4a14dbf8f15513c5468a594509e2932e9","datavalue":{"value":"10.1007/978-3-030-79876-5_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055853$D5823CAE-69EB-4F67-BA6E-37EF121A6873","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b74f2805d58a252b355491b4dc993b2648b5d8c","datavalue":{"value":{"entity-type":"item","numeric-id":437036,"id":"Q437036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055853$BBA8C58D-264F-4E75-BC67-2FA9A7C7FB7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ade9119cab8f3b0cda4296771f9c62766eb0b791","datavalue":{"value":{"entity-type":"item","numeric-id":233131,"id":"Q233131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055853$16EBD5ED-D0E4-4087-818A-BDAC4B5C1FB3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"083b9dcd5269b8796cca7eb2ababa434dff5de3a","datavalue":{"value":{"time":"+2021-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2055853$745EF245-AC7A-4522-BD19-023A9F5CDED8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055853$C1013D56-072B-444A-85FD-41B9D550B379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055853$106C0380-BDC2-4AC4-B7F9-D8D172FBD9C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a6025810ea76cd8eb60b22ac7f22d7694b43360","datavalue":{"value":"7437078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055853$679C7823-97F5-4F52-BC69-DD21913BCD3B","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":"Q2055853$396AE4A1-BAE1-43FA-BFEF-91BF941C918C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b87a783ef5a584329c0435b9b54aec26de162f7","datavalue":{"value":"https://doi.org/10.1007/978-3-030-79876-5_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q2055853$41AAB572-BF98-4C79-A4BB-D51C32310B00","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7b87d686b7e46e58b41c2574f4155dd5eeba1ecf","datavalue":{"value":"W3179244314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055853$0CCB648B-A68A-4A9E-B5FE-CB7CDAA4B805","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c309d0e7ae104b8d72742d2135e45f825dee6fc","datavalue":{"value":{"entity-type":"item","numeric-id":5307077,"id":"Q5307077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055853$3BDB8F87-27C0-4295-8F15-A25B24F51939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055853$7079F889-AD40-43EB-8A11-CF7D4B3020A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a351897245977aa0d098a2219b09f6d20cfa230","datavalue":{"value":{"entity-type":"item","numeric-id":2751360,"id":"Q2751360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055853$F734C331-253C-43B8-9CE3-42D0431E3B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3455e3f4a94a330dba477e08dabbd126fc6889f9","datavalue":{"value":{"entity-type":"item","numeric-id":1262752,"id":"Q1262752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055853$69C5295C-D92B-4D9E-907B-455FF4C9DC8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aefe5e0f2b827afb25f0a8067d25c4a893f91ca","datavalue":{"value":{"entity-type":"item","numeric-id":4304492,"id":"Q4304492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055853$DA0704D5-D2DC-4E46-A568-C3F18C78DBF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49666558e5a266f8c31a331a000db76b0e587406","datavalue":{"value":{"entity-type":"item","numeric-id":4524792,"id":"Q4524792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055853$70DC1176-5806-419F-8B90-83F2FA712FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ad7c23e8d7895495a33ef0a244c1d5f7a7d7e16","datavalue":{"value":{"entity-type":"item","numeric-id":1899908,"id":"Q1899908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055853$A0962538-1C1D-4F1C-B235-6E0D07161BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81c4eb3027748cdfae497603e4773102e0dac948","datavalue":{"value":{"entity-type":"item","numeric-id":352977,"id":"Q352977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055853$87988803-EFE0-4431-9618-B0DDB0942A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db15afe119e4d8924199889dafaa491710809a5f","datavalue":{"value":{"entity-type":"item","numeric-id":2751361,"id":"Q2751361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055853$B7E4535A-37E7-4EB5-B0DB-3A228425EFC1","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":"Q2055853$1BDC1DC4-50E2-4FCD-B08B-2ECE07276EB7","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":"Q2055853$14040980-0AC4-448A-8A92-305B41A22E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ec436e4c0c839c258c6c172a63d796b45489393","datavalue":{"value":{"entity-type":"item","numeric-id":6164537,"id":"Q6164537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055853$6A5F7770-A1C7-4C62-89F2-E9E566B36451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cde07a5af9c9126c9edeee597823bae300bf25b6","datavalue":{"value":{"entity-type":"item","numeric-id":1931909,"id":"Q1931909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055853$31FA6DB0-D7D5-4D0D-B470-A8577FAD7091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d4bd0bf86144edcf1a4da7d94606292c29f5628","datavalue":{"value":{"entity-type":"item","numeric-id":2055853,"id":"Q2055853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055853$A74C2C84-1814-4394-995C-417431D2D4C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6c5797461278a3594d2dd57f7fc51d117e4327e","datavalue":{"value":{"entity-type":"item","numeric-id":6159936,"id":"Q6159936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055853$70D508CF-93E3-493E-A602-984DF44D68DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd1243de1f2d9791795641bab566913ea0652fdf","datavalue":{"value":{"entity-type":"item","numeric-id":2180237,"id":"Q2180237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055853$8E09E5A3-72F4-4640-9C46-E03EFAC44540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c29241c7597854bb89399ece59ca8793dbd2cb4c","datavalue":{"value":{"entity-type":"item","numeric-id":4619820,"id":"Q4619820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055853$AAC32FB1-2682-4C83-B293-A1348CF8276E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54a4f42b015f55e2792e5242c67e7d5c081b137d","datavalue":{"value":{"entity-type":"item","numeric-id":1355755,"id":"Q1355755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055853$6268895B-AE62-48AF-BA39-278056F30944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f14878b4342799995051ac9bc54cd21c98efc98","datavalue":{"value":{"entity-type":"item","numeric-id":2751359,"id":"Q2751359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055853$A65596A5-F1DB-4CC9-9A9F-082F402BB734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febe5bf101c3b7d6dce19439eb466caa5715de79","datavalue":{"value":{"entity-type":"item","numeric-id":5624683,"id":"Q5624683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055853$FD313E64-8703-4E1E-8021-A6208A42D3F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055853$84F612C0-7B9A-47AB-B873-466A406A0911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e0e2e21940719d5d9e0a6f9eda9f87221d6c71a","datavalue":{"value":{"entity-type":"item","numeric-id":5210795,"id":"Q5210795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055853$D06C6EDD-375F-4CDB-AD7F-07B9BB47DBC0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4564dcbe209d24a2f509e63518773f769d6b6c9e","datavalue":{"value":{"entity-type":"item","numeric-id":4524792,"id":"Q4524792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1687a98adbac12487bc84581b9efea115e02adb4","datavalue":{"value":{"amount":"+0.8258846402168274","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":"Q2055853$1F9FEA78-7023-49D8-93BF-83EECE66BBE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ca01ed4a76de5fdbe6093f7bdcd086e60f3db92","datavalue":{"value":{"entity-type":"item","numeric-id":6560183,"id":"Q6560183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b33d8eab3ab14892d782d4b66403aed31668d85","datavalue":{"value":{"amount":"+0.8173561692237854","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":"Q2055853$BF5E09A3-3021-4FAB-85AE-FCF0275ABC85","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":"15b6636d1495827d9d8b2e87c05afbe49f4f80b1","datavalue":{"value":{"amount":"+0.8050652146339417","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":"Q2055853$A8AFF65D-563C-45AB-9EF6-9E7A3ADD3107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fa5821d5bc9687fe29222b473d9339797d836dc","datavalue":{"value":{"entity-type":"item","numeric-id":5311286,"id":"Q5311286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f79cc496e6971d13d73397a86f687e255dde31a","datavalue":{"value":{"amount":"+0.7930572032928467","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":"Q2055853$53182F52-055B-4352-A952-27B860E411A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db272605d8b4bd063212c008100a1179c1d9f4bd","datavalue":{"value":{"entity-type":"item","numeric-id":6118747,"id":"Q6118747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56e2d2bd64ee19fca3afa853eadf0dd114857b40","datavalue":{"value":{"amount":"+0.7817801237106323","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":"Q2055853$39C9D699-1024-48C7-9316-B6786590BB77","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055853$F582E956-9230-4BAB-B8A8-E346D438FBC4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2055853","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2055853"}}}}}