{"entities":{"Q1107975":{"pageid":1118724,"ns":120,"title":"Item:Q1107975","lastrevid":67010049,"modified":"2026-04-12T14:18:18Z","type":"item","id":"Q1107975","labels":{"en":{"language":"en","value":"Counterexamples to termination for the direct sum of term rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4066304"}},"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":"Q1107975$308A47D7-CBF3-4D63-AECC-118220915C02","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8741cff2881cf08da7c50ce5cffb5e988a7c3bc1","datavalue":{"value":{"text":"Counterexamples to termination for the direct sum of term rewriting systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1107975$1701A400-FA42-4BE8-8689-B0290DB7ECBE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d19e0f559d754eda3a54662ebfc822e164f1656","datavalue":{"value":"0653.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1107975$518DC405-44B3-4A75-84F4-740FCC15BF60","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fb6c2371af91f0fec8a172d6c1f1084249effe0a","datavalue":{"value":"10.1016/0020-0190(87)90122-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1107975$62035470-FF6A-430A-829C-2909BB76BDF2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bdfe0bd308aff5406204a71a8f73fb22d157ce4","datavalue":{"value":{"entity-type":"item","numeric-id":1107974,"id":"Q1107974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107975$84163828-53B3-4373-B90D-162611037253","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":"Q1107975$B38DA4FF-089F-4707-AFC6-97993DCF0A2E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1107975$0AB08A44-864C-4BC1-9558-FB6A4ADD9E09","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"10116a489112cfdcd4288da4d5616164c5d1867e","datavalue":{"value":"http://hdl.handle.net/2433/99946","type":"string"},"datatype":"url"},"type":"statement","id":"Q1107975$A6EB7778-5181-498C-9DB7-0288A746FF03","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1107975$B51F8DDA-DCC6-4095-8036-F43320FBE9F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d0d7921c3e21312f185d8964961f37ae5b838e3","datavalue":{"value":"4066304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1107975$F19DDEBF-3C4E-491E-B990-919368D6426E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43e72f18a6d6d4af9d0b64b4577421c0d9b7a93b","datavalue":{"value":"counterexamples","type":"string"},"datatype":"string"},"type":"statement","id":"Q1107975$711C8316-9F1C-4F5D-93D7-A548454DB156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1107975$376214C2-EA27-4034-86A4-79870DD03DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1afaf009f88bd8c7cab89448aa01726b37534c7","datavalue":{"value":"direct sum","type":"string"},"datatype":"string"},"type":"statement","id":"Q1107975$A5E0BB86-9E6F-4E4D-9FA1-0EC9644FF744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58acf4952d5f9adc27bc95a2037859c88d48f9a6","datavalue":{"value":"term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1107975$4EEFD817-B10B-4C10-B567-2D4D3AB7198B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"aaa86f033960fa50bd5915032b6514af767c33b0","datavalue":{"value":"Q56019617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1107975$292013DB-A8B1-40BA-81D8-0E1D887ADD62","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":"Q1107975$A3F97D35-F837-4709-AF9B-8ADD16D93864","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"251a8aa468e0dfc7ebae477390dd00d90c222748","datavalue":{"value":"W2080725351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1107975$79EDC549-3CAD-4EBD-83AD-1B5795A56AC5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e68522e480793ad08c3035e092f5d824e5fae6d","datavalue":{"value":{"entity-type":"item","numeric-id":3783521,"id":"Q3783521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107975$9DA877DF-D263-4368-A5FD-81DEC4D51BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a5a19332cdd7c221673f31522d65352fc9bc422","datavalue":{"value":{"entity-type":"item","numeric-id":3917482,"id":"Q3917482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107975$8CFC8079-FF7E-468B-A293-1E288C1D6314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"878d0cf3806a5845f931422b646e88e6f9f50943","datavalue":{"value":{"entity-type":"item","numeric-id":3703288,"id":"Q3703288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107975$D4B8E930-7F11-4BC6-AFE3-8BC4522BE389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107975$57FF9424-32FE-4938-B1BB-A44A71ED35DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"776ab2ff945c52396f6e0d21fa9758c667df50b2","datavalue":{"value":{"entity-type":"item","numeric-id":5503212,"id":"Q5503212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107975$0571BE34-5AFF-4D9A-8593-3488114C90CC","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"e4c558555744e01269e63da42cf3dac3a4b9a787","datavalue":{"value":"journals/ipl/Toyama87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1107975$6634951D-C206-4BE6-AFCF-96211ED70B08","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f60073d110b887a37e0db6ad74af43bddc55d2c1","datavalue":{"value":{"entity-type":"item","numeric-id":1108785,"id":"Q1108785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b824d3893842725fec1f2581b442a64e35f53b84","datavalue":{"value":{"amount":"+0.8717352747917175","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":"Q1107975$7325EF33-121A-4BDD-8459-9D5174BB1007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8786abc03153794f3a8d602484714c706cd6d058","datavalue":{"value":{"entity-type":"item","numeric-id":3204048,"id":"Q3204048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0749501dfdbd530e26cc0d80f5aaa1fca2d1ec4c","datavalue":{"value":{"amount":"+0.855173647403717","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":"Q1107975$9D0E2D17-C226-459D-9D5D-546BBE295DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae05816eb13af9f286450af69119e3ac667fb33a","datavalue":{"value":{"entity-type":"item","numeric-id":5055740,"id":"Q5055740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d647e949d9ed566e3606d305a813c3499db6708","datavalue":{"value":{"amount":"+0.8491062521934509","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":"Q1107975$97B22301-9F2A-4013-A94E-46339A2DF065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7121f07416fb4ad7acc1c8f55fde6f8ae46de3f7","datavalue":{"value":{"entity-type":"item","numeric-id":1328180,"id":"Q1328180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4135e4aac6499781640a20667d819fefc0b340e3","datavalue":{"value":{"amount":"+0.7908880114555359","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":"Q1107975$E7985AD2-C86C-423D-B2AC-07403064029F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89e458db5b0ff18c4d6a2091bfe3552cbd7e3568","datavalue":{"value":{"entity-type":"item","numeric-id":5503212,"id":"Q5503212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb601ee172596a6a94059c17146b12186f118c56","datavalue":{"value":{"amount":"+0.7901343703269958","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":"Q1107975$1C9C62D8-AF6B-450D-90C6-90F72890F966","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Counterexamples to termination for the direct sum of term rewriting systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Counterexamples_to_termination_for_the_direct_sum_of_term_rewriting_systems"}}}}}