{"entities":{"Q1123647":{"pageid":1134396,"ns":120,"title":"Item:Q1123647","lastrevid":67051557,"modified":"2026-04-12T14:36:29Z","type":"item","id":"Q1123647","labels":{"en":{"language":"en","value":"Boundedness is undecidable for datalog programs with a single recursive rule"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4110167"}},"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":"Q1123647$8741C911-C5F5-4CE6-A087-8A366E96DBE5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b2458ea24715762807baa2ffed9316da923f2c0","datavalue":{"value":{"text":"Boundedness is undecidable for datalog programs with a single recursive rule","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1123647$7AF188CA-6C66-4A3E-AF14-EAE4225CD14B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ffdd059bf71c5835c6bc31db9bb6e93d3a80f84","datavalue":{"value":"0677.68103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123647$476CC6FD-2507-4874-886C-48FEEF971FC6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9abc395388128dbb1a7f349996824171c197d3c9","datavalue":{"value":"10.1016/0020-0190(89)90019-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123647$69E86503-9582-4AC6-AFB8-020F960DBCEC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c22e7097f99e26c20e55611d3e4c29e5f205dbe","datavalue":{"value":{"entity-type":"item","numeric-id":269309,"id":"Q269309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123647$2C59D438-06D3-4E86-A63A-3EC1F459F0BF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123647$E3EA3935-0C46-4305-91D2-00EA0CD5B455","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1123647$CA7C80F5-72ED-4797-9745-5B70E9A79EBE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a762d1a2468ec8882180d0d1124f12b94f8eb1b0","datavalue":{"value":"68P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123647$FEF81141-DE19-4E8F-8B76-95325882D825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123647$103F948C-A2A3-4C2C-8712-D8603B357A08","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f73d4652c11967e5b92ab4335e8ed40e9e80b1a","datavalue":{"value":"4110167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123647$A6833C4C-1507-4653-AFF4-9117FEA794BE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d1d36ae588aa774b96d2bd7459bda7f10f7a013","datavalue":{"value":"data processing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1123647$96F6A5F0-64A6-40EF-B8CB-2A90C90F6561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2600aaba1f819f7d3ad24bab0da3f73740086e75","datavalue":{"value":"databases","type":"string"},"datatype":"string"},"type":"statement","id":"Q1123647$41BD0BEC-2389-472F-8C02-F041E8ADD776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04d097e92166179fc1fcdd68d19b99f0cb17dcfc","datavalue":{"value":"deductive databases","type":"string"},"datatype":"string"},"type":"statement","id":"Q1123647$A1A009EE-F1B9-4DCF-A632-50A9204778F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b179b5c72afc1f0ac5c224a3752d2cbc897655b1","datavalue":{"value":"boundedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1123647$EABB2A6F-8630-446D-9829-74DF142AFC5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb738c59bd69ca062534f6dd33dac742b97beb18","datavalue":{"value":"datalog","type":"string"},"datatype":"string"},"type":"statement","id":"Q1123647$F6351FD3-92E5-4121-99B3-C17B833D4EBA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7dfbafaca3760058d89e73b305d24a49ff25dbcd","datavalue":{"value":"Q51221214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123647$647A4B2F-D44C-4937-8124-627CBF7E094A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7545068a6822e4e652ce3b521c8f6365c7bdc7b9","datavalue":{"value":{"entity-type":"item","numeric-id":31846,"id":"Q31846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123647$A5CC884E-01A1-4C46-943F-7BC024BD1426","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":"Q1123647$8828DB7A-3980-4BA6-A007-9CCBB37B904B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"51285f3b0064a3daf9f851aa1620858426607c68","datavalue":{"value":"https://doi.org/10.1016/0020-0190(89)90019-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1123647$CE9A1E65-3975-482A-AD73-E58C5DF8FF32","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9bb2957f1898d2f4e183b12d505c13a4277d15c7","datavalue":{"value":"W1983914494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123647$007AF2D1-CB6A-4EDD-AE08-4600F4A8093E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a32bc0ef00c31c61a800b19fbaf8e0898507642","datavalue":{"value":{"entity-type":"item","numeric-id":3477931,"id":"Q3477931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123647$B085D9F5-DBE6-4461-A0EF-DBE4779E677E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"215a56c823ec1c0faa5e8fe7289b66454aeccc39","datavalue":{"value":{"entity-type":"item","numeric-id":3677202,"id":"Q3677202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123647$53F9BFF0-0600-4F43-9B38-FEBF980674B8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a69ef71a3296d6d98ffa3996058d4bc93528c6c3","datavalue":{"value":{"entity-type":"item","numeric-id":3128622,"id":"Q3128622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8778eb89fd03f54f8d0c7e146e9d14365ef4ab89","datavalue":{"value":{"amount":"+0.9201224446296692","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":"Q1123647$AE2545C6-B074-4BA0-A39D-F8ABDD5FEDF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be76e47779319bab92dda15198a9d66a9f9bf9da","datavalue":{"value":{"entity-type":"item","numeric-id":4593950,"id":"Q4593950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8778eb89fd03f54f8d0c7e146e9d14365ef4ab89","datavalue":{"value":{"amount":"+0.9201224446296692","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":"Q1123647$75498ED5-3FC8-4A94-ACEF-5CE114F3DCBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"395de9886a35f4fc9a86e87ac09b47a7893e7ab8","datavalue":{"value":{"entity-type":"item","numeric-id":4305348,"id":"Q4305348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12c306319a503900603f172768fdd184d201c115","datavalue":{"value":{"amount":"+0.8737329840660095","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":"Q1123647$0177E406-4BA5-4FDE-85F3-E628361C25BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89f401a107cc1cb2e86bcdd1a4da1202711bb6c3","datavalue":{"value":{"entity-type":"item","numeric-id":4268878,"id":"Q4268878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdfc8fa577abe806bcb6dffdcbe08e983fcc2f4c","datavalue":{"value":{"amount":"+0.8548518419265747","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":"Q1123647$7478E790-7327-4F9C-8DC3-9ACBC3CE11FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fe82ed01366268cc9d458cecb4622d8f78c10a6","datavalue":{"value":{"entity-type":"item","numeric-id":4528765,"id":"Q4528765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdfc8fa577abe806bcb6dffdcbe08e983fcc2f4c","datavalue":{"value":{"amount":"+0.8548518419265747","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":"Q1123647$BB862CCB-083A-4048-B34A-C02414ABB15B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Boundedness is undecidable for datalog programs with a single recursive rule","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Boundedness_is_undecidable_for_datalog_programs_with_a_single_recursive_rule"}}}}}