{"entities":{"Q3620437":{"pageid":5650343,"ns":120,"title":"Item:Q3620437","lastrevid":50630585,"modified":"2026-01-14T15:15:15Z","type":"item","id":"Q3620437","labels":{"en":{"language":"en","value":"Solving partial order constraints for LPO termination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5542983"}},"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":"Q3620437$4A8588D7-ADEC-4FD4-987F-4FA63B17A81E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"16b44fbd20f0e66646d04fcfdef98770fc55f3fc","datavalue":{"value":"1172.68484","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3620437$77676302-AC37-43E5-ADD8-3484AF55F457","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"97931dbd51a6e915b5cab2b02cecf55ce08aab9c","datavalue":{"value":{"entity-type":"item","numeric-id":340572,"id":"Q340572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3620437$A0F33C07-B6D4-4F2C-A3C2-11467791ECB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f56e5c602b016183d0057e14ebc518ed5ebefb1","datavalue":{"value":{"entity-type":"item","numeric-id":1575242,"id":"Q1575242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3620437$13342D7F-0AED-48C2-B80C-1325A2B689D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ce0c30279fc718bf70b3c03c8fe86c99509adf2","datavalue":{"value":{"entity-type":"item","numeric-id":264991,"id":"Q264991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3620437$F9CA7282-D7CF-4D73-93D5-6A3DAA86CCE7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a70e3fb7efc077ae8b5215707528be5246c293fd","datavalue":{"value":{"time":"+2009-04-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3620437$B55353EF-E81A-4189-A8EA-A949E159CE6C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3620437$801DBC09-E58C-40FA-BF4C-99CCEEA73D84","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"48dd36e49a45cb4852e4304cd836fa549dca1355","datavalue":{"value":"5542983","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3620437$D269F27C-8356-41B0-AFDB-682CEBE9D90C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e9618c17e0075c07bd94df67ab5b2f2f598ef63","datavalue":{"value":"lexicographic path orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q3620437$A0B5C859-9C76-43F6-AB43-02B07AFE9C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24a223a0ab5013fdb11c009715195fec61d7b496","datavalue":{"value":"term rewrite systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3620437$2DCAD67D-41A0-42B5-878A-F0D84B214B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3978d2f31bc86b19c4025fe772ec1974bbd09669","datavalue":{"value":"Boolean satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3620437$BC0A41CA-268B-49D8-881D-537106ED7ABA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3620437$96517161-DE53-48A6-83DA-3EDCE0F834F5","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":"Q3620437$F1B24066-108B-41BB-AB17-0ABBFA99533C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e987754d6d660d580c4ee14b6652ceb0ce1f4ae6","datavalue":{"value":{"entity-type":"item","numeric-id":3527280,"id":"Q3527280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9c5728c5717fef26959f2855c698e2faf7d87db","datavalue":{"value":{"amount":"+0.9389916658401488","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":"Q3620437$DB43305F-ECBB-470F-94BB-33E0EC1AC9CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a62a517dc646a6a12654993a5c7535c9e5b00fd","datavalue":{"value":{"entity-type":"item","numeric-id":2392415,"id":"Q2392415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f009d09facffbb29e3f516a556e53db8c8051cb","datavalue":{"value":{"amount":"+0.8112026453018188","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":"Q3620437$88E84D8C-C503-47F9-9561-BA34033AA468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8fb9353ebde6b94a8df99237fed92a72f2004b1","datavalue":{"value":{"entity-type":"item","numeric-id":3525016,"id":"Q3525016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89b89a0ba18a5e68d18a5f1561027103991b72f0","datavalue":{"value":{"amount":"+0.7789883017539978","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":"Q3620437$4007B5C3-3E52-42AB-A4C3-740679C8FBBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9c005c5218e35cb2d19c8691191599d58b66b80","datavalue":{"value":{"entity-type":"item","numeric-id":5387882,"id":"Q5387882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3fd426e25d2c1e32fedade599ca8b2b9c3af74c","datavalue":{"value":{"amount":"+0.7759385704994202","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":"Q3620437$99DD3E92-B12D-4B7B-B686-303AC8B8AE48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81025c70e8cd8d375e355d7d74b630a094978f32","datavalue":{"value":{"entity-type":"item","numeric-id":5448809,"id":"Q5448809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44a132881cff6c9f31dd61ec5d6a4599601bf477","datavalue":{"value":{"amount":"+0.745461642742157","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":"Q3620437$89A27A6D-04DA-4BA6-A548-C08A1EE7A592","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3620437","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3620437"}}}}}