{"entities":{"Q1041807":{"pageid":1043655,"ns":120,"title":"Item:Q1041807","lastrevid":66016605,"modified":"2026-04-12T06:58:26Z","type":"item","id":"Q1041807","labels":{"en":{"language":"en","value":"Operational termination of conditional term rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5642380"}},"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":"Q1041807$DCFE2DE2-EEDF-4550-91AC-E4751F88D899","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"62cb8ef26571b7184bca9b69f1b78ea0686f7281","datavalue":{"value":{"text":"Operational termination of conditional term rewriting systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1041807$30CE89E6-4DE5-4E55-8741-F3DAD27C4826","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c9d9fb2a4f56f6d4e6d763197e28f0d7bc289bb","datavalue":{"value":"1185.68374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1041807$C367B137-B6E1-4519-8CDD-337878C6FA29","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30c863fa396706b2f00b0e4efd36ab68137f900a","datavalue":{"value":{"entity-type":"item","numeric-id":293292,"id":"Q293292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041807$F18EDFBF-A19C-47FD-BE9C-24D7FBAA42A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a94b145bad45cfe6e90ce99cf046bd3d7039d44f","datavalue":{"value":{"entity-type":"item","numeric-id":604391,"id":"Q604391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041807$EA1D4207-8015-4368-BF6B-80014C3E026B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041807$33D2A09C-8B4F-4515-8A62-C6D7A405B1FA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041807$DD56BF43-EBE6-421A-921D-E9D27389567C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e067d02fef1a1d1eabc0ca53437d57c4cd48bc0","datavalue":{"value":{"time":"+2009-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1041807$D6F32B5C-1E40-4ABC-A7F7-C81214D7F374","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1041807$618A423F-658F-4C3F-8F02-4F1C7D80ACF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1041807$2D199992-024D-4BE9-9585-864D9575D236","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cbe0d5c145ad48a55a09894fb9eb82588631aeeb","datavalue":{"value":"5642380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1041807$82DC91CA-9AB4-4B69-9652-BDBD0C83DEF3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"489560b9b00c44572ad1e0eebe89cce928d6d1f3","datavalue":{"value":"programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1041807$FFE13EB9-2F28-4792-ADBB-C5D60BF777AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9e0c5435c12ae5fac0ad2379b3f0e231cf6ffcf","datavalue":{"value":"conditional term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1041807$FB2F602A-EFFE-4156-9DA5-E703827BAFD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1041807$B8CD1EA2-D6CB-418D-9758-10E36570917D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1041807$AE4AB59E-18AD-4E8A-8345-3A192D110977","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9cc08f1ee64c2fc0d984a8fe54c7c857eeb0cc4","datavalue":{"value":{"entity-type":"item","numeric-id":18366,"id":"Q18366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041807$AE3C7EBF-90B5-4B92-88AC-FDAF4FCDE188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041807$FD4889CC-D6D4-42C8-A0F9-220BD6E528BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041807$9AADFD07-79A5-4FC9-A2EF-4A1D183CD024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4840352b17217b124b50c88ee4bd6bcc958c902f","datavalue":{"value":{"entity-type":"item","numeric-id":17510,"id":"Q17510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041807$5EC637C6-C0FB-4D5E-8FD8-811C5DF9B895","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":"Q1041807$BF412738-5405-41FF-8E01-432CF812B0A1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ef66bcbcabb3684d995c69dd920dc56983039dd8","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2005.05.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q1041807$B01547B7-C464-4F4D-81EB-33D00BE75CE9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4d08444aaf979d9b9e4bb474ce9ea6849d8d291d","datavalue":{"value":"W2091448415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1041807$7308213D-9354-40B5-B11B-424D43D8507F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a03dacafad2ff19ded175ac7d62381d002687606","datavalue":{"value":{"entity-type":"item","numeric-id":1111368,"id":"Q1111368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041807$A5043CED-B38F-42C8-BAC0-3689DA1710E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b84e50d5b8107ff3d8511662cf6eee9934348f6","datavalue":{"value":{"entity-type":"item","numeric-id":1608914,"id":"Q1608914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041807$1210073E-A3ED-422A-B75C-C59677B53997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df0a77e1c48f39d3b14ae34f12c26a25727e4adf","datavalue":{"value":{"entity-type":"item","numeric-id":1978640,"id":"Q1978640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041807$67B0D994-84B2-42D0-A05C-850CF839B316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"029c9b211e75ff587c0578ca54c4b6922fa8629f","datavalue":{"value":{"entity-type":"item","numeric-id":4449180,"id":"Q4449180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041807$4F766B27-7A2E-4DC0-8564-4EEEB0447730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca3b30d0a635de87e776bb5c6ce06af9f321896","datavalue":{"value":{"entity-type":"item","numeric-id":1608917,"id":"Q1608917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041807$5D1633D7-FC81-4C41-9674-21EAFA09177E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d903972af7d29825f64b1c88e5395eb0b5d0fe00","datavalue":{"value":{"entity-type":"item","numeric-id":915429,"id":"Q915429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041807$C073809E-7D24-4E6E-8A7D-8B3D20946F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"685b6f2241ca731964008614149743ea5d098bf5","datavalue":{"value":{"entity-type":"item","numeric-id":2715825,"id":"Q2715825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041807$C4D1A260-EAD4-4CED-84B0-A480A93239AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de9f23bc58febcc60aff99ac387949cd328d3079","datavalue":{"value":{"entity-type":"item","numeric-id":1065790,"id":"Q1065790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041807$4570FB75-4F83-438F-959C-CB57FBF15E5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc38d5f7a802e9ea35c5abdf22fc0003a899e4fd","datavalue":{"value":{"entity-type":"item","numeric-id":1100891,"id":"Q1100891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041807$BF76D172-DD4F-4B77-9864-1AE2BB1F470B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d3fdcf6eed15cca5b9dd7fb0f599de1b8457467","datavalue":{"value":{"entity-type":"item","numeric-id":2956716,"id":"Q2956716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041807$0E91B4A5-8432-4270-B96C-1352862EFFDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35de7df0c420175ccefc3da8012590103dbdf602","datavalue":{"value":{"entity-type":"item","numeric-id":3839051,"id":"Q3839051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041807$85488EF7-8CA4-403D-8F81-E6DD91B92312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc91f97f4610232fc0f4f16dad485e27866f89e2","datavalue":{"value":{"entity-type":"item","numeric-id":2783416,"id":"Q2783416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041807$3E97C054-A638-45F2-9BCA-D5901A99905A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8116abcf782f1eb265d3367f1bdda8229b59ed2","datavalue":{"value":{"entity-type":"item","numeric-id":4938421,"id":"Q4938421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041807$C539D1AA-9EBD-4195-8D15-ACF631687560","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f2efc8689893e8865faf980124032a8b00b483d","datavalue":{"value":"10.1016/J.IPL.2005.05.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1041807$97C520AB-F50C-426C-8D0F-CD2BC1BA75D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec5d626f383fca04f3ffaf8b1cca4a6c37a0867d","datavalue":{"value":{"entity-type":"item","numeric-id":710679,"id":"Q710679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f54c498cde6b6b08408a9d9f8558afb0e966733","datavalue":{"value":{"amount":"+0.8680635690689087","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":"Q1041807$C4883428-6C23-4D93-9E2B-7189B8159031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32c7667881ab6622c04be5a567e18ece6e1fa37b","datavalue":{"value":{"entity-type":"item","numeric-id":347382,"id":"Q347382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85dc12794afd457b8dd96cfaaa98bde5d92480e7","datavalue":{"value":{"amount":"+0.8601380586624146","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":"Q1041807$A3727027-EDCC-4F05-B81C-235BE02193D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b98283bb3a708a8fb06d1f72d6a661759538165","datavalue":{"value":{"entity-type":"item","numeric-id":2945138,"id":"Q2945138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd38d0edc261cdcac3eac739738d9f926924b840","datavalue":{"value":{"amount":"+0.8471083641052246","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":"Q1041807$5AB2CD48-9113-46E9-A61B-C0CD57FA2681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1f9cb04dd8bfa2b0667642bb4fc9b678f1a9432","datavalue":{"value":{"entity-type":"item","numeric-id":2945137,"id":"Q2945137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"166a869219e283f599aa37bc21d9b9bfaff2cd46","datavalue":{"value":{"amount":"+0.839870810508728","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":"Q1041807$ADF2D241-8865-4930-AA90-280F954790AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2d6f42f52d0e470da5862c55d4c2ad971a79eeb","datavalue":{"value":{"entity-type":"item","numeric-id":5881180,"id":"Q5881180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c4a178f248f938ed05c9d480849ef2c2f71ab28","datavalue":{"value":{"amount":"+0.816710889339447","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":"Q1041807$E199F307-691F-4B47-8E78-45CCB01306E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Operational termination of conditional term rewriting systems","badges":[]}}}}}