{"entities":{"Q5881182":{"pageid":7910733,"ns":120,"title":"Item:Q5881182","lastrevid":47823751,"modified":"2026-01-02T19:22:25Z","type":"item","id":"Q5881182","labels":{"en":{"language":"en","value":"Type removal in term rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7661545"}},"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":"Q5881182$721CCFA3-D465-4DB5-930D-8FDB4EB0CAC6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6d1627292fef1f3cbbd6e28146fe9fe200318fd2","datavalue":{"value":{"text":"Type removal in term rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5881182$BFB72B6E-3FC0-4C77-BFCC-A090ED1C82E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aced07cffbaa3164b16396169d6c6addbf2ac2a5","datavalue":{"value":"10.1007/3-540-56393-8_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881182$FE3992E7-1C4A-4289-826F-14699FC407F9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00eb62236e33a5483cf4681f1956ae601238d263","datavalue":{"value":{"entity-type":"item","numeric-id":5881171,"id":"Q5881171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881182$C85FDE6F-5053-4ADD-A9D9-8292D88A2878","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa71b3b2a7b7ab0138de60bd723d67e92e6e5110","datavalue":{"value":{"time":"+2023-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5881182$415219AB-DFBB-4245-A3C1-B88E115BC44B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881182$5C8EB3F5-D98C-48A0-A51C-DF54547003B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aed7dd06ee7dec89edf1a1ce37a174b46cb9e121","datavalue":{"value":"7661545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881182$BDDC4DC9-6929-4082-9CD7-A1D577D7A3E8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"76fe5c2c0ffa1d2d66cabf0c3214c913c44ecffb","datavalue":{"value":{"entity-type":"item","numeric-id":505038,"id":"Q505038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881182$E5E6E229-4C3C-483B-B79A-5EE78F478D14","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":"Q5881182$EF9BEE07-4A0F-414E-A08F-398338E6C6FF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df88c0ec58e340a1cae21051b3496be6d1336bf0","datavalue":{"value":"https://doi.org/10.1007/3-540-56393-8_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q5881182$1DADAA94-162F-4142-BCE4-F3A816BCB93F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"04b1e7d95aaafe829de91bc1a8b1caa256e840c5","datavalue":{"value":"W1582807178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881182$F7C47537-8D67-4847-9639-A385F621E6E6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"31ef24bde393b5b122827c8fef325e32e7955eca","datavalue":{"value":{"entity-type":"item","numeric-id":5055715,"id":"Q5055715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881182$2CABB901-A3A2-4DCA-81E2-0C699DEE886C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f820e9c2b45f8f035a710ad26c0ff0e5c7ae48","datavalue":{"value":{"entity-type":"item","numeric-id":3221381,"id":"Q3221381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881182$6C73BA46-5A48-48AA-8A55-D84004EB588D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57d59713a33fffd1fe610c5f315ab2ff7c4cb9a0","datavalue":{"value":{"entity-type":"item","numeric-id":5055719,"id":"Q5055719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881182$3944E8A6-C39B-4A86-A544-A6D320384524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe8c39dcf1cd87a28b508e3c9832adf61306c47c","datavalue":{"value":{"entity-type":"item","numeric-id":1108785,"id":"Q1108785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881182$458A9AD3-C550-4D73-A9CE-4E7916A25693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52993d82a0ab7d20a5a52eff1d3b454c784598a7","datavalue":{"value":{"entity-type":"item","numeric-id":1107975,"id":"Q1107975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881182$7B5DF4F3-58F1-4966-BB57-32365630794F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"776ab2ff945c52396f6e0d21fa9758c667df50b2","datavalue":{"value":{"entity-type":"item","numeric-id":5503212,"id":"Q5503212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881182$8B8C57F8-1D4A-4D64-84EF-0147D9BD5C1F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfb174c10ffa67b3f5e9fa7cc3d40b3c90ce7009","datavalue":{"value":{"entity-type":"item","numeric-id":1579057,"id":"Q1579057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d683290dff1af3dd568800dc09d73d2bd43a86e","datavalue":{"value":{"amount":"+0.8223574161529541","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":"Q5881182$5D7C33DD-79AD-4089-9802-BE747F9DC77F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9e59caf4ca054978ad3dfb0e42255972239883d","datavalue":{"value":{"entity-type":"item","numeric-id":4413064,"id":"Q4413064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fefc0d0d5880104038e2eb4dfeab52260d48b0d","datavalue":{"value":{"amount":"+0.8037149310112","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":"Q5881182$614E0574-E68F-4021-B9F8-2A796196B9E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4f46a373e0d9a245b51976713c5ed4c224e67f0","datavalue":{"value":{"entity-type":"item","numeric-id":4376069,"id":"Q4376069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"271d4fb3df6a49baa467bd3dd4d655335f003847","datavalue":{"value":{"amount":"+0.802698016166687","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":"Q5881182$1261CE67-8267-4F51-88B9-8AD635A6DAAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5a41a1062f3d14bd0cff5156c0b9988ce5ad298","datavalue":{"value":{"entity-type":"item","numeric-id":4520528,"id":"Q4520528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daf624afc6619375ef1af5bf2cf416266dcf2e36","datavalue":{"value":{"amount":"+0.7944812774658203","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":"Q5881182$5B139D68-4DBC-4F4B-94B8-29B3CB5F1332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb46a1577134c94ac0074a045093266cc38bcf24","datavalue":{"value":{"entity-type":"item","numeric-id":4217941,"id":"Q4217941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"088d1356a04547353130785c15a479b18a4e8f1e","datavalue":{"value":{"amount":"+0.7927661538124084","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":"Q5881182$A5B564CE-BCC1-4F63-8D10-ED599D31752D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5881182","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5881182"}}}}}