{"entities":{"Q5881172":{"pageid":7910723,"ns":120,"title":"Item:Q5881172","lastrevid":97501643,"modified":"2026-06-05T14:54:19Z","type":"item","id":"Q5881172","labels":{"en":{"language":"en","value":"Algebraic semantics of rewriting terms and types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7661535"}},"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":"Q5881172$A8504151-0F11-4AE5-8326-DF64F36D3274","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad60fed02efe88e55905b8a1d6ee3640655895fe","datavalue":{"value":{"text":"Algebraic semantics of rewriting terms and types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5881172$1CD004C4-ADAE-480D-8F6D-7EB47DFDB5C9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9fe6431ace4687f7a06e6e0b9e008c6f089e50c0","datavalue":{"value":"10.1007/3-540-56393-8_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881172$6DCA721E-454A-4998-A1FD-C4F928DCAFA9","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":"Q5881172$E8427098-21FE-4252-9289-61007CF7E689","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":"Q5881172$16EB3964-7243-44FA-A868-01C65F903590","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881172$8EA39A8F-D168-4926-BFAA-F5BF81D3BE9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881172$E85FD1E8-1BFF-49B6-86C6-FB0ED481AB7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881172$38BA91A7-7547-4894-89D1-0447B40B4DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881172$2C92E33D-B49D-4522-94E1-8A6ED105D45D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b834dfcadf5f1d07d54338870aed0652db081dce","datavalue":{"value":"7661535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881172$FC590309-E2D1-460D-A650-8D4A9197D227","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac0321a6b6d5d899ea1927f671b46847c41412c0","datavalue":{"value":{"entity-type":"item","numeric-id":671656,"id":"Q671656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881172$C459F82F-9DFA-4EFF-905C-7BD40BB07918","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":"Q5881172$D92B8CEB-C8A3-407F-B919-0C34215C06E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"26bbd6449679016bdef64984d2afa919d7e52aa0","datavalue":{"value":"https://doi.org/10.1007/3-540-56393-8_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q5881172$663592B4-FD52-40CC-AFE6-39623852D981","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"869ee1f93e3d136c31f9db03abf2a6ee0961cb86","datavalue":{"value":"W1486381108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881172$BB01DADE-C8FE-4102-AD3A-2FA8C44699F6","rank":"normal"}],"P223":[{"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":"Q5881172$B7B74C7D-A6B4-4E24-B933-28400142D7AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e6164d85c4694c71a8983f1c45bf387f665fdff","datavalue":{"value":{"entity-type":"item","numeric-id":1199827,"id":"Q1199827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881172$C7134E9C-AB31-4C69-B19F-01E6981B213C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f51b0a0143a0e05a0a8b6ab9d8be270f3a21074","datavalue":{"value":{"entity-type":"item","numeric-id":4202948,"id":"Q4202948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881172$9B34C806-CD1A-4B84-B157-D8A851AD0625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"702b2821c5367dd27f221db66964c05d11d7f0c0","datavalue":{"value":{"entity-type":"item","numeric-id":3809236,"id":"Q3809236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881172$6E729960-CD75-41C4-BDB9-EC94EE9D7998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a92b361a18a5491ab3cc99003979f5f231d4721","datavalue":{"value":{"entity-type":"item","numeric-id":3719801,"id":"Q3719801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881172$1D8C5BD5-9D69-4127-B52F-D419A23A39C8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7678c7b70137e8ca67893ab5af55c697779b173","datavalue":{"value":{"entity-type":"item","numeric-id":5055729,"id":"Q5055729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40b56f9693dd3aa794b3a8989b149ea2b5b71c91","datavalue":{"value":{"amount":"+0.9301144","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5881172$8FBC5FA5-D300-4B88-9F79-521CEB058939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a926631441a75b693cd9d5643e10e86bfdd18ff","datavalue":{"value":{"entity-type":"item","numeric-id":5151026,"id":"Q5151026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daef8a65365ca4f89ebd22538e6b896fd35d08df","datavalue":{"value":{"amount":"+0.9183519","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5881172$AE92E2A4-A939-4081-87E8-10491C450B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d456b94293befe11b645e1ed78e138fd7ac64a5e","datavalue":{"value":{"entity-type":"item","numeric-id":4206388,"id":"Q4206388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f35fa23812d006ed271611fec31410532825691a","datavalue":{"value":{"amount":"+0.9135637","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5881172$7C7E7FCE-BAA1-4AE0-A85E-75307DED8FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a99c356a4206bbafa5dec23032d09a95b23b61c","datavalue":{"value":{"entity-type":"item","numeric-id":4858947,"id":"Q4858947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f35fa23812d006ed271611fec31410532825691a","datavalue":{"value":{"amount":"+0.9135637","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5881172$9AF06554-83AF-4C6D-B065-94246E615D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"476fe3f0e8e43d5b254436da221b1a949a215665","datavalue":{"value":{"entity-type":"item","numeric-id":3336738,"id":"Q3336738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"807ea5f25c1fbabc98805dffa9de56cb6d2a6567","datavalue":{"value":{"amount":"+0.9135214","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5881172$FAFB36BE-A0CB-40E3-A4F4-F9B0D92534C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f66176bd66d4c903e09ae7852d378e4d0a8aade9","datavalue":{"value":{"entity-type":"item","numeric-id":5184386,"id":"Q5184386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a8435a166a794f566b8753ba3157d2ca8d1b660","datavalue":{"value":{"amount":"+0.9112794","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5881172$77659602-B855-4286-9805-FD8E97A0B9BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68152c22a57e9ed057ee420025a30cca3aa16fb6","datavalue":{"value":{"entity-type":"item","numeric-id":1895805,"id":"Q1895805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e6344a0e0c7c49b5034729c10e604ce3446a6da","datavalue":{"value":{"amount":"+0.9093319","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5881172$2DDECAFE-0E69-4E23-BA2B-0E798F6F9F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6997b5678308a20a1e5e81827d70db9d4424ca51","datavalue":{"value":{"entity-type":"item","numeric-id":2842873,"id":"Q2842873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ca4412a1f6e30879bbbd5cb5b260fe48728a846","datavalue":{"value":{"amount":"+0.90673304","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5881172$ED8F8F7A-CDED-4ABB-A921-C683AE76B001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f05cc9808aaf2b3b05d7d8a32555b7fbf344a688","datavalue":{"value":{"entity-type":"item","numeric-id":5756511,"id":"Q5756511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4849b3d139d0111a43a7fb62b61ce285b543fe7a","datavalue":{"value":{"amount":"+0.9066666","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5881172$E5B7EBD7-B080-411E-9B69-5F41CE5C3F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6d7fb583c73945297f377d411a0f3084371b423","datavalue":{"value":{"entity-type":"item","numeric-id":5096390,"id":"Q5096390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3487f4f35b8a35f946432dce83ab0914f0988a7c","datavalue":{"value":{"amount":"+0.9053113","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5881172$4CF805EB-3C61-42F5-884E-6D0C7F98E9FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebraic semantics of rewriting terms and types","badges":[]}}}}}