{"entities":{"Q6493567":{"pageid":14072340,"ns":120,"title":"Item:Q6493567","lastrevid":95500154,"modified":"2026-06-05T09:09:55Z","type":"item","id":"Q6493567","labels":{"en":{"language":"en","value":"Non-termination in Term Rewriting and Logic Programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7839262"}},"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":"Q6493567$71EBFD02-5461-4B8C-B81C-B49D8E631CB4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9c71dd9ed7639216e4cc1cb905588805dd7baaaa","datavalue":{"value":{"text":"Non-termination in Term Rewriting and Logic Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6493567$A62613F4-AD0A-4A0E-838C-C76A85B8AE37","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9dcdad15dffa4f4fe5f76bb1d2697810a5a7cec6","datavalue":{"value":{"entity-type":"item","numeric-id":293179,"id":"Q293179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493567$1FBB74CB-FD10-4BEC-BB5D-E02FCA82163B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493567$B330D0C0-0288-4ADD-823F-136383B9E48E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bfa9a0f33f50a2c6d2c799c7a2fa7a1f56f2d9e2","datavalue":{"value":{"time":"+2024-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6493567$66B21614-458E-4F4C-8F43-0FF3C6D5A10A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6493567$77ADD918-884C-4BFF-9E47-118550AC711D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d064032453c14e4d54fedfe90e7d1a9ba535c19","datavalue":{"value":"7839262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6493567$342794D5-FB7E-4273-B515-1CB11DA16CA5","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":"Q6493567$93FACA43-8618-4DD4-89EC-EB70EAC2CBCB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1b84411f0d8d73027062cd592c041f4213745519","datavalue":{"value":"Q128701768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6493567$936EF780-D5F6-4797-B64F-F338684E7971","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493567$631FACA9-272B-4EE9-A31E-6F6DC53509D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77d418920177a910ec31640970cf78e21a929ec6","datavalue":{"value":{"entity-type":"item","numeric-id":1177923,"id":"Q1177923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493567$1B9631E0-1A2E-4808-AC3C-C78B95FF4C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a8ce26f6a8ecad29886ac6bac936510fe602ac6","datavalue":{"value":{"entity-type":"item","numeric-id":4719375,"id":"Q4719375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493567$FBAB9DFE-E5EF-4C15-A247-274E6CE369E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d3f5f0e6d39b0610560c479018fc71a2adcd20","datavalue":{"value":{"entity-type":"item","numeric-id":1098624,"id":"Q1098624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493567$2E3ACEA5-C2C1-428A-A2CA-6EB6F7764809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ee69feb87337d10f198fd9cd05eafdb4073760f","datavalue":{"value":{"entity-type":"item","numeric-id":2908495,"id":"Q2908495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493567$8A658E62-7E11-4816-B949-4D3C677C1925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a695ada40035e6b9321eb27b6a6c4e86a51d912","datavalue":{"value":{"entity-type":"item","numeric-id":4718895,"id":"Q4718895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493567$16006F7B-2B36-4E9A-9235-2C200ABB3AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"596e81531801f4667663ea94c8d1d2f7c96d808c","datavalue":{"value":{"entity-type":"item","numeric-id":2362493,"id":"Q2362493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493567$864A3A9F-AA97-4D7C-BD53-B18B66508854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d9d1a825019987eb50d4a73ab4b5db6ef28ea3c","datavalue":{"value":{"entity-type":"item","numeric-id":3040518,"id":"Q3040518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493567$9B761B40-2CCE-440F-A866-8BEDBBC8BA03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28a33b862f7d8441651d4cdc6c39e4250de110d1","datavalue":{"value":{"entity-type":"item","numeric-id":2540014,"id":"Q2540014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493567$294BEE40-B27C-4C59-B2BB-65FBA6417359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98cb4459e9550e8e794652e6fd91a1b9970f2692","datavalue":{"value":{"entity-type":"item","numeric-id":944383,"id":"Q944383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493567$7EFBD4BD-C3D5-42BD-B34D-FA95FD5C91CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9836b3358a57b040509aa2773b587777940123c","datavalue":{"value":{"entity-type":"item","numeric-id":6085974,"id":"Q6085974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493567$5404D2C9-3B68-429E-B40A-77BB3A489B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c2a604ad8537237bf4f35e0d8826e78ef178beb","datavalue":{"value":{"entity-type":"item","numeric-id":850497,"id":"Q850497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493567$E45B8AFE-8DD7-4DDB-BC34-788A64BB05B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b52f19d038a78c4cf676e00b2f74e9cbb2fe2bad","datavalue":{"value":"10.1007/S10817-023-09693-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6493567$661B36DF-A88D-44A2-A464-1725F1549B44","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6779e5c23b3245f7d0611fcde28dc6a09d109ca","datavalue":{"value":{"entity-type":"item","numeric-id":3591088,"id":"Q3591088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaeb7bef3f434edc25cc3ee136dab7d29bcf7f83","datavalue":{"value":{"amount":"+0.8003607988357544","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":"Q6493567$30B7C7CF-6EE4-4A86-B2EE-1D2C2A7DEE1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c658cf8c43026c035d383efeeecf87d13fd52fcd","datavalue":{"value":{"entity-type":"item","numeric-id":3003491,"id":"Q3003491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b48237a1c08adf09ec5d0af00f3514e839650f3a","datavalue":{"value":{"amount":"+0.7835661172866821","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":"Q6493567$4218A078-E900-412D-A784-1C325C9905A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4dcd30a32cb361babaf579c6e625f6cb34f1918","datavalue":{"value":{"entity-type":"item","numeric-id":5466573,"id":"Q5466573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2e7d4197ab8c19e0aaaf4def0470c42f7c42ef6","datavalue":{"value":{"amount":"+0.781919002532959","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":"Q6493567$400AAC05-90BD-43D0-97D4-E20014ACDA5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18e564691de7f9040156cd8409db89828c9cb15f","datavalue":{"value":{"entity-type":"item","numeric-id":3621267,"id":"Q3621267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f23ae093a35395720dad9d151bf92b09229e9326","datavalue":{"value":{"amount":"+0.7787686586380005","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":"Q6493567$EE404E89-4808-4758-A4DE-F32F7670890E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58839a2cf3aac3947a41a9a1de6cbeb0f7b07386","datavalue":{"value":{"entity-type":"item","numeric-id":4649732,"id":"Q4649732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"019913bb038a0f5d342a013ef0e8286bfd809121","datavalue":{"value":{"amount":"+0.777698814868927","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":"Q6493567$90128E2F-D7F7-4708-A7D3-BA7F8A7F0B09","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Non-termination in Term Rewriting and Logic Programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Non-termination_in_Term_Rewriting_and_Logic_Programming"}}}}}