{"entities":{"Q6085707":{"pageid":13220014,"ns":120,"title":"Item:Q6085707","lastrevid":102385955,"modified":"2026-06-06T04:20:05Z","type":"item","id":"Q6085707","labels":{"en":{"language":"en","value":"Currying of order-sorted term rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7776445"}},"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":"Q6085707$416E70DC-AD99-43AD-B124-620741420209","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3af12de2ae9f71efcb8fd305aa16a51aa4c23c7d","datavalue":{"value":{"text":"Currying of order-sorted term rewriting systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6085707$2D1A311D-C7A5-4246-AD4D-4763612EABD3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"048934f72798c8f091fe7e20256d5c54977b0d23","datavalue":{"value":"1527.68117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6085707$DC6DFBFD-1F5E-4009-8998-CE3D961C609B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6fc8d973d9396c0996839e195b2e10a8c92bcbb","datavalue":{"value":{"entity-type":"item","numeric-id":845890,"id":"Q845890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6085707$492F2716-88E5-49A6-A768-F675E7D2F248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"65621c8db4a843ddc3a9ac1905f9939a584ed1b0","datavalue":{"value":{"entity-type":"item","numeric-id":596906,"id":"Q596906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6085707$5B90C9B1-1966-45F4-85EB-1B6D8D150E68","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":"Q6085707$B7C3C9A4-D8FA-45A7-84D3-3CCB1F5BE72C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"066d1477c8c2dc8167e035c2af02788021afe714","datavalue":{"value":{"time":"+2023-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6085707$695EDAAC-C865-4A30-935B-9539F2125F35","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6085707$1638C705-573B-43F4-9720-692013D9DAF7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"997f8a7a57a9097a5e09fd176e742c6fa1f7c1bb","datavalue":{"value":"7776445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6085707$79FC06D5-2307-497E-8EA6-FD45D83D0331","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":"Q6085707$DFC1A783-2278-4D2C-AC59-2FAC32778515","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8453bce9ee6e1ab3567d40287b480bfeddd65c52","datavalue":{"value":"https://doi.org/10.1007/bfb0030833","type":"string"},"datatype":"url"},"type":"statement","id":"Q6085707$3C69F120-C150-40F3-9E14-77408F9B48F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"149ae4f0d245e7d0e30b6eca46fe2cc845b125d3","datavalue":{"value":"W1501093754","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6085707$24E047A2-EF84-488D-B8F9-C1290EAD6C08","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"322ec2f67eaba65235e470de0421516c735a1b23","datavalue":{"value":{"entity-type":"item","numeric-id":1918496,"id":"Q1918496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6085707$D09A0D8B-E2A1-4482-9728-D249EBD8BEE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a7d65043224af4b2cf3ae668d308eedc182cf63","datavalue":{"value":{"entity-type":"item","numeric-id":1907275,"id":"Q1907275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6085707$F3CD8AC9-ABEC-4ED3-BC2C-94743207D278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0019d907973d7569cdd61ec3c8c4f916896acc5b","datavalue":{"value":{"entity-type":"item","numeric-id":1801289,"id":"Q1801289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6085707$257BBB7B-9C38-480B-B162-829579D3DFE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b533d52c9ce524b3e0682fd53891c7e2fb82780d","datavalue":{"value":{"entity-type":"item","numeric-id":5881301,"id":"Q5881301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6085707$ED226C5A-7823-4339-975E-89D5E51A41CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8a6522489d31dab30b8fc1f79c79e77cf2ff0f4c","datavalue":{"value":"10.1007/BFB0030833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6085707$38F84176-2952-4FEB-81E4-F51F53C85958","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d405a5291fae1b1b892930b28bd6696045e96492","datavalue":{"value":{"entity-type":"item","numeric-id":2811360,"id":"Q2811360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fbd775d46ce1c040e2dc75cfd5afd01177c1862","datavalue":{"value":{"amount":"+0.8989907","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":"Q6085707$0A82651B-9D41-4330-A2DB-DF818C99EA9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d6b04844e17eaf8e213efd46faa6d41e6de83f8","datavalue":{"value":{"entity-type":"item","numeric-id":1264441,"id":"Q1264441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64a965cefccf027db0c111935fb376b3817cca23","datavalue":{"value":{"amount":"+0.89556694","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":"Q6085707$B65A2B53-EB7D-45CF-8BC3-5529D911D6E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"181a7fb68ff0c11950269760fc90228d76807ecc","datavalue":{"value":{"entity-type":"item","numeric-id":5055784,"id":"Q5055784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64a965cefccf027db0c111935fb376b3817cca23","datavalue":{"value":{"amount":"+0.89556694","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":"Q6085707$9E9E24C2-D617-42AF-AA86-25AA607C6C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2cca0a2987b129fa09e63ef02cc9b4e4510c9db","datavalue":{"value":{"entity-type":"item","numeric-id":5881203,"id":"Q5881203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5236aa31e18684a9d319ccddcbab79e99335779","datavalue":{"value":{"amount":"+0.8949647","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":"Q6085707$6996A707-F1EE-42E3-87EE-31D5D65A0DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09f0664ea40b8a01b54714a03ae7aabcab1c66f3","datavalue":{"value":{"entity-type":"item","numeric-id":1907275,"id":"Q1907275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"173cbbbd5045c77c00e21018176a57e729bd9ac7","datavalue":{"value":{"amount":"+0.8896998","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":"Q6085707$8AD48691-F934-40ED-90CF-641D7C9345E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9df8c04f0397d2ca963f36631bc44f9f45d42c81","datavalue":{"value":{"entity-type":"item","numeric-id":4035223,"id":"Q4035223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80824f4ff814c9457deb70f5b0ffe53b96d617a6","datavalue":{"value":{"amount":"+0.88498396","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":"Q6085707$77917BDA-BB2C-45F9-A35D-CD4611C192B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c37513840567abbc52afbec92a26d9c76972f97d","datavalue":{"value":{"entity-type":"item","numeric-id":4876348,"id":"Q4876348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f8f18b8b8afccc0e5d4271ae8210e4796981e1c","datavalue":{"value":{"amount":"+0.8791144","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":"Q6085707$21E0207F-54C3-4717-A70C-FB619F0818A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc30ff9155d71a008c7380bf57acfd5ec38dc5ed","datavalue":{"value":{"entity-type":"item","numeric-id":5055816,"id":"Q5055816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"448235ae0a23f5df6b9ffafe47bcd05cdd8ae935","datavalue":{"value":{"amount":"+0.8781705","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":"Q6085707$22E6F684-434E-48E8-8CA6-A9DF43CBDD86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ee6c71dcea2bc14b24a58f1a0b63cc534d9294f","datavalue":{"value":{"entity-type":"item","numeric-id":4364594,"id":"Q4364594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a96d9bbd8083eafc1f1ec08d576403882189ef0a","datavalue":{"value":{"amount":"+0.87722296","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":"Q6085707$6E65BF85-8DC5-4476-80C0-05534E05C8B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c687c178f8c90b86c24d225446376d80d53768c1","datavalue":{"value":{"entity-type":"item","numeric-id":1072371,"id":"Q1072371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78d4866fe37fc9206980118eaa1d19e4b9dad0fd","datavalue":{"value":{"amount":"+0.87440395","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":"Q6085707$34BED03E-9814-42CB-9BAB-F20B175C9728","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Currying of order-sorted term rewriting systems","badges":[]}}}}}