{"entities":{"Q4505123":{"pageid":6534716,"ns":120,"title":"Item:Q4505123","lastrevid":28689232,"modified":"2024-03-05T15:09:54Z","type":"item","id":"Q4505123","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1511053"}},"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":"Q4505123$6041325B-75A1-468A-A8FF-132BDBD856CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3e3a29a637b28fba5c35e7600df00d53c540b66b","datavalue":{"value":"0948.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4505123$1B9DE63C-79B3-4306-B0E0-D9AE8DB72F0F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5787b3e38e12279b9b779ecb056eaf709b07c867","datavalue":{"value":{"entity-type":"item","numeric-id":755573,"id":"Q755573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4505123$26B1F247-15E2-4B1D-83C1-4D8F9D550187","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3181eec55d6fadc7128215edae5f001921ed72d2","datavalue":{"value":{"time":"+2000-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4505123$415B8D2E-E56B-48EF-B396-05A969D93DD6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4505123$5A8F58EC-4515-4AE2-8DDF-C3C2E9BB4B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4505123$D08FCD65-E200-4150-B4A8-47A929793FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"11cabf296cbf78cefb4c4e9ef3c9625682c34a7d","datavalue":{"value":"03Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4505123$AAD8FFA6-CFAE-4748-B794-9F12CFC05AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4505123$C966C0A3-A932-4875-9DD5-731D1316ADAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4505123$9A742D12-8CEF-4FC5-9090-0F1079DF1262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4505123$D92AFA6F-A471-4DA8-BFC8-0E08403D0B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4505123$73555229-F142-4B4F-9B5D-0F74BBCAE8BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4505123$7D82FF7B-35E7-4A6F-8768-519AA1A3514E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4505123$86C8C92A-62D7-408F-8105-BB395B7317C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4505123$6C45CC41-C083-41D5-9B8D-66D560B0E5BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4505123$126C508E-3643-438C-A9C9-54ED4712F6F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e3490a52eecf92dad302a912813ac17be6f28527","datavalue":{"value":"1511053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4505123$6D4A0EB6-1A98-4592-9D0F-C2D66306C2FF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0ca106ef01d8fec4153d4b404b5a0c354d8066e","datavalue":{"value":"propositional logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4505123$20D7ACD5-544E-4847-BC55-279282B2C991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c10a0b4b598e07250f5ba0ddc45500166c3f431","datavalue":{"value":"enriched truth value semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4505123$425AF672-DF3A-4F41-8498-76CA75FD4F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4893f3ec3c86b5de8dbb5c402e27a6c2bed32226","datavalue":{"value":"propositional semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4505123$179ADE37-B9A5-4F80-BC1F-43374CC7F752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91f0f4003ba55b4237f21afb269e4b539dcc7b96","datavalue":{"value":"content of a propositional formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q4505123$2CBA91FD-C956-47E6-BD5A-4DBCC9CE7B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cff68efda21742e6d2c0aa4b19c40c859c2737ab","datavalue":{"value":"set-assignment semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4505123$5645DD66-D89C-43C6-ADFF-2A778AFF39E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6c55ea18373bdbea962e9f6ba02ed2890522e13","datavalue":{"value":"relatedness logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4505123$2717AD72-067E-45A7-91B9-EE3D45590D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40f7ca4924dc5acc2a60c09dfc1d83dd1a27a04b","datavalue":{"value":"dependence logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4505123$6170B4C4-FBF2-4F4C-9F66-7C438B360204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4505123$9C23EF8F-7539-4ED8-BC72-FDEDB648CEF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4505123$F3D0F3EF-3DD3-48D3-B40B-94061610C2B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d5a42b975c47a33efa7e2c8c4b29d9a2263d0b8","datavalue":{"value":"Johannsson's minimal calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4505123$D61107F6-5989-4FC1-B597-A885FB10880E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dabf0147a2477f9d5b36f07617332c9ddcf9e122","datavalue":{"value":"many-valued logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4505123$8D5FF9F5-EF66-4074-BDDD-4CA5B3BD49DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720c3de76408c0968fd3d796d839c3822d3c5e57","datavalue":{"value":"paraconsistent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4505123$DA159CBC-3123-4F57-A593-2BFFBAFC202A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ed98149e09fcb227a2507e4c376757d4ccf51b8","datavalue":{"value":"relevance","type":"string"},"datatype":"string"},"type":"statement","id":"Q4505123$620DD368-83E2-4A31-82D4-69818BB7FA36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef005c57ec72bf1e5b47bd8f6a8adaa20239b969","datavalue":{"value":"entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q4505123$846245EC-443C-49B2-8A8D-921CA4062E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6afc6fde4848c543b5d2039a8437b0685adf2800","datavalue":{"value":"strong completeness theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4505123$F1B5A202-1450-4DB7-8FBB-921F68F2D98B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b51c55b46a18c520d90beaccc0118e9d0c3fc4","datavalue":{"value":"translation between logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4505123$D5380BE5-BA48-4287-A99A-A740D1A52740","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":"Q4505123$A7EE0214-BBED-4D95-8153-993E1F3133EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4505123","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4505123"}}}}}