{"entities":{"Q3087808":{"pageid":3098523,"ns":120,"title":"Item:Q3087808","lastrevid":51317141,"modified":"2026-01-17T17:53:38Z","type":"item","id":"Q3087808","labels":{"en":{"language":"en","value":"Polytool: polynomial interpretations as a basis for termination analysis of logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5939852"}},"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":"Q3087808$F44CED52-0AED-46CD-A86A-82F45FD5F085","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2a178640292fc1f3636f08d795d7663a661e48fc","datavalue":{"value":{"text":"<tt>Polytool</tt>: Polynomial interpretations as a basis for termination analysis of logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3087808$2D1012CE-6B09-42EE-AF88-3821E1895D38","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"92a0e23cd62b018ce7030eefdd5065cc7617b1bb","datavalue":{"value":"1222.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087808$02830BBB-A12F-4EB5-81B9-C26C181D7EC8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77a052f2e96a6a54e4224a2b755791c712cd540d","datavalue":{"value":"10.1017/S1471068410000025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087808$1074CF8E-6984-4191-B3A4-6C774DA74B21","rank":"normal"}],"P16":[{"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":"Q3087808$33B200FE-A594-40A6-9D21-5122E979EAE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19ef65edb47a3907b8782d56d731ecf0cd5121a4","datavalue":{"value":{"entity-type":"item","numeric-id":199253,"id":"Q199253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087808$A4EBE0F4-C75A-4CA8-9A1C-950D369B4A56","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":"Q3087808$FB048D04-B2F5-402D-A32D-560BCE6EB16F","rank":"normal"},{"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":"Q3087808$441CA205-C311-4DFC-B57E-ECC8E732E55F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087808$302F1D8B-8F50-40B8-86A7-80CC90DC5152","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf253edeced6fad2edf52e73f99001914b4fc105","datavalue":{"value":{"time":"+2011-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3087808$A5FABE9B-06BB-4260-9A0C-A30F3227BCEA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087808$7CF11419-CF32-4AF4-AEF5-61A0DEF93493","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8462d899dd5c74fa41fd3158b8987a100d16bfc1","datavalue":{"value":"5939852","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087808$A771B4C0-5553-4D5A-99B4-92F4E07152C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37f2233143951bddc905b7237274c784a4a18186","datavalue":{"value":"termination analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3087808$403984B0-F0A4-46F7-810C-AD05915D1618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6f81f09ef9481f33c0f1d35ff5997fb5baa46f8","datavalue":{"value":"acceptability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3087808$257B512D-EBB7-45F4-B085-FFB07673114B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"621527bcb2544743a612180377c0c8556ec5b01c","datavalue":{"value":"polynomial interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3087808$96385915-7DEB-4182-803A-FCA7CBA1A030","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":"Q3087808$7C747452-FE41-41A0-84BD-20F614C8197B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087808$57E5582A-B295-4077-84EB-AC52FE6ABCB9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbf194a08d302e010b5662dd861acd55ba1d05c8","datavalue":{"value":{"entity-type":"item","numeric-id":5475786,"id":"Q5475786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb6265edddfedc92717d924d372dcb0e4480b5ce","datavalue":{"value":{"amount":"+0.9110766053199768","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":"Q3087808$7459C2C0-153B-4602-BD7B-AC27315C7A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e62960d73e0602301806b28cc3b262548e8afa61","datavalue":{"value":{"entity-type":"item","numeric-id":3591084,"id":"Q3591084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e015b2167d41149a64a290b9b192cc36afaf2dc0","datavalue":{"value":{"amount":"+0.7986819744110107","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":"Q3087808$A1C06F3C-CAD1-4E49-AE07-545A76ECBEA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2ab284ca282458f5ee0350d83f2498c8c16f0df","datavalue":{"value":{"entity-type":"item","numeric-id":3612476,"id":"Q3612476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7262b0cb0a9fe989431348f89df78c6e06180576","datavalue":{"value":{"amount":"+0.7949833869934082","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":"Q3087808$C83ED48A-2881-494F-A85D-8CC12C68D9FA","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":"21cf57187b8abeed82797f602b06c2368cebb237","datavalue":{"value":{"amount":"+0.7933102250099182","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":"Q3087808$4B103E2E-367C-43CB-83BF-C68C90DEFFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c132360210247e3c99e83d560cb2923fc4f1afa1","datavalue":{"value":{"entity-type":"item","numeric-id":4364368,"id":"Q4364368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99e84b1bb1b93339c2f6c63a3df46747ed4fad8e","datavalue":{"value":{"amount":"+0.7928012609481812","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":"Q3087808$FB8A5D0A-C08F-496A-91A7-7890D861FFEF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3087808","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3087808"}}}}}