{"entities":{"Q4719375":{"pageid":6748952,"ns":120,"title":"Item:Q4719375","lastrevid":40693151,"modified":"2025-04-04T09:25:27Z","type":"item","id":"Q4719375","labels":{"en":{"language":"en","value":"A semantic basis for the termination analysis of logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1383836"}},"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":"Q4719375$6E7396A8-0CF8-4CDD-839C-A3920DCC3AE1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c3ee91201fb33b61d47c892fdb2c65de91d8143f","datavalue":{"value":{"text":"A semantic basis for the termination analysis of logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4719375$11A17B95-8CAD-4B42-8F59-254C3626B1A9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b96f4ccf70579ffdfabc844296774e1f384f036","datavalue":{"value":"0948.68114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4719375$35BC6EC4-B4C5-4E2C-92E9-696C469639CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45674443f08d697f4d2c75f942ecb75c16729bbe","datavalue":{"value":"10.1016/S0743-1066(99)00006-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4719375$37C1FA59-148D-4189-B142-6D2F01DB6A35","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"97931dbd51a6e915b5cab2b02cecf55ce08aab9c","datavalue":{"value":{"entity-type":"item","numeric-id":340572,"id":"Q340572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4719375$455E52D1-2274-46C7-A198-441B85AD1D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd536ae3ab5922a92f4ad7d4afaebee3e6305e66","datavalue":{"value":{"entity-type":"item","numeric-id":4364367,"id":"Q4364367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4719375$76B539A0-5576-4EF6-88F4-CD253069DBCB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4719375$0C42543B-5E8F-4C5F-B1CC-2C69D092D4AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3cd41bcd6eb3eaebdb801c878ba706a0044ed940","datavalue":{"value":{"time":"+2000-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4719375$32A0ED23-88EC-4B1C-9AFA-3A109DD3F9F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4719375$9BB772AB-073F-4C76-9860-C9E380121FED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"137b73aea3fe8f7b4b2a7fee6b6c65218a706d6a","datavalue":{"value":"1383836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4719375$74331B3B-CB4E-4E1D-9EAE-6D4F8B284409","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bbf3058bc28bed1d400eb8fcfdc596d4ca9bdfc","datavalue":{"value":"binary unfoldings","type":"string"},"datatype":"string"},"type":"statement","id":"Q4719375$9CC18131-D961-4EAC-8279-1D75CC4CF8D0","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":"Q4719375$0497C57A-48DD-43FD-91D6-510EF97E3257","rank":"normal"}],"P1643":[{"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":"e6ed22ae6125db353e850aa8446b1c4b39920a34","datavalue":{"value":{"amount":"+0.95440835","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4719375$4206F6A9-E2C5-4058-B86E-0E86B2BC3325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66a6cee3b595049e8201b5f7273869acc0e1496b","datavalue":{"value":{"entity-type":"item","numeric-id":2767031,"id":"Q2767031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"994d52939112542b6bb69b17a35c489a729aae50","datavalue":{"value":{"amount":"+0.9275148","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4719375$E5A877C6-2655-4177-A505-77D1D61BD7CF","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":"b30efe17469225df80cd9d4d74dce8df8fd9d123","datavalue":{"value":{"amount":"+0.92631996","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4719375$A4ED8A1A-07C2-4678-B5EA-D25E6B1A9D75","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":"c315b7b91b0e7d607ea2a0a6f6940a3ee62dc23b","datavalue":{"value":{"amount":"+0.92609656","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4719375$C628CFB4-C869-4FA3-AEF1-AFAC4BB8CAE4","rank":"normal"},{"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":"b7977dc1faf4423351e0da242a377ae8313ef4ba","datavalue":{"value":{"amount":"+0.922806","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4719375$E9B9EA46-AA28-4ECF-BA17-CF14765DCF67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcce8ece0bc881a6adb213fe2643a1bfe9ee3bec","datavalue":{"value":{"entity-type":"item","numeric-id":4306397,"id":"Q4306397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d8b6d6212803f435cbf55cbafabc250112f8eee","datavalue":{"value":{"amount":"+0.92278904","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4719375$793BA41E-6A98-4DFA-AC7C-DF0F6C1A62B0","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":"761cd99ab0e4ddce92fb21cef84fe277e1015517","datavalue":{"value":{"amount":"+0.92212224","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4719375$093F07E4-C289-41F0-B492-BEE768FDA38B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68dfec6cc7c1b55c7aff1f98e8cfbff05da12d49","datavalue":{"value":{"entity-type":"item","numeric-id":4779112,"id":"Q4779112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fadfcc47667818503ffeea6e07a5105863526bdd","datavalue":{"value":{"amount":"+0.9205363","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4719375$A830B55C-91E3-4B37-BE58-63550F5054D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b6c37bab9832d9dca238a682b7ad73aa261fdf6","datavalue":{"value":{"entity-type":"item","numeric-id":2996201,"id":"Q2996201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"590137f3a14f5ffa0e5303ede196c4719ded5322","datavalue":{"value":{"amount":"+0.9164984","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4719375$E64A4AC2-CF75-404B-86F8-F18BDCCF4DFE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4719375","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4719375"}}}}}