{"entities":{"Q4636302":{"pageid":6665883,"ns":120,"title":"Item:Q4636302","lastrevid":58315980,"modified":"2026-04-04T16:51:52Z","type":"item","id":"Q4636302","labels":{"en":{"language":"en","value":"Modal indepence logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863868"}},"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":"Q4636302$97A5C38E-1382-4A5A-B2D8-B99DB99B9CFA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"deb08784919aaa471c20b57e2ccbe6adafe1472e","datavalue":{"value":"1385.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636302$EB0C931E-B464-479B-A3B8-EF774588A4A0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d6c92a6d1e244ef6727f00b02d0236f9547dd35","datavalue":{"value":{"entity-type":"item","numeric-id":269505,"id":"Q269505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636302$0183E658-9BDF-4583-A4E6-A8393F20B57C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4daf7c6efe756fb1ea9a850655089317a8cb7985","datavalue":{"value":{"entity-type":"item","numeric-id":2203579,"id":"Q2203579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636302$4AC52D8B-3B11-4FBA-84DB-3BA6A8096BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbb5495cc401b544959cef7c53d33603f5c56b01","datavalue":{"value":{"entity-type":"item","numeric-id":319802,"id":"Q319802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636302$77741B29-32A0-4E7A-B903-84AEA88D6AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ca8a4811cca52a248ccfd30baaf04c265f9ef0a","datavalue":{"value":{"entity-type":"item","numeric-id":208765,"id":"Q208765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636302$5249B338-C4FE-4578-BFC0-BA27AA3DDA93","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4636302$F72901BF-4F6E-440D-9197-20CCC4A2997E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"98283f6768c0abe71ed93889c49848fee099d5f8","datavalue":{"value":"https://arxiv.org/abs/1404.0144","type":"string"},"datatype":"url"},"type":"statement","id":"Q4636302$53483FC6-2E35-4593-A7FD-46B6EFFCD6F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636302$A22BCB05-D662-4A6D-850D-7DD945E8AE12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636302$3A0EF69E-768E-41E5-A1CB-AA0993B30CE2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c99fcd6e1a9fa912fd3a88f0ac140826835a532","datavalue":{"value":"6863868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636302$A3EE7A4B-AC24-465F-9775-B65ED908EB37","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9d0bef78cf421d5b235dd89b6bb53641b804b7d","datavalue":{"value":"dependence logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636302$943E1C0F-A14B-4D53-BBF9-230DDEF9004C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8a320ac3d69219ff809712b53034e7b1e05dbb0","datavalue":{"value":"team semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636302$2729AE18-0949-4BDD-BCBA-B59B84FE71E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e1a96ed6ffe2ea3d9e59077ea94ebf582551c14","datavalue":{"value":"independence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636302$6959B8F7-2402-4C5F-9921-14337D5DC20E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ada930dbfa0ac6446a3e9cb813244a83d9f2b4","datavalue":{"value":"expressivity over finite models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636302$6F3AAE0A-4F34-4F54-AB43-9E546C387A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636302$F1382FC8-4D56-4753-9E77-7F3010C86682","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":"Q4636302$1FAC53FC-648B-4959-A52C-4DA2F1957C67","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5df8335e9e94fb7c4bc580e10d7a14b4b7d786d3","datavalue":{"value":{"entity-type":"item","numeric-id":3133166,"id":"Q3133166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1eeae7a4509a7e200778d29d70295e4e68c7f53c","datavalue":{"value":{"amount":"+0.9953497648239136","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":"Q4636302$E4573071-B386-4DBC-ACB6-E6A644550015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1499451bc74b0157b5cefb8e9e1a9981bcb3340d","datavalue":{"value":{"entity-type":"item","numeric-id":3656769,"id":"Q3656769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47fceca99e46a58873e0946c4bbdfd1c619a206d","datavalue":{"value":{"amount":"+0.7910646200180054","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":"Q4636302$3BFD6351-495C-41C8-894F-B571A33BC6AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e04aea86061b2416ddcbe8c6d349697864040d8","datavalue":{"value":{"entity-type":"item","numeric-id":4636299,"id":"Q4636299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2411a2a73c791ba4ddfc7f69dacce7b600a15c06","datavalue":{"value":{"amount":"+0.7835910320281982","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":"Q4636302$D0CF042E-F3A1-4D7D-9D79-B5330D2F1429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe7cf0145f7ad4c0f49615e586f443eca9330418","datavalue":{"value":{"entity-type":"item","numeric-id":4914522,"id":"Q4914522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"367a893f5812a711f291c9fec140f50a8e94e85f","datavalue":{"value":{"amount":"+0.7818300724029541","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":"Q4636302$CBCAE1EE-2A7B-40F6-B2DD-9891F7EB517B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c85101b0991c879a8e53c74afaf64142858b50e","datavalue":{"value":{"entity-type":"item","numeric-id":2891371,"id":"Q2891371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0933afe019d4dd0461886a3f5387eb866f621f29","datavalue":{"value":{"amount":"+0.7767452597618103","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":"Q4636302$DAE0AD3A-B7FF-4706-A275-CC9465230A83","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4636302","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4636302"}}}}}