{"entities":{"Q2946600":{"pageid":2957320,"ns":120,"title":"Item:Q2946600","lastrevid":85390169,"modified":"2026-06-03T07:43:44Z","type":"item","id":"Q2946600","labels":{"en":{"language":"en","value":"Undecidability and intractability results concerning Datalog programs and their persistency numbers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483108"}},"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":"Q2946600$CEB121F1-CB39-4769-B40E-04E7D07A665A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"605d12b4e88c528150c2c8b0199f02bda6e17fd6","datavalue":{"value":{"text":"Undecidability and intractability results concerning datalog programs and their persistency numbers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946600$9E3C1DA6-9BCF-4CC6-ABEB-23E6B3E9BC9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fa76d80636037c0b6287a14e6120c5e1b8407011","datavalue":{"value":"1351.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946600$4D1C7BC9-FED9-4EF2-B60E-9AD7A047CCA6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"913d9f3129a93b5e30a3d6176f4ae40c52e07e37","datavalue":{"value":"10.1145/1656242.1656247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946600$CC0D0AE2-39FB-4D6C-86EC-0E1B0C83FC40","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3c17e6125b607635b425beaf026ffd03ccb9f31","datavalue":{"value":{"entity-type":"item","numeric-id":1401357,"id":"Q1401357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946600$027F9517-A55A-4DA5-A6F5-FD54E8DDB2A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ecdfa0531a47b7ef131ef00340abb72d0b5b842","datavalue":{"value":{"entity-type":"item","numeric-id":249466,"id":"Q249466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946600$27BDFF26-E834-486C-81C6-1F60647BCD91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"424ffe82c3f87f0aa5d1ab4e3c268523310745a4","datavalue":{"value":{"entity-type":"item","numeric-id":1900922,"id":"Q1900922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946600$EB0FF58A-88A4-421D-83E3-90FFC798BC13","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946600$DFB9864F-CCB8-40F6-A1D9-6870F2B0DC6E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-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":"Q2946600$F1977413-15D2-4059-ACD6-3F90FD9587EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946600$4C3ACAA7-5AC2-4453-90E7-C204B7C74170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946600$F2C460EB-33DC-4E92-BA84-83541EA7A426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946600$3F36070E-9285-4AD3-A134-6236DB6A4BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946600$65757528-D8F8-4943-868C-A865C0860589","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a749440f055b359745a7145b55c7993cd46d926","datavalue":{"value":"6483108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946600$E3ECD8BE-7C31-489A-88FA-EA72E2F2FAD1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b179b5c72afc1f0ac5c224a3752d2cbc897655b1","datavalue":{"value":"boundedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946600$9EE79EFE-CD49-4110-B3B9-44E01508B5BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40ac51148a5ff1725b32c3ce34af150283b22afb","datavalue":{"value":"Datalog","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946600$AF879D40-EE80-4B28-8219-EF79343195C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41e712b3e4e3e6e09e1cf21493dde485ad82b860","datavalue":{"value":"intractability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946600$B369BD77-DDB3-4D4B-A3D8-44044A0C59C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a32671f0d7fe57051aa4095a022c8faf0e086a95","datavalue":{"value":"persistency numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946600$066EC890-9B7F-4028-A6E8-7F39F59D1BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6b5acd0fdeddb64bc9fc60253b6d5b954eec493","datavalue":{"value":"persistent variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946600$942B7608-A5CA-4FC0-AD74-F1FC81BA1EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946600$4525DBF0-0CAE-4445-85C7-8DD964299388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91956e84678fe517905f252675ce6def31a60a0a","datavalue":{"value":"bounded treewidth hypergraphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946600$3DBD9A02-D99C-4FEF-BEAA-C971BD5C3155","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":"Q2946600$C41826D7-DE8A-4AA3-A36D-F872A7B6A995","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":"Q2946600$4CF3F31D-C426-43AB-A08A-C8A17D4FFB92","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b8f8bec24d2218bcc3616e4d4177dd7d7ee5fdc","datavalue":{"value":"https://doi.org/10.1145/1656242.1656247","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946600$DAF19A6D-B7F3-4A56-A634-B072D0527FA3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"935ef0a68c57d5ac61e4c6489ac1076764294a14","datavalue":{"value":"W2072786848","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946600$1585B5BA-EA6D-4FC4-B860-671F19302DF8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4a9e2e29d1a94fb0e613282e7528e93cb72ed72","datavalue":{"value":{"entity-type":"item","numeric-id":5277729,"id":"Q5277729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a52948d9ea7c95f47a4068af93da8fe38812695b","datavalue":{"value":{"amount":"+0.9272706508636476","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":"Q2946600$9672D1F5-78D9-4B99-A060-160D7297BA9E","rank":"normal"},{"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":"31582c3d275ee45db2108c1f60226b26394eec51","datavalue":{"value":{"amount":"+0.8326952457427979","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":"Q2946600$80340198-8B7C-408B-B0B4-3CC11EED281F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa7edfd1c7d4d09e65dc9c239c9ea7bcc5d745e1","datavalue":{"value":{"entity-type":"item","numeric-id":4694701,"id":"Q4694701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31582c3d275ee45db2108c1f60226b26394eec51","datavalue":{"value":{"amount":"+0.8326952457427979","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":"Q2946600$A1B72F74-790B-4DCB-A6A7-8C2A9165B25E","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":"006a297b0e884dfeb6280390f8efd995ea3f0d98","datavalue":{"value":{"amount":"+0.807062566280365","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":"Q2946600$B5E07D16-042A-4FB8-B7B6-A4A89F7C8EA3","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":"c5f798470bb2b8917742dfbb53271980c197a28d","datavalue":{"value":{"amount":"+0.8043447136878967","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":"Q2946600$D12DEEDB-44BF-4BEA-91DE-6478B95D075B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Undecidability and intractability results concerning Datalog programs and their persistency numbers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Undecidability_and_intractability_results_concerning_Datalog_programs_and_their_persistency_numbers"}}}}}