{"entities":{"Q5881206":{"pageid":7910757,"ns":120,"title":"Item:Q5881206","lastrevid":47823802,"modified":"2026-01-02T19:22:26Z","type":"item","id":"Q5881206","labels":{"en":{"language":"en","value":"Termination proofs of well-moded logic programs via conditional rewrite systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7661568"}},"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":"Q5881206$A5794C19-2CF2-454D-9892-02BEB3E45AF6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b4eeb82514b7e623b02f0f3fb120b04ba8403bac","datavalue":{"value":{"text":"Termination proofs of well-moded logic programs via conditional rewrite systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5881206$D4034BED-76DD-4E5E-9A14-63AF12BEA971","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"89bf50e5f5a2391f1c3723619e9df735ce64adce","datavalue":{"value":"10.1007/3-540-56393-8_34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881206$2E9C202A-1153-4693-9676-F34B03C6A69F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b043e7c633006f3fac5c3bfd0395a92f663b5539","datavalue":{"value":{"entity-type":"item","numeric-id":758210,"id":"Q758210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881206$8C37B779-0E3E-447C-B271-5E6B9940AC7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ecde3ddf4f96a8da457aeb906b2979614b354694","datavalue":{"value":{"entity-type":"item","numeric-id":293310,"id":"Q293310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881206$6527302F-229A-4D82-AA8C-E461ABB29955","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00eb62236e33a5483cf4681f1956ae601238d263","datavalue":{"value":{"entity-type":"item","numeric-id":5881171,"id":"Q5881171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881206$4CBA1B8A-E760-489B-AE4C-86027D98A23C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa71b3b2a7b7ab0138de60bd723d67e92e6e5110","datavalue":{"value":{"time":"+2023-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5881206$3128C1C1-8D40-41D5-90A9-E7EBB695A0E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881206$BD4A262F-22DF-49C4-9D00-740C6DF51BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881206$6D59AEE5-FB4D-44E2-A8F6-3BC708B0DC24","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04a5633397a8cf912b4d2d02a6a97c70f55fc71f","datavalue":{"value":"7661568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881206$D5694DBB-9CE6-4E29-9906-4CCCA9F87FEA","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":"Q5881206$14F2DB8D-485B-4080-B3DF-8D44433B8F29","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7a73694cb6bf155063dabf56ec62ac0118c36970","datavalue":{"value":"https://doi.org/10.1007/3-540-56393-8_34","type":"string"},"datatype":"url"},"type":"statement","id":"Q5881206$FED88D62-72A0-49E8-A7BC-A9A5C9EF291F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c63c7ea47f5a8fc16d4dfa56d20bbf2002ba5f40","datavalue":{"value":"W1499823109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881206$1065D454-8896-4B9A-B3B4-9A16BD9D738D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4d7798eba50e0ffe1e4306d4a4aa338f6be7be4","datavalue":{"value":{"entity-type":"item","numeric-id":4079605,"id":"Q4079605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881206$216F9748-B7C9-4E06-8577-B9EEB7593411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5501613cddf33b1396dc7f1668c6f3991128201","datavalue":{"value":{"entity-type":"item","numeric-id":3999206,"id":"Q3999206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881206$6C625A0F-75FA-44D0-8D7E-48D2D924B634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881206$346DA131-6703-4D20-85F3-9E7087FE6801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"152fee618a8c8a56c2f61e93a4a015993fa3b87b","datavalue":{"value":{"entity-type":"item","numeric-id":1177935,"id":"Q1177935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881206$2871F548-2A08-4A5F-8294-40F2C591DBBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881206$4575315F-C06F-4F72-88B5-F2E69DC8EA14","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":"Q5881206$09E48AC8-F181-480A-8049-4FA61DBB082A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19077c4a91a76f2b9613650b2b5d1c2d1487498a","datavalue":{"value":{"entity-type":"item","numeric-id":3841095,"id":"Q3841095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf8c6e3f4a5587fad68a20d15fc36496590e0584","datavalue":{"value":{"amount":"+0.8676040172576904","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":"Q5881206$7DE04A10-5DBC-4C4B-B564-8101E2AA4281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab0fdf86f28858c64e4537be93177dfbf7fe7b9c","datavalue":{"value":{"entity-type":"item","numeric-id":4202945,"id":"Q4202945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc13ae3114d9ac067180e217badbfd2f6a06830f","datavalue":{"value":{"amount":"+0.8663861155509949","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":"Q5881206$A8B1EA43-1801-4EF1-A8C4-87C141D1115F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4567b863fa1fa6f6d3f163f88f8159158a7e7d15","datavalue":{"value":{"entity-type":"item","numeric-id":5941754,"id":"Q5941754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c622eef9b3c5f11f2662fafc05c6852080a71333","datavalue":{"value":{"amount":"+0.8612481355667114","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":"Q5881206$E144E585-95B4-419A-B3AF-4392483BEB04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c28bb92f351f81d042392026eb0190e20d557c13","datavalue":{"value":{"entity-type":"item","numeric-id":2946588,"id":"Q2946588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d2da830192d06efb53d374a74fc35a33529a181","datavalue":{"value":{"amount":"+0.8509878516197205","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":"Q5881206$9D6350A1-82B0-4C08-B79D-02595E6DECB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac4210ededdbd74bb5091bd7e9879f5bf4eb1dd0","datavalue":{"value":{"entity-type":"item","numeric-id":4452617,"id":"Q4452617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea2acb286e22feb692d5f29645e7444511773780","datavalue":{"value":{"amount":"+0.8471980094909668","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":"Q5881206$F7827526-BE48-4FE2-9945-7E002B03DA88","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5881206","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5881206"}}}}}