{"entities":{"Q5398070":{"pageid":7427644,"ns":120,"title":"Item:Q5398070","lastrevid":51933998,"modified":"2026-01-20T14:03:27Z","type":"item","id":"Q5398070","labels":{"en":{"language":"en","value":"On the termination of logic programs with function symbols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6261551"}},"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":"Q5398070$4A69CC67-8699-4092-B9D8-4FBE0E274DFC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d6300e1265d5871fc46ca3ac1ba12bda6efd324","datavalue":{"value":"1281.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398070$C76A5214-3725-4370-BCA8-458013DF9D84","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e783cdbe9cd5a5931f0254f84f99d76af1205513","datavalue":{"value":{"entity-type":"item","numeric-id":199226,"id":"Q199226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398070$85249057-BD9C-48F1-91B9-A4269E852A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b15a74328c3cfb808581620fb895e9dfac1d6307","datavalue":{"value":{"entity-type":"item","numeric-id":322072,"id":"Q322072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398070$460E7BDC-6362-43B0-8509-C554CC43AEE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e90e94d598cbd6fbff9a6f5d02ed5983e94ef47","datavalue":{"value":{"entity-type":"item","numeric-id":2084949,"id":"Q2084949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398070$5CE1051F-E7F6-43D2-8BF9-63C12E339133","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"efe2faed09c4ec490640e4d710dd813f29d8297b","datavalue":{"value":{"time":"+2014-02-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5398070$5D68BA4F-7125-4610-B5E1-73AD252591FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398070$ABA38C06-4C5F-4CC6-867B-3585D76350FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398070$A559C1E9-9EF3-4847-B8A7-9639352B174F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6645801543b11550a167264e872779514190612f","datavalue":{"value":"6261551","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398070$85E44A6B-A2BC-4D3B-8D90-F960BD3E4DC1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398070$E3C3B542-D483-4E4D-AFE8-C789FDD61C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d6217c926fca77dbfd91f47d77cc8214a998072","datavalue":{"value":"function symbols","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398070$C5202B1E-4278-4287-817A-151B10426E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"017f95001af75199254f35a26cb8e139711fa033","datavalue":{"value":"bottom-up execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398070$06A9CF70-BEDA-4478-85B3-49676F9B4335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db5ac46422607c747e60f1c77051817e04e9baee","datavalue":{"value":"program termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398070$325CAF00-3622-46D5-A382-5B5652551943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cf68b700896c255a0bd6c82529e8b253e1f9d4f","datavalue":{"value":"stable models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398070$B1D0FBBB-D35D-48A7-9C10-2F203CF35AFA","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":"Q5398070$8223751B-2652-4BC1-959B-BF44C9E8F108","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f569d2635f83b1f1da92d336a9f9ef6dbda27790","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2012/3633/pdf/31.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5398070$1394BF69-31DB-42B2-A7FF-0943E0A6F87E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f69a7d2f1a873f2cbf1f475add9584822a3979ef","datavalue":{"value":"W1821679657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398070$6B0F38B4-61E8-4EB4-A629-16BD06A2036E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"10fc590e84285d5a03c16ce56f5241772ced99e9","datavalue":{"value":{"text":"On the Termination of Logic Programs with Function Symbols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5398070$4B1271B0-0D4F-4CC2-BC27-5A3A9265B253","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cdec09895c1da79004302c751f0afb2825383fc6","datavalue":{"value":"10.4230/LIPICS.ICLP.2012.323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398070$E38604AC-826C-4336-996D-238E6DF139BB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"364f41ec84f9279869216a15651fae8f693e8d92","datavalue":{"value":{"entity-type":"item","numeric-id":4593017,"id":"Q4593017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf04f9db076849a9635d3fe92c503ef1013b649f","datavalue":{"value":{"amount":"+0.943065881729126","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":"Q5398070$F315D771-1F09-4CA6-8C14-2B01D6B3D074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"260d31e8b9d1f77939ded3ed6b7cd2984927982c","datavalue":{"value":{"entity-type":"item","numeric-id":5398308,"id":"Q5398308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"987d93534a29b2b1c192384f4137780b676d3887","datavalue":{"value":{"amount":"+0.8554635643959045","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":"Q5398070$4C88CA06-AEB1-4B32-B92B-7B957B2142CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52c6be753ff39a07c6d9500039bf8177957d5def","datavalue":{"value":{"entity-type":"item","numeric-id":4608717,"id":"Q4608717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0707eae9e9fc16432bc05bf2d7b7086c510b0c6","datavalue":{"value":{"amount":"+0.8399690985679626","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":"Q5398070$17448D8B-43A9-434C-B65B-8DF9D6DC446E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a774334c6b2e059e431b41092f97b52a0256a63f","datavalue":{"value":{"entity-type":"item","numeric-id":4593032,"id":"Q4593032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e71e742959d23a0a6f948d96d2acaa0d4d0698d","datavalue":{"value":{"amount":"+0.8250390291213989","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":"Q5398070$9A99CB92-3A0C-46B4-91EA-59B5DE1E01BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4624b2573a33232f4e1f34718a11569af8a9dde2","datavalue":{"value":{"entity-type":"item","numeric-id":3128527,"id":"Q3128527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf413725838c30f8d282dd1899dac511e1d07907","datavalue":{"value":{"amount":"+0.8169423937797546","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":"Q5398070$857F4F6D-EB43-41AB-8431-822807CD0856","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5398070","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5398070"}}}}}