{"entities":{"Q757071":{"pageid":758920,"ns":120,"title":"Item:Q757071","lastrevid":64103301,"modified":"2026-04-11T17:39:55Z","type":"item","id":"Q757071","labels":{"en":{"language":"en","value":"Term rewriting: Some experimental results"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4193127"}},"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":"Q757071$4EFBB118-795C-4374-98DE-00BB43124AD7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"165dac455344dcc469d1f66ade8c09f8998a0990","datavalue":{"value":{"text":"Term rewriting: Some experimental results","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q757071$99D7A70E-20B9-4582-8588-932A55C08A16","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"50cb8bbe2ff79fe2a1a308b62cdab069f56c054d","datavalue":{"value":"0723.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757071$EED33E30-CD24-4DFA-B78A-9DB311003B9B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33dc21a4f24ba3fdabe1d65a355b268c71ef591d","datavalue":{"value":"10.1016/S0747-7171(08)80136-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757071$5F9EAD70-8A1E-4FB4-A54C-44E98871F173","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee5ebe8566b7f7cc38e3fd5cb8bd7bc0e5f38067","datavalue":{"value":{"entity-type":"item","numeric-id":757070,"id":"Q757070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757071$2D740E57-85AD-4AE9-8B8F-B9FFC899823B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34f99c9947f4d98af9da609b6496b55645bbe075","datavalue":{"value":{"entity-type":"item","numeric-id":1238600,"id":"Q1238600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757071$86081026-E346-47EB-952D-F1912F97BFFC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757071$DE40908E-665A-45E8-805C-998C1BAFF136","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q757071$08657A10-9007-48E4-9C68-46C228B3291D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757071$86B073C1-1F61-43C4-90D3-5BD5B1971B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757071$D0F3FD10-D2BE-4B5E-A100-51255D6431FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d042052304209322f60b72e8794d26ae5a71b1d9","datavalue":{"value":"4193127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757071$97F9C4BB-9F5D-4E24-B6E2-16AE2D741730","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1d316846177b52cbfc50495fb5e5584c467e568","datavalue":{"value":"deduction system","type":"string"},"datatype":"string"},"type":"statement","id":"Q757071$227B4DFA-9055-4CE3-8225-BD6FAED5DF2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1bece6013894040a98c4a21e070de45389b25af","datavalue":{"value":"simplified formal reduction format","type":"string"},"datatype":"string"},"type":"statement","id":"Q757071$686FE8E6-F220-4654-BB10-2B8E5C4F3C98","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":"Q757071$62F048C4-244A-4476-99AF-998A071BA343","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f46aebace2a25a127b5f8fa91e5c1e1d9e767403","datavalue":{"value":{"entity-type":"item","numeric-id":1097252,"id":"Q1097252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757071$3CBD3991-DEEA-402F-94DC-E44FC1D2AD24","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":"Q757071$40D0354B-8F65-400F-B662-72246E0EF8D4","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":"Q757071$46391BBD-2208-4E81-B2DE-D405456F5AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1f0b5c5d1ef7da893967c1b74defc4984f71dee","datavalue":{"value":{"entity-type":"item","numeric-id":1062761,"id":"Q1062761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757071$3860B8B3-AF09-496C-A53E-848E1108E991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1aa9e8bb4ef37ec285d6c238c3f5aa5ed5c9a38","datavalue":{"value":{"entity-type":"item","numeric-id":4139711,"id":"Q4139711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757071$044A12AE-47B8-49E9-8C32-3D39D7ECC73F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0001ddf29143e230db9061e7c9cfd72aed8db985","datavalue":{"value":{"entity-type":"item","numeric-id":1170894,"id":"Q1170894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757071$FB77C425-3F95-4BA3-8EFB-ACD2C91A8534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d43919d1f4da3b9a07eea3d230b3f18d880d5940","datavalue":{"value":{"entity-type":"item","numeric-id":1116717,"id":"Q1116717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757071$7583C3DA-8B5B-49E4-B760-B68213AAABA9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a71c0b3a72060eb23144beb96990aa0ba097a0d4","datavalue":{"value":"https://doi.org/10.1016/s0747-7171(08)80136-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q757071$9032074C-2629-4549-AE96-FA88557C0A88","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8b4df5b61c2f295900688ed803131e5764136c38","datavalue":{"value":"W1976790138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757071$4161CE1F-7672-4304-AE5D-BEA4A30EF15E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f1c70ed659205385e458fe3a28df7787e8c7705","datavalue":{"value":{"entity-type":"item","numeric-id":3805956,"id":"Q3805956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dc46660a5f61a39fe23b79fcf9ec8497afbe488","datavalue":{"value":{"amount":"+0.99999976","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":"Q757071$6E4D8F0D-E6AA-43EA-AC9D-7BB7C61305BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0beca14a5742b40438401972bbc9993097605816","datavalue":{"value":{"entity-type":"item","numeric-id":4376886,"id":"Q4376886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25f59e7525bf2b6130a4c53a6c0dfe66f7e84d19","datavalue":{"value":{"amount":"+0.912125","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":"Q757071$9A2AF9DC-84E9-4F6F-A3E1-C8B328C6A264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd27c5ee38bad862b3ffcc58afd5956965cc647a","datavalue":{"value":{"entity-type":"item","numeric-id":4702599,"id":"Q4702599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"498b0719033a396a45118dbe6e56325e7a03520b","datavalue":{"value":{"amount":"+0.90966606","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":"Q757071$62061275-E3E4-48E6-BAB1-EFD8EC70DABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cde0e4f178f1b5c069b724482596f48e088d000","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05d897e3d746b69285b7d3285133f0ebf0852f00","datavalue":{"value":{"amount":"+0.90690297","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":"Q757071$14FB5BBC-0AF7-46F8-B762-C90F2D51BC7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"094b56ecfa17507306c21215ee4485798f2d6e66","datavalue":{"value":{"entity-type":"item","numeric-id":3817590,"id":"Q3817590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62acc1bc2dbc51c9d0ef9c98757c4385192c663b","datavalue":{"value":{"amount":"+0.9012585","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":"Q757071$301E7506-09F9-4977-86C3-89FB0A8DF60D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f72d4116d823a59d64e156820479bb3d14da773d","datavalue":{"value":{"entity-type":"item","numeric-id":3484358,"id":"Q3484358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7aa2c6ea839eb551d34eda8b41fd91cc877d36db","datavalue":{"value":{"amount":"+0.89480495","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":"Q757071$7FC6B69F-B4FE-4B20-A6F8-3CEA291621B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6de8ef26c68ee86c0ca0e219f07df1af61019b2","datavalue":{"value":{"entity-type":"item","numeric-id":5287535,"id":"Q5287535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0edf5509691de1145e026ab089acf5a23522747e","datavalue":{"value":{"amount":"+0.8935784","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":"Q757071$6B063377-6A98-4451-9EF6-3E0856F6BB92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca2761631fb905da6079785d5a1ef901bc820b76","datavalue":{"value":{"entity-type":"item","numeric-id":5941751,"id":"Q5941751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83239489488bebe140008305c76b3f84af5cb40b","datavalue":{"value":{"amount":"+0.89242804","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":"Q757071$29AD1C7F-759B-4F41-8CEB-4195F695E526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64eed8be727bdf2b8a25bf8367bd63bae75bc4d1","datavalue":{"value":{"entity-type":"item","numeric-id":4222981,"id":"Q4222981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80e45fc94067ab237c7b89553c8ebb0b8010c352","datavalue":{"value":{"amount":"+0.8904202","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":"Q757071$CE3D4AD5-050B-4534-8E39-43224E0AFCF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cb4c115a27c54e7c463bd6207da05fe042a7640","datavalue":{"value":{"entity-type":"item","numeric-id":4038704,"id":"Q4038704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dcb8e0f83631cc94d7b25ed105cc35c86e76b89","datavalue":{"value":{"amount":"+0.8887013","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":"Q757071$C8C6B560-2EF7-4BF3-A5B6-5E6588F2C157","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Term rewriting: Some experimental results","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Term_rewriting:_Some_experimental_results"}}}}}