{"entities":{"Q676306":{"pageid":678155,"ns":120,"title":"Item:Q676306","lastrevid":63645681,"modified":"2026-04-11T14:34:57Z","type":"item","id":"Q676306","labels":{"en":{"language":"en","value":"An alternative linear semantics for allowed logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 992108"}},"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":"Q676306$BC88CF3E-8F5B-4857-8B8F-471FD6042CC1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4d74637bc54b7d29b73c5bfb293b5072e627af3d","datavalue":{"value":{"text":"An alternative linear semantics for allowed logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q676306$94D3FEED-1F33-48BA-A7C6-EFBD6B50DFF7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f399ebc76a1857b5e40b3723813b942b84007ad","datavalue":{"value":"0876.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q676306$021A66EE-1350-4C86-BE93-6AAE580228C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"868695a63062957617088f9fe4e4a5f65ebc89f4","datavalue":{"value":"10.1016/S0168-0072(96)00038-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q676306$66BBE823-42CD-47AE-AF99-2CF7E0E1F02E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q676306$E584857E-A479-4F3F-BC66-5841D41EB017","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b4690cfef6c019a16aa1558f190198a03ab31845","datavalue":{"value":{"time":"+1997-11-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q676306$FADE18B1-DEA4-4237-AA05-BE2AB95BFBB7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q676306$6BC50B97-48D9-449C-8E7C-DDF280F00C6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q676306$CB48EE84-464D-4CB1-A69C-418C43621613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q676306$8198B387-2800-4CD2-AFB5-C9EFA8E6F540","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9165083da4cfbe953b0f100a52934550d000ebaa","datavalue":{"value":"992108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q676306$37BBDB31-34A9-4CA6-A9A6-312D6EDA06EC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea2c23285ea4b73fe89941dd1245c610af5fbadc","datavalue":{"value":"declarative semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q676306$108EA753-12E1-4D54-B229-36861559B853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4335ac5b492486243658842436ee0a5a2f457bbc","datavalue":{"value":"Girard's linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q676306$65334769-A50F-4C89-8039-0A60DEA216D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"110880ff26eef9f5e1af58cc71c5a50e7726cf6c","datavalue":{"value":{"entity-type":"item","numeric-id":1390951,"id":"Q1390951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q676306$B85BE4A2-41A0-4879-B805-A1D414CABAE3","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":"Q676306$071895BC-E2BC-43F0-9D8B-D7753F109AB9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q676306$68336812-D5F1-4C7D-8198-0C8FD1711E03","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":"Q676306$71EBF00D-E326-4171-9540-03F6042CFC75","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"24a051486d71a85d98f3c7982a380da80ee4980a","datavalue":{"value":"https://doi.org/10.1016/s0168-0072(96)00038-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q676306$28D0CFF6-663E-446E-9824-27FE4ED0C92B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b6fc1f16bf925d41c97dc84f7ebd95491a8eebe9","datavalue":{"value":"W2079189204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q676306$7C18DA68-D5D6-43BA-A637-AF52B84B2C28","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ff9cc259e417832dc0ec5f04cdadaa32a2491b4","datavalue":{"value":{"entity-type":"item","numeric-id":3524170,"id":"Q3524170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dfa8cf97e17b3bc8ec4e169d63557fa7a3062cb","datavalue":{"value":{"amount":"+0.7520617246627808","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":"Q676306$C454E5C0-0331-4272-BB0D-CF115D9452A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ae1f84888c8b5e6cdf05092e7520f858fdda4de","datavalue":{"value":{"entity-type":"item","numeric-id":4452612,"id":"Q4452612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e25a659d61b385b674f77867b92cea72fe3ed241","datavalue":{"value":{"amount":"+0.7482434511184692","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":"Q676306$E45FE5B7-D784-41B0-A316-07076B21DCAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"685ac1e545d2a29702ab34a3e6bb986e02475644","datavalue":{"value":{"entity-type":"item","numeric-id":1327384,"id":"Q1327384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c201e06cd8f09acd02b997c0849fe2e5e1140f39","datavalue":{"value":{"amount":"+0.7376233339309692","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":"Q676306$98C6E590-9DD1-464B-9BBC-4CAE6D90D990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eca7654cd64c4bda1475fbfe3f0db30eccb55dfb","datavalue":{"value":{"entity-type":"item","numeric-id":4923519,"id":"Q4923519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d223c48be1828236c72606e39c749bf12945902","datavalue":{"value":{"amount":"+0.7335534691810608","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":"Q676306$2374ED9F-5293-4A2D-B555-D189E6A4B85A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An alternative linear semantics for allowed logic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_alternative_linear_semantics_for_allowed_logic_programs"}}}}}