{"entities":{"Q3128622":{"pageid":3139338,"ns":120,"title":"Item:Q3128622","lastrevid":46726635,"modified":"2025-12-25T11:44:30Z","type":"item","id":"Q3128622","labels":{"en":{"language":"en","value":"Undecidable boundedness problems for datalog programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1001270"}},"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":"Q3128622$57034513-BEB4-4D93-AB6C-F72378AE9D0F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5230813b8b82b77de7f284bb0af460ef5b18451d","datavalue":{"value":{"text":"Undecidable boundedness problems for datalog programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3128622$9A35FEE9-EE28-41EA-8E08-38EF56F9E688","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"98b0e94f609619fb27a64d0d7e7d865c9131fac2","datavalue":{"value":"0876.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3128622$BFEB4CDA-938D-401B-AA76-3DD784C9EA87","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0b07c8bb5d8eaffa6d950266c59470224d4266fe","datavalue":{"value":"10.1016/0743-1066(95)00051-K","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3128622$43DC90A2-AD06-456C-A860-C6EBCEB8C253","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fbde6746553e9f9854fd6113aa37e5d0fc5495c","datavalue":{"value":{"entity-type":"item","numeric-id":1923098,"id":"Q1923098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3128622$2969FBC5-40B7-47CA-9361-8F29F05821B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad0dd0265ec494130c14e350640a6950f35843b6","datavalue":{"value":{"entity-type":"item","numeric-id":579956,"id":"Q579956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3128622$C95EEE64-2AE0-4F51-8C91-41EC200CFA16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3128622$098611D7-8D0B-4931-81CE-6D69F606F03C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"be8aa6a584af6ab1dfc32be732b34caa5aaa87e6","datavalue":{"value":{"entity-type":"item","numeric-id":1198970,"id":"Q1198970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3128622$AAC71CAD-C6AF-4F65-884E-509CFBE5AC0C","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":"Q3128622$0B850840-1BC6-4EEB-88ED-9E55C1299585","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9985cb860f2184717d10d6f3b4722371b257fc6d","datavalue":{"value":{"time":"+1997-04-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":"Q3128622$996A1FCB-A981-4B92-A718-BC7DCEDE4E53","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3128622$2AF5251E-7627-4D88-8E6E-BD7A5B8EA1EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5cd6e07044f361d6cadc634e50721b9a6aaa1b2","datavalue":{"value":"1001270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3128622$798516AD-3811-4F70-B144-EC804243D4DF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"591fd88a081abcd8a61dd6e02cbbe509fd91b6e1","datavalue":{"value":"Datalog program","type":"string"},"datatype":"string"},"type":"statement","id":"Q3128622$560140F2-C099-4806-81E0-7BA58970486E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3128622$58751BC7-2D70-4B5F-BDAF-81F1DA20A709","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":"Q3128622$96460831-CA3D-42B7-91D1-F6403580E16A","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":"Q3128622$E21A02DE-15EC-4E92-8A5D-7FB889697672","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"77c3894c50bdcd1348295c112db348a4328c1825","datavalue":{"value":"https://doi.org/10.1016/0743-1066(95)00051-k","type":"string"},"datatype":"url"},"type":"statement","id":"Q3128622$CE4C373E-A7CF-4B3A-A18B-2F656335833B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f56dce882efcb236e9e002493f723ae737efb7ca","datavalue":{"value":"W2009098458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3128622$03972830-A65E-4177-9443-05D04DE95076","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de5106fdc83acb4047749c185e17215873cddc9a","datavalue":{"value":{"entity-type":"item","numeric-id":1123647,"id":"Q1123647"},"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":"Q3128622$E4A95F4E-2349-402F-91BE-4A55FDAF3D29","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":"9d9586de015283339f7e00984f472421a79f2580","datavalue":{"value":{"amount":"+0.8902435898780823","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":"Q3128622$8902B483-66E7-4581-BAC7-EC699FABB864","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":"a57bef0903545b24b6145874129b4ebd0228ee43","datavalue":{"value":{"amount":"+0.8870012164115906","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":"Q3128622$5F71F231-2F2D-4A31-81F5-67B25E69C893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34f7185bad99c0ab183183a142ae20a327ba9360","datavalue":{"value":{"entity-type":"item","numeric-id":3140022,"id":"Q3140022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33a5b91355680809746de23778fd746615d26d50","datavalue":{"value":{"amount":"+0.8822620511054993","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":"Q3128622$08B07A0A-2F27-4226-B7AF-A9C22BA3ED9B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3128622","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3128622"}}}}}