{"entities":{"Q1949170":{"pageid":1959912,"ns":120,"title":"Item:Q1949170","lastrevid":71978559,"modified":"2026-04-14T01:50:06Z","type":"item","id":"Q1949170","labels":{"en":{"language":"en","value":"General models and entailment semantics for independence logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6157724"}},"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":"Q1949170$FD4E424C-7ED8-493E-913F-5EF69DDD164A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0c793eac20ff85d023f1f5f3ad1538c08e3aabe5","datavalue":{"value":{"text":"General models and entailment semantics for independence logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1949170$84313FDE-0520-4B3B-86B8-9D452939735B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf24483107ab3c4311a6e8e7c578b29635db477c","datavalue":{"value":"1269.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1949170$8BF39C4F-FA44-4429-9F20-8E42A24BBBC3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f03584b81053c2e8dce7941ffcfb90f79b422492","datavalue":{"value":"10.1215/00294527-1960506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1949170$6160D0BA-87DE-4B88-A902-04326078919D","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":"Q1949170$873AD2DF-19AE-42F7-9069-AFA848BE5E91","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949170$8E85F819-0122-48F7-AC47-A2E5BC99D456","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e22cd10f75079bae462a3019fa2a53db99ba9117","datavalue":{"value":{"time":"+2013-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1949170$87429361-0F3A-4922-B2A5-34B9D318A6F7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b8f2c4c1f7f3f19cba2c2f3f1b442cbd022ab85b","datavalue":{"value":"https://projecteuclid.org/euclid.ndjfl/1361454977","type":"string"},"datatype":"url"},"type":"statement","id":"Q1949170$A6672BB0-6A26-41A5-AE40-C19531944EC4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1949170$72516121-10FD-4C46-8429-2FF5F0E6B4CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1949170$5289AB1D-B4E1-4843-B224-3438D673A5E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a44630d84cd1df508b387c55ce5b6ef94510d4bd","datavalue":{"value":"6157724","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1949170$D998AF20-EE91-4488-99FD-AD5A17329E94","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0dd1da9afb2e984b0741aa01927979c5b9b74fca","datavalue":{"value":"entailment semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1949170$9E5C5B20-6DE8-4DC9-8538-27109DC85656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8445b6daabb2325b71f3697d57e2322429652d87","datavalue":{"value":"independence logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1949170$2A40053B-1C09-49A2-9CB5-DAEF2758E974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c96c670cb5bb3f93d571a5f56f1e88c84388368c","datavalue":{"value":"validity problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1949170$A0EEAEE0-C27B-48AC-8F43-2087EACD8CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1949170$2B889B3E-3FC4-4688-AF3A-2669DDBBEB94","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":"Q1949170$EE626907-0F76-480E-B17B-4A042C16E8F4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f28e8753a661a07cddb1332b797f313433f20af9","datavalue":{"value":"W1964529895","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1949170$4C3764CE-0E6A-479F-BE05-533BA06E85B9","rank":"normal"}],"P223":[{"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":"Q1949170$751403FC-B465-4D03-818E-520235073A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0af533ab156cbb785d7f92b5af85c3fa0ef61af6","datavalue":{"value":{"entity-type":"item","numeric-id":2747710,"id":"Q2747710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949170$3E34DB9E-97B5-4692-BB88-E55362CCA139","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":"Q1949170$59D07BF6-264C-49E2-AED0-7B24B5085208","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":"Q1949170$91908910-718D-4DE0-A7B8-F8D47F7BCFC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbdd618fcd9894cc43913fda0ef46a6ceb0f2e1","datavalue":{"value":{"entity-type":"item","numeric-id":5798021,"id":"Q5798021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949170$6DD417D2-4A98-4821-8912-F2D2E7478FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be154b266f49b889b70e2e16e1ef5f70c091bcdc","datavalue":{"value":{"entity-type":"item","numeric-id":5732647,"id":"Q5732647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949170$4DE69C60-8175-4783-BDAA-C8CABFAC5663","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":"Q1949170$D38EBEF8-C39F-4840-9108-4D59F24DBEDA","rank":"normal"},{"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":"Q1949170$CD5D5FAE-807F-4E6D-9B66-48977AAD0D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e04ecbb7382c81ff4c246d8ee37f901be0a41022","datavalue":{"value":{"entity-type":"item","numeric-id":735407,"id":"Q735407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949170$ED07ED6A-E883-48F7-AA19-DF3593596BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"649b7443d2591d1a96e9a0d59dbdfb8b19a8a289","datavalue":{"value":{"entity-type":"item","numeric-id":3984230,"id":"Q3984230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949170$3929A70E-B76E-4B83-8054-F1A6DD5A0831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"183153dbddbd0bd94eb4038760a337e1e7b1f43d","datavalue":{"value":{"entity-type":"item","numeric-id":3574473,"id":"Q3574473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949170$99DA70F9-2535-4187-B9F0-22901739876E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d08b4f5dd1414c793c90fab8f306e85091eea55a","datavalue":{"value":{"entity-type":"item","numeric-id":5258482,"id":"Q5258482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5be116a63c705e0ee873d6e9f392818c0a4bb6ea","datavalue":{"value":{"amount":"+0.8094167709350586","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":"Q1949170$82321318-23D6-443B-86BA-8F5603505253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"921b37041207b10d21d4bdc720c083f6c8bbff3a","datavalue":{"value":{"entity-type":"item","numeric-id":2301324,"id":"Q2301324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fccaf7ba059d80c831331907061051f06a43fa9","datavalue":{"value":{"amount":"+0.8040784001350403","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":"Q1949170$7F080A24-DBEA-4684-B6FA-C92A8F0ED7B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dea9003220edf3a4b8dc331eabc919f8e86f5c61","datavalue":{"value":{"entity-type":"item","numeric-id":2958527,"id":"Q2958527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cfbfc96ed19a355f8b57f19711796211b8f79f6","datavalue":{"value":{"amount":"+0.7503222227096558","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":"Q1949170$6DEACD61-A30B-482D-AB5F-24DA6F42CC8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebbdb01fea90278d0558ea2b9a9fa56fa8be9de6","datavalue":{"value":{"entity-type":"item","numeric-id":3147434,"id":"Q3147434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d966d1d9a01df66def2db828ec02110c6208261","datavalue":{"value":{"amount":"+0.7490425705909729","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":"Q1949170$81C4B488-C262-40C3-B279-0DFB10FBFBE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4d101229965ea4fae54d35cf3795d9eceddb732","datavalue":{"value":{"entity-type":"item","numeric-id":2805022,"id":"Q2805022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3926bff4abab8ce18a19b15cc3131087a5109c67","datavalue":{"value":{"amount":"+0.7481796741485596","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":"Q1949170$DE121620-34E3-426A-80B0-10EFCE45B69A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"General models and entailment semantics for independence logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/General_models_and_entailment_semantics_for_independence_logic"}}}}}