{"entities":{"Q3558284":{"pageid":5588188,"ns":120,"title":"Item:Q3558284","lastrevid":50972420,"modified":"2026-01-16T00:56:13Z","type":"item","id":"Q3558284","labels":{"en":{"language":"en","value":"The dependency triple framework for termination of logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5703469"}},"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":"Q3558284$6FF85F71-8293-42D4-B3BA-BA4C21F52652","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"95c0571c3a3cdaa3365ad83c8192a644b2d7bff7","datavalue":{"value":{"text":"The Dependency Triple Framework for Termination of Logic Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3558284$8B0DCC73-7841-4FE1-818E-F42A8320BE84","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e3e05f56ad8ddb64f376b654081920a287add8f4","datavalue":{"value":"1284.68119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558284$5500BA73-1DBA-4D29-A3CE-61B4BCCCC9BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c24749b62991a5c1426f4336bc3596a505f897c4","datavalue":{"value":"10.1007/978-3-642-12592-8_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558284$0A022EB0-8BBB-4DEF-9A4E-D9C680564ED2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ee03ce229dce1ad90ba116368ba88145bf746ab","datavalue":{"value":{"entity-type":"item","numeric-id":340574,"id":"Q340574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558284$88B227B0-6E22-457D-8E9F-D2A40DC718CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"987fb5700652e430e8831c9401c3861ad6aebb91","datavalue":{"value":{"entity-type":"item","numeric-id":199242,"id":"Q199242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558284$334D7A9A-16A2-4F12-AD88-52B66F6C4EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78e36c83958d69fae5dd9cfa269603953e2fea55","datavalue":{"value":{"entity-type":"item","numeric-id":3087807,"id":"Q3087807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558284$60385A26-D97E-4431-9228-372DDBBE6916","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"adb24e8791ad8d605f348f62fef07af498b65f70","datavalue":{"value":{"entity-type":"item","numeric-id":2848891,"id":"Q2848891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558284$4E7A7EE8-E10A-444F-9670-B5044F609AE7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0d489a41f5ce9c5a7b74a3f4e524032b8d5d571","datavalue":{"value":{"time":"+2010-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3558284$E44B3A3C-518F-469C-9A9A-0626F38DA5E6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fee6c1d024539c9e55815b34567100719c950b2d","datavalue":{"value":"http://publications.rwth-aachen.de/record/129003","type":"string"},"datatype":"url"},"type":"statement","id":"Q3558284$AC86EDE4-9D10-4696-8FFF-790767B8824B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558284$22C5D945-DF93-428F-9253-F9A563EDBED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558284$5E67910F-0533-4ADB-A578-AE278F6918CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13c38597aa34aa8e8228417c13cc8b93ec92a7be","datavalue":{"value":"5703469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558284$6BC66CFF-99B5-447F-978B-0CC92558201C","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":"Q3558284$90F6C5D8-1F49-4ADC-8D9B-51EFE17494AE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"14fdd9b14773e99887f3b844ce03714406d6b023","datavalue":{"value":"W1574704561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558284$65571D95-73C8-41E4-8C83-8B802A80D5E9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06184aae9cf0ae0c1dfb85910908f1e7805a09a7","datavalue":{"value":{"entity-type":"item","numeric-id":5504590,"id":"Q5504590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"717514fb0b219a375a4537aecc54a98503cfa6e4","datavalue":{"value":{"amount":"+0.8822516798973083","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":"Q3558284$7F34073D-E177-410F-8190-FA5896BD6EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f6fab90b83cc9d742f06497c53e78be9c5c408c","datavalue":{"value":{"entity-type":"item","numeric-id":3003493,"id":"Q3003493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08e20b644427d6e9581475365ef3ad34a542f08c","datavalue":{"value":{"amount":"+0.8554044961929321","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":"Q3558284$A4F2A5F7-5673-4512-A8FC-970CFC6E2F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f0a802207774410f576ebc589867652a625a02b","datavalue":{"value":{"entity-type":"item","numeric-id":5941755,"id":"Q5941755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f298d3086cc85b461e1acebbf5d68476f6005de","datavalue":{"value":{"amount":"+0.8441637754440308","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":"Q3558284$570256D6-4F52-4239-97F9-9F41361F4948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f1b0c6df271d509c4ec48085179026720566a2a","datavalue":{"value":{"entity-type":"item","numeric-id":4305628,"id":"Q4305628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abd441d6215bdee0303eaefc775fd2a0a2965a57","datavalue":{"value":{"amount":"+0.8440513610839844","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":"Q3558284$5BF7708E-656B-42DA-860B-126D31C16F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77ea81fecbb111261ef055d1ca77669d1b9f05ae","datavalue":{"value":{"entity-type":"item","numeric-id":5705932,"id":"Q5705932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a7375139ad7c5d9e7aef2d453060131893fb864","datavalue":{"value":{"amount":"+0.8332231640815735","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":"Q3558284$79DCB6C2-B7B2-4AEA-A005-C95DB8BE1CBF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3558284","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3558284"}}}}}