{"entities":{"Q593789":{"pageid":595565,"ns":120,"title":"Item:Q593789","lastrevid":62989698,"modified":"2026-04-11T09:32:26Z","type":"item","id":"Q593789","labels":{"en":{"language":"en","value":"Orderings for term-rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3833327"}},"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":"Q593789$8B1A74E3-ABBB-4BDB-B49E-289B2DFE399C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e8f8ff3da4678b9018f83741416c5a247e73c91","datavalue":{"value":{"text":"Orderings for term-rewriting systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q593789$F28D3DB5-A951-41FE-B361-6B0970611EDE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c802af772adecbb23942e0ca90c2a38a21d1843","datavalue":{"value":"0525.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q593789$33ABFD60-C5F1-4D92-963E-5EF71B3E7709","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ebd8183bd4a19fa012050888a7f8f0fa5faad8c9","datavalue":{"value":"10.1016/0304-3975(82)90026-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q593789$9B935A60-10BE-42D7-B24A-BC950BBCEC5F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"423424ed34b7dac382d00344caf66effb4c7fafb","datavalue":{"value":{"entity-type":"item","numeric-id":199247,"id":"Q199247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q593789$1CA560E3-63FB-4F5B-83B7-F0F60C542FAA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q593789$6D249C7B-A27E-4D7D-A275-AEDBD2877B35","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q593789$D6E673F9-CCD2-4AE8-BBB8-11F9B6A34050","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q593789$48802C1A-59B6-4141-9C8B-0B964B00D607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q593789$AEDB0881-CE68-4AB6-8D6E-8CD1D51C788A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q593789$AAB7D161-C4A4-4D84-B9FD-B64617B7ABA0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a93825df5f93306fcfaf0f35b40bddad1e0deab1","datavalue":{"value":"3833327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q593789$C3EF841F-7CCD-4DDD-A12E-5707EB3B5BE8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38905366263f6a518aca558c27818f32d073c764","datavalue":{"value":"term ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q593789$68E0DEA4-7AD2-42FA-BA47-672B291B8F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86596926edb31549e2c97dc09164e7228d03fe08","datavalue":{"value":"term-rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q593789$D2AEDDB9-7ECE-4A9F-8DED-85B126F7F3C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q593789$471E8843-50F9-4DEF-986D-48A13EB16321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdcad4c7642439c39c0fb14c4b6e63d465aaab24","datavalue":{"value":"simplification ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q593789$B0591F37-41A9-4B91-8191-034E8145F2CD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c62f005e0d35aadf822b20988439b932534d85d7","datavalue":{"value":{"entity-type":"item","numeric-id":13537,"id":"Q13537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q593789$DE694F16-4303-4A96-B7C8-D4422052A239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e07b63a7544a6d7c83390f82ddae368b77e124c","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q593789$9EAD2C0C-7B82-4D82-8A57-3057748248FB","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":"Q593789$D76FE1C8-FBA4-4E2E-BA58-FF6B771FE8A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7e541be3990e68b89ae0808d377a31d121b28bf9","datavalue":{"value":"https://doi.org/10.1016/0304-3975(82)90026-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q593789$AAB7163F-530F-404C-B2AA-9FD3A876EE80","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a93d4fc248277301fd9974c5456a2bb5067311a0","datavalue":{"value":"W2086747974","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q593789$E31DEA54-F8AB-4ABD-99D6-7CB8ECC7948C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a09c42b8043c6e2b1c7fb1ab5a6fdd5f5672906f","datavalue":{"value":"Q56814377","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q593789$61B7D398-A604-48C0-B840-71BA3B84AFED","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce52b549975f2f1eb2794b7e93bf906aadaa4ff7","datavalue":{"value":{"entity-type":"item","numeric-id":4131708,"id":"Q4131708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q593789$33EB3549-7982-4B94-9D11-AAC4F152A906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f215b4be5d109fd9d816f69f638d95cc094372e","datavalue":{"value":{"entity-type":"item","numeric-id":5552751,"id":"Q5552751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q593789$832544DE-CF52-4779-BC48-B610747842B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0f4147474a7e5a4baf84f193c7501316743b5b5","datavalue":{"value":{"entity-type":"item","numeric-id":1139374,"id":"Q1139374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q593789$0BEDDED1-428A-4707-BBEC-2A245108D6AC","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":"Q593789$DB0EF56E-12D8-4A9A-B158-5365BE6498AB","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":"Q593789$2CEB0C47-14E0-4130-95D7-3FAFD4D9E5F4","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":"Q593789$25FB2900-893E-4E25-8DF5-3C763A1B15C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11e5b43c5f0e711ef91c4f8e7255199d25558fbd","datavalue":{"value":{"entity-type":"item","numeric-id":5541375,"id":"Q5541375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q593789$A0045D01-8B2A-447C-BB14-64659E12C699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e57dada08276bdfd975413149fdc809775588d67","datavalue":{"value":{"entity-type":"item","numeric-id":1147232,"id":"Q1147232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q593789$D36490E2-FACD-40FD-9BE7-825915DBDA25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04627d8930222dc855d7ac72f78773223baf2263","datavalue":{"value":{"entity-type":"item","numeric-id":4195948,"id":"Q4195948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q593789$D39FF475-ABC1-4D86-9C40-33B655737C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f07cd0d9b623eb1f1630fb9390a2f8462a55ca9a","datavalue":{"value":{"entity-type":"item","numeric-id":5627617,"id":"Q5627617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q593789$E4572001-69E3-4B9B-A596-AD9AEB2488CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ed0853d5d25943754f0b88d3bc5a4e688b584cb","datavalue":{"value":{"entity-type":"item","numeric-id":5734436,"id":"Q5734436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q593789$56B84493-DE14-4E2F-AF01-9F8B5964A380","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":"Q593789$EA0578F4-D303-4376-8378-6E66D61521D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8670a1cb5138f59a7607a06c6c33e9eef7f2c9ea","datavalue":{"value":{"entity-type":"item","numeric-id":3938536,"id":"Q3938536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q593789$0B0802AB-3F58-4DA4-90DC-A8BABCFAFA69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8be9375a315209f41df1b38374a5e7e956d28bf","datavalue":{"value":{"entity-type":"item","numeric-id":5807665,"id":"Q5807665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q593789$9331C90F-2CFA-4140-A3D3-64813DD507B1","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"8193b1baa2e23df0c973e6dbd1c3657bdeb808ab","datavalue":{"value":"journals/tcs/Dershowitz82","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q593789$8EA88FC8-DC0F-42C1-BBC1-AA8031CBC3A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Orderings for term-rewriting systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Orderings_for_term-rewriting_systems"}}}}}