{"entities":{"Q4305348":{"pageid":6334949,"ns":120,"title":"Item:Q4305348","lastrevid":46276131,"modified":"2025-12-24T11:29:13Z","type":"item","id":"Q4305348","labels":{"en":{"language":"en","value":"About Boundedness for some Datalog and Datalog<sup>neg</sup> Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 638373"}},"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":"Q4305348$7830860D-C98B-4FEA-8695-48A49C4DFA3A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d86e36fd92b6dec73652db6ad65ce52349839db3","datavalue":{"value":{"text":"About Boundedness for some Datalog and Datalog<sup>neg</sup> Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4305348$4B7627C2-476F-4946-921C-0C2D3F9ECB89","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"94aca30be773fab41dd63addf0ae34b72c824597","datavalue":{"value":"0988.68560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4305348$A69F7B8C-FB11-4DC8-AD0A-C821C7393E19","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a230f70c8750c383f1c2f6051732dd11c72f444","datavalue":{"value":{"entity-type":"item","numeric-id":234705,"id":"Q234705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4305348$8E500023-7043-4C48-9FA0-DBF8850FF8DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3ad4f2e2fcdfb2b91a86aee08fd66f0bfc43e96","datavalue":{"value":{"entity-type":"item","numeric-id":4305347,"id":"Q4305347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4305348$9DE1E9FB-0F07-45DF-BFDF-A9FAF3728118","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09dfcead45b92f8fc854b845b201747e7a5bc426","datavalue":{"value":{"time":"+1995-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4305348$2B6069B5-067A-478D-AD05-1E1DC33853BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4305348$52889134-0FF4-4659-945D-BBF8DA749D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4305348$4CA793F0-BF9C-4564-89A5-467DA4B45ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4305348$5356D046-31DD-432E-8E2C-2BEEBCBAC693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4305348$0E0ECF6E-B9DF-41A4-8275-9E3BE86AADDE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ea5d5ab2d5d9c6e908b7bda5e3de98bbd7c4c9e","datavalue":{"value":"638373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4305348$9A197A70-5B4B-4C0D-81AE-496C6C80A6D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05d0f9bd19e9c967ce17f59aa6e0ff94f723f3be","datavalue":{"value":"semantics of Datalog programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4305348$6175E7F3-FBFB-4B33-8B27-83D8913DC508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec74096f224962eed659f93c89861b56a6ca1651","datavalue":{"value":"negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4305348$58ED92B5-B4AB-426F-B3B5-FD4F821E4770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b179b5c72afc1f0ac5c224a3752d2cbc897655b1","datavalue":{"value":"boundedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4305348$469D6308-4F79-43A0-A58F-12917D274212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4305348$E216AAC3-9FAA-4500-A3B7-FBFD27FA737A","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":"Q4305348$FED26E1D-F6DA-44BA-A242-1DBA9CC37074","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":"Q4305348$8F590334-D8AA-4761-9222-F169B37FCE00","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"405944cdf6c11822a9cd73ac4efa87e54786b724","datavalue":{"value":"https://doi.org/10.1093/logcom/4.4.375","type":"string"},"datatype":"url"},"type":"statement","id":"Q4305348$A3484530-7CB4-45BF-9B64-8B6D069F14BC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"603d1196287cefd9e9668cd73af28bd85eb3a69d","datavalue":{"value":"W2143793338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4305348$6933A9F1-0521-4A54-81F1-87E703CC280F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"277a4aaad5d54901a7d679793dc5a472e8e31b8b","datavalue":{"value":"10.1093/LOGCOM/4.4.375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4305348$16EB403D-391E-4CA7-BDD1-D8D91CE396AD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4305348$885D8149-6E4F-43F5-AC05-D4EFB67452CA","rank":"normal"}],"P1643":[{"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":"858f18a18b3f6ab2a66e5235787eb261415bfd7c","datavalue":{"value":{"amount":"+0.9841040968894958","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":"Q4305348$023F6BF9-C247-4788-B5E0-B1BBD6677C8F","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":"30efcc2bcafb5fa917e2b508d1676cbf6f9b7991","datavalue":{"value":{"amount":"+0.91240394115448","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":"Q4305348$0F93D18D-F7D9-4EEB-A78E-9078C8FA2DCA","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":"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":"Q4305348$5B2D116B-4158-48A6-8A7A-DB80F2AF3365","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4305348","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4305348"}}}}}