{"entities":{"Q2932848":{"pageid":2943568,"ns":120,"title":"Item:Q2932848","lastrevid":79770863,"modified":"2026-05-06T14:40:23Z","type":"item","id":"Q2932848","labels":{"en":{"language":"en","value":"On termination of functional symbol-free logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6378834"}},"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":"Q2932848$C80866F5-9B8F-4CEB-A7B8-2A741CDBFE67","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8252dc12ebb57b300f49a7f4182cb1771548653e","datavalue":{"value":"1301.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2932848$0788371D-6F32-4209-9A7A-8685B37F8C5D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"647b7a1b0f81a95dd0d55b044a22a9b52645ffc6","datavalue":{"value":{"time":"+2014-12-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":"Q2932848$504218AE-DDB8-4057-95A8-6F243A2409AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2932848$D0C076D0-C313-49BE-B52F-C920537DA1D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2932848$48653DE5-F635-49AF-8F33-FCD117ED00CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a19984e5d0cabdbb3b5c82b28a33b35ea3bd20a6","datavalue":{"value":"6378834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2932848$B5BCB524-28C9-4F0C-8E5C-6BD8D54F1B81","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2932848$D58F5DBD-7D20-4419-BE22-71284BD4F1AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2932848$2B48955E-0105-467B-8700-9CFDE5986183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4301283158a512943f1bfc31aa614152532f6f0","datavalue":{"value":"functional symbol-free logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2932848$3EDB7630-7F85-4C4C-96E1-A10DC0950537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97a3580fefb9f9a05b9104da92afdd215835bc22","datavalue":{"value":"transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2932848$F75DCDD2-5B42-4573-8418-CC3AD941706F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56f20c55614c50a4573ae1625b422269df40744f","datavalue":{"value":{"entity-type":"item","numeric-id":1746945,"id":"Q1746945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2932848$650D6CFF-C1E0-4E16-9910-C2B020C47194","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":"Q2932848$7E4C8F93-7419-4E70-BD5F-762380535354","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aebf92be8aea5ce03820e93ebd9511fb24449a59","datavalue":{"value":{"entity-type":"item","numeric-id":4982472,"id":"Q4982472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"372ff43554a52bbd8374607ec25f6011e5aafd6c","datavalue":{"value":{"amount":"+0.8176573514938354","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":"Q2932848$5DE3984C-8B3B-4D8A-87AF-D6CA5ACF30AA","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":"d9fd5dc36fcf2f60cce8a561f0b6dd28f4883e06","datavalue":{"value":{"amount":"+0.8089812994003296","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":"Q2932848$3BB6A7D0-8462-4754-A80F-D06E1FD1C8E9","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":"bb18dbc2e22f02720f433d71e40abeede445c5d0","datavalue":{"value":{"amount":"+0.8028004765510559","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":"Q2932848$B79DA67C-C5EB-4815-8540-B73770A7F0E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81991e32bf8687bbed683e4a92ab08fd5d66b4ca","datavalue":{"value":{"entity-type":"item","numeric-id":4036282,"id":"Q4036282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9608cf0fc5fbda34b0b059c8823c98e113bfe34f","datavalue":{"value":{"amount":"+0.8024594783782959","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":"Q2932848$A619106F-5A96-4EAD-A435-46819C765925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae0b25c36a25a173ba338b9eab1eeb3fd1990ce1","datavalue":{"value":{"entity-type":"item","numeric-id":2932827,"id":"Q2932827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52631b792538378516a45838a6cb54f3be20b10d","datavalue":{"value":{"amount":"+0.7955873012542725","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":"Q2932848$9AF48F29-E18A-4B62-901B-51DD4BF092AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On termination of functional symbol-free logic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_termination_of_functional_symbol-free_logic_programs"}}}}}