{"entities":{"Q4585013":{"pageid":6614598,"ns":120,"title":"Item:Q4585013","lastrevid":53194115,"modified":"2026-01-24T10:40:23Z","type":"item","id":"Q4585013","labels":{"en":{"language":"en","value":"Finding small counterexamples for abstract rewriting properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6932228"}},"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":"Q4585013$A335D1E5-5167-4B38-9951-2DD4A834A7A3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d3b78ed76c0f1948dea73c137f6763f5767180fd","datavalue":{"value":{"text":"Finding small counterexamples for abstract rewriting properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4585013$4B99BB7D-98AD-468A-9581-4A1590C2A8F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6a0b3b71ddf24f7d218c8b90f39e44a3f1a6a19","datavalue":{"value":"1398.68287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4585013$55C488EB-A57D-4F62-97E4-F96DD668C0E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"882d556335b37fe1c1282a42efbd4d9c6795f6f0","datavalue":{"value":"10.1017/S0960129518000221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4585013$C8654D74-E64A-474D-B41E-82980D89687B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585013$74EE9848-84E4-471F-9AB8-08665A2FF80A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"060557f7388df703dd2d2d2d1dd4d6670ff5a7bd","datavalue":{"value":{"time":"+2018-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4585013$116B348E-6CB4-420C-823E-6CA184CA948B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4585013$B81B7E11-00EE-4784-AD02-3581CCF2B584","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b02c7aaa4381d50072330b7919de8fd37061d64","datavalue":{"value":"6932228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4585013$AFC101D6-AAEA-4BB5-BE16-59E6AF8F0E2A","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":"Q4585013$7F55C7AC-1546-458F-B990-573BAC157A56","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":"Q4585013$1601CE0C-1C27-4F9A-851E-B5A5988C7D74","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"55d8e916da5585bbf2a919b09cd95ad845bdec42","datavalue":{"value":"Q124988910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4585013$470FAFBE-DDAC-4CAC-8362-F44B7D5BBFB7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e68522e480793ad08c3035e092f5d824e5fae6d","datavalue":{"value":{"entity-type":"item","numeric-id":3783521,"id":"Q3783521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585013$4D81EED1-D6C1-4230-9C90-522324587CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eac48908fc1f7976d584bb6bf89dc55e17e7792","datavalue":{"value":{"entity-type":"item","numeric-id":757069,"id":"Q757069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585013$4E37D268-5538-4DA9-A5A4-A29AC8EE6E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b37a40a03c37bebfcf2bb14674f3a940ea98e19","datavalue":{"value":{"entity-type":"item","numeric-id":4383698,"id":"Q4383698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585013$36F77CA4-B96F-45B3-AC78-21B9C0C0843C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbcd84adee33230d7e4a77c78b0d36b7b3468a5c","datavalue":{"value":{"entity-type":"item","numeric-id":4913767,"id":"Q4913767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585013$3C5F932B-C4F4-4BE5-8617-2679203E2EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585013$3AD9C3E5-8706-440B-89CC-E9EBDFF6E478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de387b474a5e7630b2d32a58f2ca9248ae0f8e21","datavalue":{"value":{"entity-type":"item","numeric-id":1322164,"id":"Q1322164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585013$5B5DE2D4-3FD0-4D65-B738-17084DE93B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cba28b68fd268a3fda8a1750f4b6808bf5f1090","datavalue":{"value":{"entity-type":"item","numeric-id":3522026,"id":"Q3522026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585013$F027A73C-D125-4862-872D-C7CD22A5990C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ec1d47498b0852209e6eef816dd644cc9fbfa80","datavalue":{"value":{"entity-type":"item","numeric-id":5111908,"id":"Q5111908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585013$4BE7FAAB-3599-4810-8DEB-ED4C46AFA6A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"45949416959a77de7bcdae06bbd4892b2159c037","datavalue":{"value":"https://doi.org/10.1017/s0960129518000221","type":"string"},"datatype":"url"},"type":"statement","id":"Q4585013$E49C2441-1148-4F8D-9ED2-8F90CBB2E30E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9b29191a11ed4a754995ddd9ebc49857c9b9dc82","datavalue":{"value":"W2577059133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4585013$29C9C4C4-9118-44E0-916A-67CB10A44486","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9077fb1dcedf9dcefb3e3675292c8723dd49b791","datavalue":{"value":{"entity-type":"item","numeric-id":5277877,"id":"Q5277877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d46d8003a683628eea77345521d5888492ae442","datavalue":{"value":{"amount":"+0.7510644793510437","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":"Q4585013$2500A643-F955-4FCB-8D7C-0C452DD1D61D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"777205e3450a7c752c62eca1070d8e6f2537be67","datavalue":{"value":{"entity-type":"item","numeric-id":1944100,"id":"Q1944100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3a5e4e8b5fd1be238150552a22b778da634b521","datavalue":{"value":{"amount":"+0.7496126890182495","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":"Q4585013$73CEC41C-D05C-40C0-8568-5AF6126AB3A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51dc0f1efb8b7d6bd9bfe9a4f575b2baaa7d9e0c","datavalue":{"value":{"entity-type":"item","numeric-id":2642463,"id":"Q2642463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"545cd5aac4a6966f8ed097fd0f930da607e0e020","datavalue":{"value":{"amount":"+0.7373145222663879","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":"Q4585013$EFCE40C9-1162-481C-8EC7-0D6E921DAB26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b07e30a8c07f76bf0dddac295057ca4b49dc9968","datavalue":{"value":{"entity-type":"item","numeric-id":1107975,"id":"Q1107975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22f96949f74df76273850877c4936c279dba1882","datavalue":{"value":{"amount":"+0.7299381494522095","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":"Q4585013$7C7820BC-DDF8-46A3-87C1-6CBCA94FD4DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91ef9b9928eb1cc4bf1ed2b40ff770e4a032ab29","datavalue":{"value":{"entity-type":"item","numeric-id":4982632,"id":"Q4982632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62efb05439f0ede2c0bc5fd9c01366ec32927724","datavalue":{"value":{"amount":"+0.7258527874946594","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":"Q4585013$430B6B54-8F83-4D72-982D-8A5562AB2F9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4585013","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4585013"}}}}}