{"entities":{"Q6488529":{"pageid":14067298,"ns":120,"title":"Item:Q6488529","lastrevid":47845633,"modified":"2026-01-02T20:57:15Z","type":"item","id":"Q6488529","labels":{"en":{"language":"en","value":"Term rewriting induction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7680805"}},"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":"Q6488529$B7DD0B39-8E9C-404E-B0A4-13F9319AFC2C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7b5c89940eac3ef0423f9b93ad8df5bafe93187","datavalue":{"value":{"text":"Term rewriting induction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6488529$04100194-965C-4213-B65F-1C2ACA3AE6AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e3b70623551c017676b4cc4a87443bf4a4273e97","datavalue":{"value":"1509.68123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488529$192A4887-7AE7-4B67-AD76-F694B5E0294C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d3498a85ca109dae353d477d5d293ee47f24872","datavalue":{"value":"10.1007/3-540-52885-7_86","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488529$35A55D9B-5DC4-4326-A430-9F7366D239FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0dd8979e1a685765dc1198ac350f0841f1b80717","datavalue":{"value":{"entity-type":"item","numeric-id":265825,"id":"Q265825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488529$4D075230-DA23-4827-AD4B-3FC2867BCBA9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30bf4c979a904132ac28909e79b707831f730270","datavalue":{"value":{"time":"+2023-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6488529$7E8CB21C-77E4-4C58-B729-F636AD1F948B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488529$15084EAD-97C1-465A-9BCC-C24E3C79D9DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488529$83DE72CF-6775-4065-9589-944143D5597B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c1e76f4db9a2507266a13fe4dc64b197f3d3224a","datavalue":{"value":"7680805","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488529$69C585BD-D5A0-49A9-8A50-FC77B7871BA1","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":"Q6488529$BBD70991-8424-43A3-8DE1-86909EFCD9A1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"59bb3344b4f89870291c44462654819d8a7d7295","datavalue":{"value":{"entity-type":"item","numeric-id":3809306,"id":"Q3809306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488529$17913246-7C31-45FC-A944-4A3662D8A525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13fea1ac3ee9372cea794388ddfec6d158b780a2","datavalue":{"value":{"entity-type":"item","numeric-id":5055712,"id":"Q5055712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488529$F75D196D-BA8A-4D36-ADA1-4D286E5FDA1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378088a63ec20245823db74d6a8845609e39ce21","datavalue":{"value":{"entity-type":"item","numeric-id":593789,"id":"Q593789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488529$E6357D18-73F1-4633-A4D7-53C28D0D1FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d44a0e50fda314668a36654efb04ab5135cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3868730,"id":"Q3868730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488529$847CC19B-E4A9-4AA5-B903-5DF775C60C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"832de6b4823f54c6ca4b13abacfb4f83b948a7eb","datavalue":{"value":{"entity-type":"item","numeric-id":3725540,"id":"Q3725540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488529$40A5ECFC-05C4-4A24-B67D-FD10A2CDA34A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3006b5dee5bcadfac4b9f65d6860d72f75e2f535","datavalue":{"value":{"entity-type":"item","numeric-id":3880309,"id":"Q3880309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488529$C9A5587C-5E1D-44A2-8F77-EC7F302251BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7b4246bf332d45c90c410b55aa43c4af6aee470","datavalue":{"value":{"entity-type":"item","numeric-id":5626277,"id":"Q5626277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488529$F06C5573-34BB-4CD8-8125-05B6625A9B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488529$48469855-BA96-4A98-9E53-D6CA9F37EC28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e9acb750b5a1fcf5fe08b591fc6df182dd9e5e0","datavalue":{"value":{"entity-type":"item","numeric-id":3883561,"id":"Q3883561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488529$632271EF-683E-4F97-942A-5DDBD5758279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"849241baa6b3c56591969b2586e51dae90f667cf","datavalue":{"value":{"entity-type":"item","numeric-id":3816048,"id":"Q3816048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488529$86569FA6-2206-4F52-841D-044B9171E93A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fbe446638a30935c3b4739bf981a9ef50f564f2","datavalue":{"value":{"entity-type":"item","numeric-id":913496,"id":"Q913496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488529$758B8BE3-BDC7-44CF-B56B-D011B98BF041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2cfe00f727b087a386cc5c62c253e81e5e8c7c0","datavalue":{"value":{"entity-type":"item","numeric-id":3783519,"id":"Q3783519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488529$6BE125F0-DF6D-4785-BBD2-E5C950EC0E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488529$7B983828-90A0-42E7-8D43-D6B76F29F4FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a878e57b1e1389129c5180ce350c7ac75303d59","datavalue":{"value":{"entity-type":"item","numeric-id":5055734,"id":"Q5055734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488529$86039723-EC69-429D-9E83-E7F492B96E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fde949ec0edc78cafc417dc0d661c3b24c05302","datavalue":{"value":{"entity-type":"item","numeric-id":4103509,"id":"Q4103509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488529$D0569B0C-E711-4B03-9846-C3B340535430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"031d93ba0f0d59696b935bd9707e0c0dc3b5aa4f","datavalue":{"value":{"entity-type":"item","numeric-id":4050191,"id":"Q4050191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488529$06B2BA35-4396-4E07-A44F-5E95210060C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4c644393292b3f41469d648371f2669fdfbbd2a","datavalue":{"value":{"entity-type":"item","numeric-id":3805961,"id":"Q3805961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488529$120ECDAE-679A-4233-B309-1246F592FE0E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcd70799035cacaa4c97b9282ffc1d71e5edfbac","datavalue":{"value":{"entity-type":"item","numeric-id":1183582,"id":"Q1183582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f4274e82b676ef352f6dc38c331650aa998c50c","datavalue":{"value":{"amount":"+0.8274185657501221","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":"Q6488529$6C24B1AD-71CF-4C8F-B08C-A1F51DDA0906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21fe070148e65ecac847534419d47c22b1b0ca06","datavalue":{"value":{"entity-type":"item","numeric-id":757069,"id":"Q757069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"601d358553497a2f3035f1571db18a81a6615252","datavalue":{"value":{"amount":"+0.8270962238311768","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":"Q6488529$3D0D1D3C-29DF-4164-B586-E8E5B7EAC47C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07ea7c93edaa58c009afa0f45c768035fa8c2e4b","datavalue":{"value":{"entity-type":"item","numeric-id":3490953,"id":"Q3490953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f66d99c98fb25a847ddb65e0e039532d32b61ea","datavalue":{"value":{"amount":"+0.8237148523330688","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":"Q6488529$95801DEA-3EDF-47EA-84F0-B1E4DFCC96C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bc0e9dfedab47de88b81004c6a469f687595725","datavalue":{"value":{"entity-type":"item","numeric-id":3783518,"id":"Q3783518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93292e7cad65b7b2d4adbbb96c8e77cad884f365","datavalue":{"value":{"amount":"+0.8043739199638367","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":"Q6488529$DCA7CF06-7FF2-412A-82CA-1A6D4A474750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6cd56869d2713c577a3b177b01422e161369c57","datavalue":{"value":{"entity-type":"item","numeric-id":2841240,"id":"Q2841240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb7e9a10e2d97b9aa5025b96d26f2ec1bf5a5b62","datavalue":{"value":{"amount":"+0.79373699426651","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":"Q6488529$F1C66D45-17FE-4C32-92A3-2E9D2FE6609E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6488529","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6488529"}}}}}