{"entities":{"Q1199536":{"pageid":1210285,"ns":120,"title":"Item:Q1199536","lastrevid":66464991,"modified":"2026-04-12T10:15:38Z","type":"item","id":"Q1199536","labels":{"en":{"language":"en","value":"Testing logic programs for local stratification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 94459"}},"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":"Q1199536$BBFA1B46-BBB9-4BCA-B1D5-2A44377D823C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c55f1c028402c455679968e17ddd100112de59cc","datavalue":{"value":{"text":"Testing logic programs for local stratification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1199536$DBC77BE4-5973-4015-9DF7-E8C1807957A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c3d09012794030e512483b325b6296d848d15c7b","datavalue":{"value":"0757.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199536$79DB129C-4930-4DD1-8E92-76418F2EF7CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5109ea0aa8e7e1d33c82933f083fe12735d57836","datavalue":{"value":"10.1016/0304-3975(92)90013-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199536$3CAA1B93-8BEF-45C7-AF9B-66FA0020A3DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d74e36967ca53eb8beb229195e99e58b022619f","datavalue":{"value":{"entity-type":"item","numeric-id":483300,"id":"Q483300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199536$8C3966ED-07AB-4838-998F-7C5CBDAF7339","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199536$CCFB6AC4-408C-4C97-8C2D-8F3EAEAF2904","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be1a65edbb43ce1fc59464f99e70afbd93e8e2a0","datavalue":{"value":{"time":"+1993-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1199536$6D7F6CCF-5CAB-49C3-B8FC-8DC5D4338D19","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"004a3c5564268fc66516b98cc34c12adeb6be9da","datavalue":{"value":"Locally stratified programs are a significant class of logic programs with negation for which both declarative and fixpoint semantics are well defined. Unfortunately in most cases recognizing local stratification is so hard a task that it has been conjectured that the problem is undecidable. Indeed, a formal proof of this undecidability is presented and rather general sufficient conditions for local stratification are introduced. The sufficient conditions are based on an analysis of unification patterns based on a suitably defined algebra of terms.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199536$C6E92955-A1FE-4731-949C-E8D811CE3C9C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3559891ba10f0312908088570a9d11a4580a41b9","datavalue":{"value":{"entity-type":"item","numeric-id":483300,"id":"Q483300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199536$21DA2F66-5C32-4B8E-86AF-A6EF933DAA25","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199536$98CCC18A-8E75-4FD6-A40F-9A93537173EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199536$BEB3229E-49E1-4EA1-AA45-611397B21421","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"61e0a49aa7817339ba6f9f643ed448f1f557cbc2","datavalue":{"value":"94459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199536$DCD38521-17FD-4402-886C-F1C558796D13","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c5bcc4a9343722e3d274c56fc5faf474fd8a5c5","datavalue":{"value":"logic programs with negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199536$71987858-F822-49AC-9FBA-D390A78BD36F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9edbe63b07d85e9dfb73fa36e4a46a5fca7c033","datavalue":{"value":"analysis of unification patterns","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199536$56C3B0FE-6CAE-4098-8AC4-78F476069BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e02703e2fc4795c9c0a6705049fea49e19dd7166","datavalue":{"value":"algebra of terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199536$AD455319-F440-4ECA-A6E7-A1FF9E4FD939","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":"Q1199536$1F625610-2F9B-4A4D-A813-BF6F99C952E6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6e5083bce9cf55ec50ca6275d21146a5b0731ab6","datavalue":{"value":"https://doi.org/10.1016/0304-3975(92)90013-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1199536$533DB234-00B6-45B2-BC8C-BAEA92BE696B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a3824956c64e3de5702811266b91e6a4438aed58","datavalue":{"value":"W2078854256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199536$BE1CD1E5-A809-4708-BB99-02F2A381DA62","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab4410bd85ba93ca8638378f859367903f5b9ff0","datavalue":{"value":{"entity-type":"item","numeric-id":4083324,"id":"Q4083324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199536$899737E3-E8DC-48F8-86CD-882159C3C856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2043397a54eaa38033021fac24881dafefacec7d","datavalue":{"value":{"entity-type":"item","numeric-id":5592246,"id":"Q5592246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199536$5CBB78D5-F8DB-4C2D-B6DE-BB7D3F9E49D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199536$45C2B4FE-537C-4357-B676-4E98E635BB99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"430c55748ea798d0b94070d5f52c91e59b4fa220","datavalue":{"value":{"entity-type":"item","numeric-id":3348437,"id":"Q3348437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199536$DDA01E05-7748-4A03-A2B4-B9B4ABC545B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15438b547853a7edb50d39ddd2d8df87f18700d9","datavalue":{"value":{"entity-type":"item","numeric-id":1111779,"id":"Q1111779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199536$CAAFB512-7D21-4B03-BA7C-94A2871C6A3B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f44195483a05fe9eeba722d5a3a4044e567cbeb0","datavalue":{"value":{"entity-type":"item","numeric-id":1205177,"id":"Q1205177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7edbc6b11449d181db5ef7f7afb041590059f35","datavalue":{"value":{"amount":"+0.91958755","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1199536$1F7C170E-57BD-48BD-AA51-2A95C8BFF353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3444ced1ae085d94979df1af5755b270ee99abbe","datavalue":{"value":{"entity-type":"item","numeric-id":4520178,"id":"Q4520178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9452b5ac8ed631b12891f42feb5f0467f2049a0f","datavalue":{"value":{"amount":"+0.8704669","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1199536$E583B7B4-8679-4A19-94A3-566D35C42C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b498178dd92a8b6b1728ffda972462f74aabe0b0","datavalue":{"value":{"entity-type":"item","numeric-id":4593010,"id":"Q4593010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71d61c1a124e02f98b9e6ede5da884a965a3ec3e","datavalue":{"value":{"amount":"+0.8622905","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1199536$4294AC45-E4B1-4313-9EAA-C041A431F630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43f53227324ededbcc859ac44f8de37bedb0d642","datavalue":{"value":{"entity-type":"item","numeric-id":5687271,"id":"Q5687271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ea2017fb9ca6663de4715fb17e14322e6d1e1b6","datavalue":{"value":{"amount":"+0.8561056","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1199536$51073BF8-13FB-47AD-A46A-7706E8CEA77B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1e52f4751b5a1183194c3cd1fea63f5599e0e11","datavalue":{"value":{"entity-type":"item","numeric-id":4372454,"id":"Q4372454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56a2c1ab62031a46c1f47c669f980a4c275b8be9","datavalue":{"value":{"amount":"+0.8501898","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1199536$1E728FCA-0D80-45B3-8FA1-C6A9F83A5531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f57f710098182d6c2a07477b9fb1302d939b562","datavalue":{"value":{"entity-type":"item","numeric-id":3477937,"id":"Q3477937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"834ff0f183c64411d0a1af9ae1b31c9302a3a9d7","datavalue":{"value":{"amount":"+0.8499242","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1199536$13EE2415-EC10-4CA3-9AEF-F3B6084BE52C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6c2f65d9516fcb234678f49c21646ce00feaf61","datavalue":{"value":{"entity-type":"item","numeric-id":4955327,"id":"Q4955327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"315fcd5a1858f6efceea2df8a3ecd950bd629861","datavalue":{"value":{"amount":"+0.849723","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1199536$AD6AD066-2E55-423A-B0BB-A6ED902F8109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"453cf72ad424e107f20523dea8c491591b2b9a54","datavalue":{"value":{"entity-type":"item","numeric-id":803773,"id":"Q803773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df7e21936146094c7ab78434509ce20c9ca75be8","datavalue":{"value":{"amount":"+0.84768844","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1199536$087CCE37-0999-46AA-BD4F-BC8FD358F41A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ff77ff101498b6f710761e92ec31a81b9feeb87","datavalue":{"value":{"entity-type":"item","numeric-id":1924734,"id":"Q1924734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ad2395f08d237390acc697b93b7b1c69b88d86e","datavalue":{"value":{"amount":"+0.8466698","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1199536$B2A49DB5-02BC-42A3-97DC-26B9C6C34D6B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Testing logic programs for local stratification","badges":[]}}}}}