{"entities":{"Q2029599":{"pageid":2040341,"ns":120,"title":"Item:Q2029599","lastrevid":55937545,"modified":"2026-02-21T07:53:04Z","type":"item","id":"Q2029599","labels":{"en":{"language":"en","value":"Safe dependency atoms and possibility operators in team semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7354959"}},"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":"Q2029599$E6E11C3D-24D4-464F-AD25-3395DC230008","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"639330b767ec69d1e2c281c35fbe540be1382431","datavalue":{"value":{"text":"Safe dependency atoms and possibility operators in team semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2029599$FFDA17E3-BB34-4B9C-933A-4593336C4291","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7cb654b2c7fd2fb3c129f71991a5ac4f8d4c76d","datavalue":{"value":{"entity-type":"item","numeric-id":645984,"id":"Q645984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2029599$DB32F81D-F943-48BC-AD7A-6EAEEB714055","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2029599$1D52C242-1B53-405A-BF10-5B6E83AB35E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb748296bee5990a1a4663876270be07aac2894b","datavalue":{"value":{"time":"+2021-06-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2029599$1B83752A-92D0-40F0-8E43-DEF2EC993366","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2635719eac5b468a76269554b58d37e3e24b587b","datavalue":{"value":"https://arxiv.org/abs/1808.00710","type":"string"},"datatype":"url"},"type":"statement","id":"Q2029599$A9BBD1E3-797A-422E-803F-1BE123884BF3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2029599$58126B2B-E841-48F9-A24F-7D32D07080B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"45cecd21931e05ff6421fffe8fed1f779a0a57e2","datavalue":{"value":"7354959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2029599$0C68B2DD-2DAB-4A2D-85BB-4232BE05EE3D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8a320ac3d69219ff809712b53034e7b1e05dbb0","datavalue":{"value":"team semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2029599$12FFFE26-D970-4A26-8D3A-68558DBACF29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9d0bef78cf421d5b235dd89b6bb53641b804b7d","datavalue":{"value":"dependence logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2029599$A9671DDF-2E82-4736-BEE4-7C4D97706AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2029599$A3986126-1BDA-43CC-BA92-04B4095850BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e01102226a676edcf182ed47a9896bd215db761","datavalue":{"value":"second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2029599$7B6C48D8-D012-4EDD-9FA6-0BEDA3DDBBCE","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":"Q2029599$A5AE6125-1899-4F59-A82C-C9BFE4998F5D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"60e3afb12ae47d55443ce78bf3144518edaf6296","datavalue":{"value":"W3035019356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2029599$5DCF0E82-F8C6-459B-B013-A5A9891AF08A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bee679aade6405d6694d01f0efb209e3a97aacb8","datavalue":{"value":{"entity-type":"item","numeric-id":4353719,"id":"Q4353719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2029599$2A7E4976-FE6D-4643-A6E6-AB4EE6D60CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f07a9bc7b0213032ff4f99aa2ba166f70f7127a","datavalue":{"value":{"entity-type":"item","numeric-id":5241230,"id":"Q5241230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2029599$D9B2AD83-E2C5-4C98-ADFB-9A7E95C60517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be0a3675d75472d9cdd547fddb4d75eee4e997e1","datavalue":{"value":{"entity-type":"item","numeric-id":2255198,"id":"Q2255198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2029599$BBB53094-8BA8-445E-B793-F48F149948E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"846061f0875834aec2bd94daef27b0daf76b1e96","datavalue":{"value":{"entity-type":"item","numeric-id":1956375,"id":"Q1956375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2029599$184BDA0A-5365-4972-A13B-05390C0C2E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99ce30da632e102e7ff238aa68b2cb66df707e49","datavalue":{"value":{"entity-type":"item","numeric-id":3574474,"id":"Q3574474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2029599$A0217AE1-F2A1-425F-8780-0CEB62FF5E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0b06cdf3058d94fbc91292a227b57b1c8abff29","datavalue":{"value":{"entity-type":"item","numeric-id":3446107,"id":"Q3446107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2029599$DF5634B2-E25B-4A97-9785-5DAE17EF2F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3ad58fb43e22b51bb15c5b2de8679e492658da3","datavalue":{"value":{"entity-type":"item","numeric-id":645985,"id":"Q645985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2029599$4FDAAD8D-35BE-4F4F-BFF7-3134F2C0A218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e3f8c5a0cc0a6db23dd94cd2c6ba8cc0ec6f7cd","datavalue":{"value":{"entity-type":"item","numeric-id":1956372,"id":"Q1956372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2029599$B72C30E1-27DB-4772-A2A0-380739506B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab30f9bc614ee918d05474c1366ad788139f5cb7","datavalue":{"value":{"entity-type":"item","numeric-id":2946680,"id":"Q2946680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2029599$A8DACCD2-3F40-4E30-8E2B-1C6C99AA2B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fb44c9769b8dbb49ccc1d2e2dd64bf21f542066","datavalue":{"value":{"entity-type":"item","numeric-id":5213639,"id":"Q5213639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2029599$E47A00D1-353E-477B-8A7B-451E5AA70187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9b2b310bfe3331f719609c786fd6aba8488c72c","datavalue":{"value":{"entity-type":"item","numeric-id":2958527,"id":"Q2958527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2029599$ABE0E676-D6DF-4EED-9819-CC9F150BDFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c45cd53e1b450171f37be2a6b654f521b738617","datavalue":{"value":{"entity-type":"item","numeric-id":1693039,"id":"Q1693039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2029599$CB9867C3-A97A-45D9-B9E2-FD4F8551CE72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60fba133fd91573510725661d063b3552ae2bdaf","datavalue":{"value":{"entity-type":"item","numeric-id":897651,"id":"Q897651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2029599$1F88FC9D-15E8-4FE3-AF6C-0444FAFA09A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"242161c835d65c89be9101966d07684b65a01b37","datavalue":{"value":{"entity-type":"item","numeric-id":5213641,"id":"Q5213641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2029599$842B72F9-E9AD-4A98-866F-FB4F6B87FAD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8413e35396f689c527307b15a1f798700960d2aa","datavalue":{"value":{"entity-type":"item","numeric-id":5691485,"id":"Q5691485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2029599$9D383C89-AE00-489F-87C3-016623C0ED8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"159a5b6bc122136ca7e837726b08a530e0338246","datavalue":{"value":{"entity-type":"item","numeric-id":4732440,"id":"Q4732440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2029599$B4A6B313-3441-42A5-A880-399C1914CA34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efa6873b9769173f427d2c0089648b702e3e0826","datavalue":{"value":{"entity-type":"item","numeric-id":302243,"id":"Q302243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2029599$0F8B7D7A-019F-46A9-B0D0-81111453CFF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ce20f5c7328797e564eb18ee2d87c48174225b1","datavalue":{"value":{"entity-type":"item","numeric-id":5902156,"id":"Q5902156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2029599$43DDF4C7-D8D3-440E-96BB-5B63091D66A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca5e2153d362012c0982f7cd718c975b2f06f53c","datavalue":{"value":{"entity-type":"item","numeric-id":5005127,"id":"Q5005127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2029599$91F77096-7ECC-4648-ACE9-D43C04290A7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c32fb8f9e506d1ace46aa5d7f8035572c9b467f","datavalue":{"value":{"entity-type":"item","numeric-id":2849431,"id":"Q2849431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2029599$74B8EA47-9A5C-40DD-83FB-344DE4B4CDD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d174a5532fba5272b2f046018846c5d54ed5d3d0","datavalue":{"value":{"entity-type":"item","numeric-id":2958528,"id":"Q2958528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2029599$3E0C3B54-CE14-4089-AE12-05ECA5F41C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a66a2cc662c7257cf7427007d78cf84f050c3d36","datavalue":{"value":{"entity-type":"item","numeric-id":5195061,"id":"Q5195061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2029599$6E436EBA-B29C-4687-B564-59C5356FB5F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67a6bbac8d6ec155af87fdf4d97059d8699b2158","datavalue":{"value":{"entity-type":"item","numeric-id":833040,"id":"Q833040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2029599$8A0884F6-4560-4FE0-9D35-2E0533C940A1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ec0e9d565292a135ae7c66880e16775b91515f56","datavalue":{"value":"10.1016/J.IC.2020.104593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2029599$EACBC2FF-268E-40CF-8651-1738C558508D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9a4b1c230664a6564eb178f85235b74313822df","datavalue":{"value":{"entity-type":"item","numeric-id":3384878,"id":"Q3384878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87bce7902f7f5d3545350f991fc8be65bbba537e","datavalue":{"value":{"amount":"+0.99981689453125","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":"Q2029599$5999B731-3FAC-4209-A5DF-D3FDAAB61BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07b0f63e10415541a58d4837dcc27d42f6e5ceb0","datavalue":{"value":{"entity-type":"item","numeric-id":897651,"id":"Q897651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad290bf9e16958f240e59fec5c3f873a1f1937ab","datavalue":{"value":{"amount":"+0.8108128905296326","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":"Q2029599$E4D491C4-21C6-412F-BED7-6754BAF1B7F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cd5a369611a46d315b545b38ded361e1dc4fa69","datavalue":{"value":{"entity-type":"item","numeric-id":4992509,"id":"Q4992509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd28581eebf6920a0f07c5b1cb28086f1d0f87af","datavalue":{"value":{"amount":"+0.8108128309249878","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":"Q2029599$CDABB1ED-8EDF-4604-84B0-7A41D2AC9D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0bcd7bf9c8887e158814d32f3ad6dc5d5759a08","datavalue":{"value":{"entity-type":"item","numeric-id":2148777,"id":"Q2148777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17be62bbdb0cab3d7437f54beabd9167db5263aa","datavalue":{"value":{"amount":"+0.8027889132499695","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":"Q2029599$31F0C1FD-1B48-4683-B5F9-0258381FA707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4a062873d79f7df89026335d3831754cbc19711","datavalue":{"value":{"entity-type":"item","numeric-id":5020523,"id":"Q5020523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"147192d336656316b127bb405d0602c8c8dd9bc0","datavalue":{"value":{"amount":"+0.8009637594223022","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":"Q2029599$13596559-82B2-414C-9415-7D107EA29B31","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2029599","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2029599"}}}}}