{"entities":{"Q3791124":{"pageid":5821030,"ns":120,"title":"Item:Q3791124","lastrevid":52894799,"modified":"2026-01-23T18:11:51Z","type":"item","id":"Q3791124","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4055579"}},"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":"Q3791124$EFB1732E-0D70-40F5-AF9B-316C60196862","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0737cfcf3c199a30db0f3eb432715f6184313193","datavalue":{"value":"0647.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3791124$130DACE8-E9FD-4683-9008-B1870B46490E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d86580c1f19a1819388ffe5aefe9261d198aaed","datavalue":{"value":{"entity-type":"item","numeric-id":1065795,"id":"Q1065795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3791124$617AB2C2-17A7-44E7-8720-4854829D11F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3791124$E1D71CD4-7C0F-4DA9-B427-704C031C026C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd857b4d539debc924b23d4d2c029b3554136b84","datavalue":{"value":"03B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3791124$9F4C488C-73CF-4686-B98A-3F4AD267BDE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3791124$5E3BFA0A-BEF9-45D8-A0F2-B4BD0E467A2B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"089da31576208550210d4fe033c6e4d037ee28cf","datavalue":{"value":"4055579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3791124$54AA058D-9190-4891-A519-A5D47D9335A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8d10f6efab0c9bb1744c5f94c7d1c9f05bca129","datavalue":{"value":"survey of propositional calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q3791124$C36DF6A9-98B6-4AF0-BE6B-1B3FAAFE553F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b9a3d386426d9368439ab333fcccc5c62594844","datavalue":{"value":"consequence operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3791124$19882DEC-A1BA-48C4-9B2B-B2E22E05B460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3791124$B229A7E4-7073-43B5-A769-5B649D60BDBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ebeb23c62c94fea27126b416e04594b40c537ac","datavalue":{"value":"matrix semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3791124$48CBE121-DDED-4176-A350-D902C05A14DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a80dfaa8ee8f77b672d0bc8e6161cf5207fffc72","datavalue":{"value":"structural consequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3791124$49692146-0D9C-4B19-936A-02A89D9A0A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"233d404c9793fbbbbed23f8a0f2356a68f4aa888","datavalue":{"value":"referential semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3791124$7ED71D1A-4D60-4925-A96B-1D5F90121B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e02037ef06c8e9bcf18ccfc7452d21ef298c1f7","datavalue":{"value":"referential matrix","type":"string"},"datatype":"string"},"type":"statement","id":"Q3791124$DA45B1A6-CB0D-4E30-B843-E29B46224E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a78bcae4d423bafe153d50ab7e964b16ff0a196","datavalue":{"value":"strongly finite logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3791124$184C4712-C4EE-40C0-AE7B-0995DF4EAD51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"548bc79ce362c691471fdce748b63aafcb850b45","datavalue":{"value":"structural completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3791124$7EBD99CE-5C10-425A-80A0-292430AAB936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4af7b93a759ba43e4ba9804e107bc1f31ae3fdcb","datavalue":{"value":"truth-valuations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3791124$ACF97FB9-0A15-4EDD-9CFB-DA730471101D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3791124$7A16C4AF-C5D5-4C41-AE5E-C948CD902871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1349ae18024348e0c350193153dd26f4327eb726","datavalue":{"value":"finite formalizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3791124$E7F53F7F-C3D2-4B2A-B0E1-0B41F35AF1AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3791124$2CD2FD79-BBC8-4281-83DC-9661778ADDD0","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":"Q3791124$06D3D55C-25D2-4C1A-8A0D-F325E64BA086","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa97664caeb96b6ee871f69eb512786c5626d598","datavalue":{"value":{"entity-type":"item","numeric-id":3329445,"id":"Q3329445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14a3d9e1a44744d45d47b4a473493fec1b247d36","datavalue":{"value":{"amount":"+0.8241288065910339","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":"Q3791124$EB366BEC-F1BD-4504-B727-CEAE2825030A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c3d4b46a0818450cc7a5c36ea350e26d8f3e7e6","datavalue":{"value":{"entity-type":"item","numeric-id":1106833,"id":"Q1106833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b02a609371bed9a46dc925d68fa16ac9c11a0e6","datavalue":{"value":{"amount":"+0.8134135603904724","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":"Q3791124$69C6043C-F1E8-4B77-8809-A996A19CB429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66dccf824281c3209c57d1ac61c8ee1b7b83f350","datavalue":{"value":{"entity-type":"item","numeric-id":1188523,"id":"Q1188523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b0d0dc1d22fc52c1acd49f71882909b5f2f6a10","datavalue":{"value":{"amount":"+0.8050351738929749","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":"Q3791124$CC679610-B7DA-45DE-87DE-9E5324830BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df641b24ba1a69d1f466d683746f76c6964513e4","datavalue":{"value":{"entity-type":"item","numeric-id":3340838,"id":"Q3340838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3eec070451d65b1df8b17c049bdcfba6d2bd8261","datavalue":{"value":{"amount":"+0.7948371767997742","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":"Q3791124$C7D8A982-FAD2-41DE-B16A-C0C6BC018BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7d6c99227f2254081478eb4c017db095696b6ea","datavalue":{"value":{"entity-type":"item","numeric-id":3718688,"id":"Q3718688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39e42d275ea2215fa718ab19a035faf690fc800c","datavalue":{"value":{"amount":"+0.7714059948921204","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":"Q3791124$A23AF9D1-90EC-4E40-A6D2-D017E20CC2A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3791124","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3791124"}}}}}