{"entities":{"Q3140022":{"pageid":3150738,"ns":120,"title":"Item:Q3140022","lastrevid":47199139,"modified":"2025-12-31T23:52:01Z","type":"item","id":"Q3140022","labels":{"en":{"language":"en","value":"Undecidable optimization problems for database logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 436642"}},"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":"Q3140022$96AEA9E4-B83A-4FF6-819D-28951172C508","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8138ab470b89acdd2a1159c55571629ca7e6d09","datavalue":{"value":{"text":"Undecidable optimization problems for database logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3140022$9BEBDB33-5018-475D-B0BD-E55D2BC41628","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"822f42b47dd2305a07c1f7399ca80fd9c6d7ccdf","datavalue":{"value":"0785.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140022$027B34B7-55EB-4DD2-AA83-26095F8EF129","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"53703a9c66a9f7d83cf4efefe3263278a3571025","datavalue":{"value":"10.1145/174130.174142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140022$0BA3CBA7-1160-47B3-A10F-DDD445F8674D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0c2e09872e1ed93b1d359b7a4c0834cbb5ba01d","datavalue":{"value":{"entity-type":"item","numeric-id":383020,"id":"Q383020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3140022$F8944AAB-15D1-4F5B-B0BB-8F8BF742FE72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eec7ecaad687cc8171e152c9caee9b9b75cd7b5e","datavalue":{"value":{"entity-type":"item","numeric-id":199249,"id":"Q199249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3140022$C16E49E0-69DD-4C42-98C6-F93005F8E4A1","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":"Q3140022$0188CC4C-2517-4257-A85C-D76060FCE81D","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":"Q3140022$609137DB-F7FF-4A91-B36B-FFAA2EA83423","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3140022$1CB5FC43-FC7B-46E8-A1D4-8D3BC8E46172","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f76288a30164f14e28f1a275b49eb5d03da81a0a","datavalue":{"value":{"time":"+1993-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3140022$E4E71312-9CB9-44F1-B471-3D7321A26953","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140022$B8AE1598-1623-4B35-BA85-B99A49C74512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140022$3CD58824-E6BB-4F8C-9192-1106CD770ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140022$42B303A0-0F31-4FF3-A975-1E579DE74692","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db268042f6db8e16b188683f7f9ae72631a50dc5","datavalue":{"value":"436642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140022$7B79F205-3EAF-44D2-BDF2-1FA7803353F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c27024bc3112e6fbf1cca0a9a4aacb8e7e4a77e0","datavalue":{"value":"optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140022$A113B1A8-2C87-4D7E-AED5-6D3022E5AF4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140022$F638B1E1-8DC4-4D55-8A20-B4A92698A80A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b179b5c72afc1f0ac5c224a3752d2cbc897655b1","datavalue":{"value":"boundedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140022$A5410E01-3066-4029-A197-E90254E27744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140022$A64BEC17-F0AD-4440-970A-07B72629E6D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb738c59bd69ca062534f6dd33dac742b97beb18","datavalue":{"value":"datalog","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140022$3CA58C13-A705-4CE6-B43B-59F00AF121CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac9dbe40e8f53c9e57d4066c94f466b2f235fec2","datavalue":{"value":"query language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140022$92BB25FB-D515-4B2A-B2B1-ACD5138C8571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f796ed2b460346bbba92264dac0da22a5120d5d","datavalue":{"value":"recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140022$2D0A222B-E13C-4265-8B3C-2EEEE7391129","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":"Q3140022$495F46A6-13C6-4BB4-98EA-DCF192D0A293","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"314312b06fc437407321f60500eef180f9ebefec","datavalue":{"value":"https://doi.org/10.1145/174130.174142","type":"string"},"datatype":"url"},"type":"statement","id":"Q3140022$00646B71-9CBF-4CCB-A5D1-2A9EE0A991A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bc73c8751f97659a4718dc3017c7d115d29f0dc8","datavalue":{"value":"W2076108709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140022$44C9C7A4-2967-4395-8D15-1CF296CAEA51","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":"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":"Q3140022$9F548868-3ADA-45E3-A6B7-457C0B56E1BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0f4afeb73cbd333280cce2d54e6aeb00fbd30f1","datavalue":{"value":{"entity-type":"item","numeric-id":2946356,"id":"Q2946356"},"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":"Q3140022$3422E234-2AA1-47EC-A464-F6D4D258F7AC","rank":"normal"},{"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":"b052be7a65fc4a75aa794974e26f162d02750769","datavalue":{"value":{"amount":"+0.8366372585296631","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":"Q3140022$7DD869C8-D690-4C9E-B069-8506B8E68BB8","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":"73ce6e760bcdaa64c447f67483804e3b86dd0152","datavalue":{"value":{"amount":"+0.8289435505867004","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":"Q3140022$B7211A40-9275-4937-AD80-601952246C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc81efe0859376c018f195b8ee907d84a139ee83","datavalue":{"value":{"entity-type":"item","numeric-id":5096840,"id":"Q5096840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73ce6e760bcdaa64c447f67483804e3b86dd0152","datavalue":{"value":{"amount":"+0.8289435505867004","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":"Q3140022$763D0861-7EFD-4E9E-A0D4-3E45FBA24B9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3140022","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3140022"}}}}}