{"entities":{"Q2233502":{"pageid":2244245,"ns":120,"title":"Item:Q2233502","lastrevid":73842402,"modified":"2026-04-14T17:27:33Z","type":"item","id":"Q2233502","labels":{"en":{"language":"en","value":"Certifying proofs in the first-order theory of rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7410483"}},"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":"Q2233502$189BCCE7-4189-4C5B-8719-E72E437C7EB9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47bf16023524d6daab2bcc49a0f649b8593018fb","datavalue":{"value":{"text":"Certifying proofs in the first-order theory of rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2233502$4920C1A2-4420-4AAF-AC31-B95A180F2C42","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a4d9672e59da771404ab5d7cf879c49bd3e8f03","datavalue":{"value":"1474.68166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233502$BD87F30F-3A8C-401D-B4D1-812127231D40","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"086b1efa56cd76da0f0fcb95049e74ae9413972c","datavalue":{"value":"10.1007/978-3-030-72013-1_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233502$46AC5FCF-B8CB-447D-9A7F-039AC386E89B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"84b29662279b47dadf2cc042a76fb0c295ff3a1e","datavalue":{"value":{"entity-type":"item","numeric-id":2233500,"id":"Q2233500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233502$D8E89D43-FA37-4D45-89C7-E0AD85429E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"889bb68ddc4846f006209c91e6019a4d498bb2f4","datavalue":{"value":{"entity-type":"item","numeric-id":2233501,"id":"Q2233501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233502$AECF136C-1909-4E6D-8C4E-98CE4B374DFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7072b29ec05013e9a2e81e1795de7757de4265ff","datavalue":{"value":{"entity-type":"item","numeric-id":293293,"id":"Q293293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233502$30630E4A-0F5C-461B-86EF-9FDFD3689D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0e621a15e62a289b8ae90fd2dd0602a0ee81e78","datavalue":{"value":{"entity-type":"item","numeric-id":515685,"id":"Q515685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233502$BC4446D6-DC18-497C-859E-909CDE498DCE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"899d672926fe97cd87f3708d91dc74172e4f3b51","datavalue":{"value":{"time":"+2021-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2233502$3D9C3E7A-42F9-4EAE-A240-766E01D7B97C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233502$DE0F6636-B5FC-4EBF-B9BD-1854CFA45B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233502$F3D76B3A-4A0D-4AF7-B317-01E0AAB5802D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233502$9BA4D827-D2CC-4634-AFFD-BEF3E23BD771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233502$CEAA5773-E126-4BC5-B323-C8D94FC754CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233502$B357D906-A086-481B-877C-C6AF787B1DEB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"57cdba2754cb1e1eb4671f380dd6eebf4cf7f756","datavalue":{"value":"7410483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233502$385495C6-0C9F-443E-9F0B-3D2DE858C989","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233502$AC8C21A8-C5C6-48B8-96CD-C9D6B954B68D","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":"Q2233502$5FECFCB3-D30A-4D03-BC6B-40837D137AEB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a905605bc67cee146b4461156297f8040e4ae030","datavalue":{"value":"https://doi.org/10.1007/978-3-030-72013-1_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2233502$6D008E86-A6F5-48B9-B80C-3E62CD129D18","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0449a919689d0ee99320497d6787482d56b4683b","datavalue":{"value":"W3137228870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233502$49FEA033-AA53-4089-A498-C7A06D709484","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8a2bbb5b4d44285ce61bd44fd533431301032d9","datavalue":{"value":{"entity-type":"item","numeric-id":3636821,"id":"Q3636821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233502$CA6BA8FA-9333-419D-B2A9-BC862F6E3277","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":"Q2233502$D38A1934-93EA-484A-8E7D-76A26A5AFCA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233502$04DA402D-4264-40B7-8580-7248BC0BA312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aafa274090033c9667da1bfa37ac7e3b2b2f08c4","datavalue":{"value":{"entity-type":"item","numeric-id":1854333,"id":"Q1854333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233502$D025DD57-E9F9-414B-83EA-E0C12162673A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4ecd962d29196a0fa85d545f27fae2c55c992d6","datavalue":{"value":{"entity-type":"item","numeric-id":3021971,"id":"Q3021971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233502$81B89CDB-A7F1-4C41-A2E9-06D233F20F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7a1ce015f9a6115f5e15ce96a4b6a73ac4d89f9","datavalue":{"value":{"entity-type":"item","numeric-id":5327340,"id":"Q5327340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233502$F7F3CDB2-4314-4739-81E9-1E9CD1AFD3D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08d2d0c2e82915c2e9afc3159d1bdbe7beadfa6f","datavalue":{"value":{"entity-type":"item","numeric-id":5164173,"id":"Q5164173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233502$D1B2078F-F178-4DB3-B1CB-74D879B2D110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09899429a67bba2cb2eb41accda0e85b57c28441","datavalue":{"value":{"entity-type":"item","numeric-id":2633620,"id":"Q2633620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233502$B21DDFEB-6C89-4AED-96DC-171EAFE06786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5e93f72b3578ae6d26356b068d194bb2c75d439","datavalue":{"value":{"entity-type":"item","numeric-id":5369502,"id":"Q5369502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233502$B8449B6E-35AD-4B60-B545-D1EC890ABCBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f14cf5daef8929500ce64c12fef78fb72b0282d","datavalue":{"value":{"entity-type":"item","numeric-id":1799069,"id":"Q1799069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233502$CA796B66-308D-44F4-9081-F854921919F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50a2d2c67d25a926d2d34fd81a866f6c8bf6e349","datavalue":{"value":{"entity-type":"item","numeric-id":3454087,"id":"Q3454087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233502$1CB1FC31-9670-48AD-9F23-1DA3D539CA1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8417b1513908f696266326bb6b694523c2908318","datavalue":{"value":{"entity-type":"item","numeric-id":2945654,"id":"Q2945654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233502$93B45150-C9FC-4183-B2B5-7CB82346E684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0aef60bd392ccfb5e82daa98f095917b33d1745","datavalue":{"value":{"entity-type":"item","numeric-id":3183545,"id":"Q3183545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233502$A79C0F11-142E-40A0-9B0E-377503310EA2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72cd681aba4b984c39353404677e7f27aa47c944","datavalue":{"value":{"entity-type":"item","numeric-id":5369502,"id":"Q5369502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1da5a37f3fd6e9a9de76b45ed576651059447b7","datavalue":{"value":{"amount":"+0.7974689602851868","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":"Q2233502$8CDEC0AD-202A-4A88-9600-93584F87157C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0c9b0e9e455badc640b4c7e80be94ad700908fb","datavalue":{"value":{"entity-type":"item","numeric-id":1799069,"id":"Q1799069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a5178f1396d93de0d2ece26822c74e56575da05","datavalue":{"value":{"amount":"+0.7691514492034912","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":"Q2233502$D0A70E48-3206-4625-947D-6E32FD13F760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9796d7520d7b11fc49e48598e4e7c8921bdf8142","datavalue":{"value":{"entity-type":"item","numeric-id":2841249,"id":"Q2841249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b41e5832a1016a147c0ed45f96f994621fc2793","datavalue":{"value":{"amount":"+0.7580233216285706","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":"Q2233502$4BADD6A8-5DFF-4678-BE9D-040AD688A796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7686a1559586f19dc54d1a839b5cd4c8e0eefb47","datavalue":{"value":{"entity-type":"item","numeric-id":3183545,"id":"Q3183545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"556fdc83bef0d08002884b10eff53616558e9194","datavalue":{"value":{"amount":"+0.7559391260147095","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":"Q2233502$E758DA7D-3D41-4D00-B50C-53055C8A4C43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10c26c7a9ed2151b60f7622ce24d2ac4e1eb1974","datavalue":{"value":{"entity-type":"item","numeric-id":1275021,"id":"Q1275021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fea327cef0a920d97936b739a5e4bb5cc693d1d","datavalue":{"value":{"amount":"+0.751969039440155","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":"Q2233502$279675A7-EAFE-48B5-88EB-F7F848D5C711","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":"Q2233502$0A052FC5-CC69-4C11-A48B-CCF3BBE098D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Certifying proofs in the first-order theory of rewriting","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Certifying_proofs_in_the_first-order_theory_of_rewriting"}}}}}