{"entities":{"Q5940935":{"pageid":8117737,"ns":120,"title":"Item:Q5940935","lastrevid":47657704,"modified":"2026-01-02T08:49:15Z","type":"item","id":"Q5940935","labels":{"en":{"language":"en","value":"Stratified negation in temporal logic programming and the cycle-sum test"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1635086"}},"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":"Q5940935$BB514BF1-6B3D-4A50-9D71-DC6A4E8DF9A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d61381293a02d86e3ea361096d07469fda267ff5","datavalue":{"value":{"text":"Stratified negation in temporal logic programming and the cycle-sum test","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5940935$717A96F5-C467-43AC-8A38-518B8F3221A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"440d421d8039e64526f40eab3f4e7f4589af2bde","datavalue":{"value":"0974.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940935$057980E9-69E8-42A4-8924-E835AC875E32","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ca1f25589332a362a9cf54abf33b23be7a980a8b","datavalue":{"value":"10.1016/S0304-3975(00)00374-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940935$9B649211-C536-4BFF-805C-1B09348D1E0D","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":"Q5940935$6D71D45C-8887-4198-96CE-B4A130AACD48","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d780905acb67c2b1b938af03e08b68df411214b","datavalue":{"value":{"time":"+2001-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5940935$8B78EB86-D602-4DD3-81F7-677BBD749CB4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c70376d067fce01a75e6339cf272743fe78e35c5","datavalue":{"value":"We consider stratified negation in temporal logic programming. We demonstrate that the cycle-sum test (which was initially proposed for detecting deadlocks in the context of temporal functional programming) can also be used as a syntactic stratification test for temporal logic programming. Therefore, on the one hand we exhibit a class of temporal logic programs with negation which have a well-defined semantics, and on the other hand we provide further evidence that the cycle-sum test is a fundamental one in the area of temporal programming.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940935$2ECF3B09-70D9-4385-8993-C82D30F027A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940935$EE8B4CD2-4070-43E3-B7EB-4A26E11991CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"992477c87307615263bbf6f9697c8e3174571811","datavalue":{"value":"1635086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940935$687F0012-5EDD-4AD7-BF76-C5251417AF6B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c42c3187d81ec934fd1a13398ef45837e4e0d2f","datavalue":{"value":"temporal logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940935$FF3E2D05-F52A-453C-80F3-A2A02C6E629B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec74096f224962eed659f93c89861b56a6ca1651","datavalue":{"value":"negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940935$414831B6-4267-4231-8BB0-0BFF9308DAAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f23b08d2781e3f127d59df2af253bb6089bfce7a","datavalue":{"value":"stratification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940935$A4BFA30F-4336-44FB-B650-1F631607B8EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8d6f882328fe34793dd1fba0dd4fb5e5e6e0c9e","datavalue":{"value":"cycle-sum test","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940935$B596BB9C-A1C0-475A-84B7-DC0237920DB8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e5f03ad14f8565d93112bf50bde5012e75c18a3f","datavalue":{"value":{"entity-type":"item","numeric-id":15444,"id":"Q15444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940935$02AC3097-8F9F-4982-83BE-A946CB473CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"da6bc051938d5862ecc3ebc01e193003a6091021","datavalue":{"value":{"entity-type":"item","numeric-id":33292,"id":"Q33292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940935$8313D166-5B66-4677-8475-04945BCAE382","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":"Q5940935$4CA24895-F969-45F1-9AFF-64527DCBBB30","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"02eeb10cb50a02d090ad395a3c2c363c71340d2e","datavalue":{"value":{"entity-type":"item","numeric-id":4305624,"id":"Q4305624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940935$CF3583F9-D249-4952-AEF2-0F892F11D54C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11eefd7e7dc86c1755a8db4c6825e6e9fdeb6d39","datavalue":{"value":{"entity-type":"item","numeric-id":3619797,"id":"Q3619797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940935$F80BBBA3-5AD3-4753-9D50-3F3C4C4AF689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"751bb518407806a0775e238de3cb997abdfa1f23","datavalue":{"value":{"entity-type":"item","numeric-id":1324287,"id":"Q1324287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940935$2BC8F24A-2D29-4838-92BB-E85505ECF031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940935$DA7DDD4E-C20B-4B57-91B3-B295C3485234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f045e6bcbb3e84f75cdb218641f6c2059ab17a7a","datavalue":{"value":{"entity-type":"item","numeric-id":671995,"id":"Q671995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940935$981D1A67-5299-4C50-A4A9-1AA7E93F294E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07611ee42a8009bb3ba13ff374bfec46fd7c5518","datavalue":{"value":{"entity-type":"item","numeric-id":4015949,"id":"Q4015949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940935$1FB86254-7E23-475C-97F7-4F72F386B6AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0425c0d083fcab621e3600d7dcfaeea3f70a92e2","datavalue":{"value":{"entity-type":"item","numeric-id":3484349,"id":"Q3484349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940935$88BCC73F-FC21-42A2-BE8B-7065F4077A3C","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":"Q5940935$22F63DC7-A719-48EB-9D53-6C4B121DB707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b83f8ec113eaf5868a07f1d428489aef79179687","datavalue":{"value":{"entity-type":"item","numeric-id":4719299,"id":"Q4719299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940935$E466CD12-AB3C-4218-9F63-8CDFF24596F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b61bf22af988b8c847b78075c0e601511a9671a","datavalue":{"value":{"entity-type":"item","numeric-id":1143166,"id":"Q1143166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940935$65F0953D-D538-49DB-B277-359EDCF4AA3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed61ae35b8d8a008703390f58471c8228d97f52d","datavalue":{"value":{"entity-type":"item","numeric-id":3678639,"id":"Q3678639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940935$A73D0575-607D-44A7-8815-C97CF5207CF5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b32136b1c003e49ded6a8ec406aedc9cb1ab5742","datavalue":{"value":{"entity-type":"item","numeric-id":6769145,"id":"Q6769145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940935$F88347E1-A909-4C6D-8BF1-28EC32A60A8F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91d26bb5adbadd13260d0c7c71598d5dc3c0590f","datavalue":{"value":{"entity-type":"item","numeric-id":2758303,"id":"Q2758303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"196b87b3333abc6c8d7e63a6be1e207dcff5a89b","datavalue":{"value":{"amount":"+0.8785503506660461","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":"Q5940935$A9BBC799-1AAE-44E3-A1E1-2B7FA9D85092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e20528e6e3bafd2900bc7af3a450c4b41b2d2fd","datavalue":{"value":{"entity-type":"item","numeric-id":2566298,"id":"Q2566298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67ac96c07a6aa66bb75e1454aebbea4f93b8392f","datavalue":{"value":{"amount":"+0.7667380571365356","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":"Q5940935$2E42ED84-BAB4-47D8-A14E-F87DE9ABBDA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2739ca70740c1fdda5eeb4f6035176a947f64b2a","datavalue":{"value":{"entity-type":"item","numeric-id":1199536,"id":"Q1199536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56d6766c8cd9af00b15824793a845167956a505e","datavalue":{"value":{"amount":"+0.731340229511261","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":"Q5940935$947F5F48-849C-493D-8859-675374162FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58993b77db9a9580d6b87a233880e333399b6580","datavalue":{"value":{"entity-type":"item","numeric-id":1892870,"id":"Q1892870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb944ad54ba627109c01c62b7bf14d8698ff22f6","datavalue":{"value":{"amount":"+0.7232375741004944","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":"Q5940935$457D8634-D2EC-4571-B3F0-0E01E58AF10B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bab9a7bfa3b3863035dd605aa9263b2ad56de540","datavalue":{"value":{"entity-type":"item","numeric-id":3348435,"id":"Q3348435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a412ac96fe009a3aa851ba9657905214de94964e","datavalue":{"value":{"amount":"+0.7188172936439514","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":"Q5940935$080DBC8D-67D6-4E5F-B091-D952AEBF1924","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5940935","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5940935"}}}}}