{"entities":{"Q5475786":{"pageid":7505345,"ns":120,"title":"Item:Q5475786","lastrevid":49865554,"modified":"2026-01-11T10:39:10Z","type":"item","id":"Q5475786","labels":{"en":{"language":"en","value":"Logic Programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5036425"}},"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":"Q5475786$0C45AFA2-07BD-4B5B-8CCF-DB7442C9B688","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fbfb669dfd4837754a088eb054019a38c1e6d0ff","datavalue":{"value":{"text":"Logic Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5475786$1D18F3AB-F4F7-4FDE-9D0D-296E24C0645B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db1c329f5d3aac99e6fa05bae1ab4728ceea56d8","datavalue":{"value":"1165.68337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5475786$4B654E23-ED51-4C00-821A-BE21CE47CF3B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8105aaebb84f152bbf6c63eeb6ace010bbef923d","datavalue":{"value":"10.1007/11562931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5475786$7193B1D8-ECCB-4DD6-AB25-9C7B9612A96B","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":"Q5475786$E7FCAECD-4E25-4F36-85F7-8B9A49F82EA6","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":"Q5475786$9C5173C9-8373-45A9-BB6C-F54318ACF35F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5475786$A4ADEA01-7844-4D38-847C-A8AD68B2A633","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e2100ced5bb0fc7a2f2d75de03e2412195897a08","datavalue":{"value":{"time":"+2006-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5475786$862A940B-CEEC-4DE8-8CE8-A491C002922D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5475786$B2837B86-CD10-43F1-81BD-9878C107D5DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5475786$692127BE-DFAC-4010-9A3B-155B3D89D537","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2cd1404388533d9ac67998960e1cb51a28a1b6ea","datavalue":{"value":"5036425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5475786$FF5A0F9C-C8BE-4BE0-B38D-0A249DC18B27","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc3fd5d0dfc64fb423bc4846ad5fbc36cfd501c3","datavalue":{"value":"Termination analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5475786$11A44A1A-7D40-4823-92F7-8CC7176ABB11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6f81f09ef9481f33c0f1d35ff5997fb5baa46f8","datavalue":{"value":"acceptability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5475786$7A5F55E0-2C80-4752-9146-D6A8AB44AB35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"621527bcb2544743a612180377c0c8556ec5b01c","datavalue":{"value":"polynomial interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5475786$28AD86AF-0A9C-4E12-867C-5DD1DCDC4477","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":"Q5475786$CC46A859-134E-4746-A379-91C4D10AED57","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"41b55dcf2ab1ba1226de5f7c2cbf58bee4f003ca","datavalue":{"value":"https://doi.org/10.1007/11562931","type":"string"},"datatype":"url"},"type":"statement","id":"Q5475786$E47A5E87-62BA-44C4-B8D0-7CEC5BACBA5D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7651d5b7a4c58c407e420857841ec460094aef35","datavalue":{"value":"W2104948204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5475786$F8C59C6E-3B02-4BAA-90C5-8E613C8B8C26","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b175fbe57203640eb893d8ae693dc8e10eb807d","datavalue":{"value":{"entity-type":"item","numeric-id":3087808,"id":"Q3087808"},"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":"Q5475786$EBE90FF6-62A9-4185-BB64-B6BE7F1D98BF","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":"a075c444f8147d7b8e332a3eb9dfa2edcf01a600","datavalue":{"value":{"amount":"+0.8017812371253967","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":"Q5475786$82C7938D-DF5A-442D-B98B-2191ADEE3B21","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":"41eeb0c3f1a0412c73254a34a6ca88e05b24ea4a","datavalue":{"value":{"amount":"+0.7949576377868652","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":"Q5475786$06383B4E-8A75-43CC-AF7B-062214B68753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33754bdf5767264205b654ee9b2bc0cb23873a86","datavalue":{"value":{"entity-type":"item","numeric-id":4719375,"id":"Q4719375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b51e8a8f79fae4ec0a0bc17cae2a99cbfe5bbb7","datavalue":{"value":{"amount":"+0.7913422584533691","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":"Q5475786$8C07ECD0-3323-431C-A0EF-F8A567300921","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":"5a93163d97ed0652892dfa6bc2dcab4ef2468e82","datavalue":{"value":{"amount":"+0.7853628396987915","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":"Q5475786$BFF1297C-C0B3-4471-804D-CE362AE091D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5475786","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5475786"}}}}}