{"entities":{"Q281148":{"pageid":282915,"ns":120,"title":"Item:Q281148","lastrevid":60669267,"modified":"2026-04-10T18:24:25Z","type":"item","id":"Q281148","labels":{"en":{"language":"en","value":"Informational semantics, non-deterministic matrices and feasible deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6578786"}},"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":"Q281148$81AB9CBE-DA96-49D3-AC4E-59D20AAF30ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df69145494d9e3f3c886ebb57e020d19f7a0192c","datavalue":{"value":{"text":"Informational semantics, non-deterministic matrices and feasible deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q281148$CFCC2B25-9D50-4E24-8459-0030559A0F87","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"51ad08cfc55a9957ba1caa87b42aea38530be46a","datavalue":{"value":"1335.03061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281148$0379180F-5EE1-48DC-B995-23FA96028C63","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd74b551dc598d94e51622f5fee0611a3782ba4c","datavalue":{"value":{"entity-type":"item","numeric-id":281147,"id":"Q281147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281148$7EDAEA37-7425-45A9-A36E-9E8A886ECABF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5080655d79bf372c5c5ce3cef49e38026d2edcb7","datavalue":{"value":{"time":"+2016-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q281148$2011BACE-AC17-481A-8F21-A96AE98365E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281148$679AD678-A65C-4436-A995-589C0144CE69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281148$D59DDB88-0731-4A6C-B1F9-4E0043AEC42D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"406c8405e12d73aa132c468c20014a01c6318fa4","datavalue":{"value":"6578786","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281148$52665AEB-311C-4C7D-A69A-E0AFA6CA946E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7e45de5f0961d0cf7470a7b0dd939d5c4c581f3","datavalue":{"value":"classical propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q281148$D29AE14A-5DF9-487D-B4D5-5EA9B4729360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dc3340234beb0e78f93095304ef530d2c2c68a4","datavalue":{"value":"informational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q281148$1A525BA8-0652-4E74-A720-33579F9F31FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5c8cafedf90cad7529aaffc7632bff61f54d145","datavalue":{"value":"nondeterministic matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q281148$D71FE1BD-0904-4CB5-AAF9-3F597E918121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q281148$23BC22D2-B18B-4F0C-8C54-1BE37A5613B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q281148$BB9527A3-F7A2-41A5-AD53-049555381916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08adad6cd898e7c7d897e7197186a448e1e0c067","datavalue":{"value":"semantic tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q281148$1F7F3033-BD7C-4AAD-A7E6-B2E0241C40DC","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":"Q281148$556B829D-D859-47C0-9B88-C4B62054FC90","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f6e5effec85292603f075ab03c951d22193b55db","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2014.06.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q281148$84CFFA07-8878-4D58-81A5-5B4C1EFB9287","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4fc3d22c7214f6bf77e713fafe44abdebd048e0e","datavalue":{"value":"W2053323297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281148$09266BCE-112C-4345-90A7-2F32E3AEAA9E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"733cec88095320c8fbb6c90043211fd03755574a","datavalue":{"value":"Q113317871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281148$A15471EB-3418-41D6-B33B-6F056AA8AA8C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcf92dfbbcfacba489881178d89ab3b4aa072827","datavalue":{"value":{"entity-type":"item","numeric-id":813081,"id":"Q813081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281148$765027B9-F977-4362-92DE-B9BCD83682A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38e1d811262dd8c2250bea4bc0f676125b4798fd","datavalue":{"value":{"entity-type":"item","numeric-id":4539639,"id":"Q4539639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281148$97C50168-E12F-4ABA-950E-60522F6E11C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58ae24754f75a802a2da40737e8cd0fedd5ca062","datavalue":{"value":{"entity-type":"item","numeric-id":3025337,"id":"Q3025337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281148$298F9D57-76E1-4CEB-9B5B-D98E20927B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bb55475d99369e40b7ba59264ce532a5b1bcecb","datavalue":{"value":{"entity-type":"item","numeric-id":817707,"id":"Q817707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281148$9CAB268F-651C-4562-88D5-F7003F7E3A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42076235377e44e7fa7ea44967b1dda67de38bec","datavalue":{"value":{"entity-type":"item","numeric-id":3858244,"id":"Q3858244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281148$BEC3E06A-3CF0-4813-85BB-A9F7E1641B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b39cdbbd8978f45d030adcda0de91bc385038cc","datavalue":{"value":{"entity-type":"item","numeric-id":3007254,"id":"Q3007254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281148$59C9A74E-A78C-4A13-AE72-8D8AA46BA464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70f22ac24cc3421a2cf26df2cd16b95eff98eb01","datavalue":{"value":{"entity-type":"item","numeric-id":3584010,"id":"Q3584010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281148$176797FF-C8D4-4CD7-8108-BBC4FB9427EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fefd3ade421e37a9cf9564031d62c75bdd78a9c","datavalue":{"value":{"entity-type":"item","numeric-id":2973406,"id":"Q2973406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281148$4FD212EC-6538-45AD-AACF-BDD7406EF98D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebe2e72ac065a506d8b287db9747d65961a5244f","datavalue":{"value":{"entity-type":"item","numeric-id":385021,"id":"Q385021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281148$A430B11F-014B-4B4E-8CFF-7A05EE379783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03de11e69622aff91f6a7f4b1e99e0de1b8df888","datavalue":{"value":{"entity-type":"item","numeric-id":833033,"id":"Q833033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281148$0714BF8C-991A-43B8-B587-93FB66ED766E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fad758619c98c557a029447eb773977488ab691","datavalue":{"value":{"entity-type":"item","numeric-id":2753602,"id":"Q2753602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281148$32B5D027-1F34-42C9-8556-6209F3D25FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15969da430dd79b9be0499621aa8cddedb6a17a1","datavalue":{"value":{"entity-type":"item","numeric-id":4935259,"id":"Q4935259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281148$601743F4-18B0-4576-B3B8-BDF7784AFE76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19a13d21f909bc5d01ac054faba1d283210dbc5","datavalue":{"value":{"entity-type":"item","numeric-id":4304496,"id":"Q4304496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281148$64CC7210-1628-4505-80A9-860F8953A6E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5e31f26f94b470173e5d1cdabfc7b082904092b","datavalue":{"value":{"entity-type":"item","numeric-id":1267774,"id":"Q1267774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281148$01E6BEC6-7962-4241-88B0-52E1BEB8EDF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"060b530754d490a19e08b3b07500ad807aca5cf1","datavalue":{"value":{"entity-type":"item","numeric-id":5394150,"id":"Q5394150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281148$020CA5BC-A46D-43D7-BF73-3D5D4968119E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3eb77549c28b308520e988457e315e95b419d84d","datavalue":{"value":{"entity-type":"item","numeric-id":5311203,"id":"Q5311203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281148$030AE9CF-E263-4351-93E0-644C393E5A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6681413628cd2724814405144f06ffc4f05fa2ea","datavalue":{"value":{"entity-type":"item","numeric-id":851192,"id":"Q851192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281148$69314008-76DC-4147-939D-716946D5A901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fee2bc2c7df750adbfd4dae0ec0e4784ba9b39e","datavalue":{"value":{"entity-type":"item","numeric-id":4820464,"id":"Q4820464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281148$DB574D82-159D-4680-8714-BF9D355C9423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"850e209c1771999a2a8c78b29e4009785ac6e1fd","datavalue":{"value":{"entity-type":"item","numeric-id":2369011,"id":"Q2369011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281148$00242473-266D-44B6-9780-3356AA00174F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ea5efcdf6f489fd488433ed1016608e720ae6fb","datavalue":{"value":{"entity-type":"item","numeric-id":5666510,"id":"Q5666510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281148$215106FB-F502-4A04-B526-32CEC82C0B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281148$58BA87F0-B77B-4FE6-BEBE-50D1A106F0CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cd289522003bdcf87cfe4f75198359bc8f91834","datavalue":{"value":{"entity-type":"item","numeric-id":3160445,"id":"Q3160445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281148$DE2E3F9E-1CA4-4E7B-8708-1FBCDAD3DB4F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf6cec7317c50911fdf5ec8a2840ab5aeaacea01","datavalue":{"value":"10.1016/J.ENTCS.2014.06.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281148$C432BF8A-4194-408E-81C4-978353713F93","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57ca470014fc786fa5abed6d98af062194ae33bc","datavalue":{"value":{"entity-type":"item","numeric-id":385021,"id":"Q385021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c914520addc551b3aa7578b857e6c7ed5c5c5565","datavalue":{"value":{"amount":"+0.8454073667526245","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":"Q281148$EC3403F3-1720-42B0-B404-2F0B826610FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c38ce4248f9c99362def453a03395bbd26cea89","datavalue":{"value":{"entity-type":"item","numeric-id":897935,"id":"Q897935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d47c0dfd0ea9fc321c2d79dd04213b2ace72d4e8","datavalue":{"value":{"amount":"+0.8350259065628052","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":"Q281148$34A3DE0B-E365-4367-A5D2-4F1A85E6E29D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"399dcc203081bb6f779deb66c8b135215cf87c8b","datavalue":{"value":{"entity-type":"item","numeric-id":3584010,"id":"Q3584010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1c3b75061308248583a8342c1da9e2ccc17c17f","datavalue":{"value":{"amount":"+0.7597218155860901","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":"Q281148$87BE6D93-BEF2-40F6-B965-52F6891B0DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdebd637b202c87267f948e7465bce9a8b542934","datavalue":{"value":{"entity-type":"item","numeric-id":833033,"id":"Q833033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee6ce258452eca89acd00f57846cb8578c6b17d8","datavalue":{"value":{"amount":"+0.753102719783783","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":"Q281148$D978A8FA-B6E9-4415-BD26-8D68FC76A6AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab61ce7d865a6907d5bacbc5c327202562a7c857","datavalue":{"value":{"entity-type":"item","numeric-id":5039098,"id":"Q5039098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c523136dced9f6fc1cfb92f6f398ecbbbe4e99b1","datavalue":{"value":{"amount":"+0.7412351369857788","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":"Q281148$167D8D23-324D-4A62-BBA2-1BFAFAEB20D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Informational semantics, non-deterministic matrices and feasible deduction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Informational_semantics,_non-deterministic_matrices_and_feasible_deduction"}}}}}