{"entities":{"Q3623837":{"pageid":5653743,"ns":120,"title":"Item:Q3623837","lastrevid":49704223,"modified":"2026-01-09T06:02:28Z","type":"item","id":"Q3623837","labels":{"en":{"language":"en","value":"Satisfaction and Friendliness Relations within Classical Logic: Proof-Theoretic Approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5546934"}},"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":"Q3623837$8D112804-A285-4F6C-81E4-137E17959DA7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"35aac24b328ce072a5360848d1e232f1b748c533","datavalue":{"value":{"text":"Satisfaction and Friendliness Relations within Classical Logic: Proof-Theoretic Approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3623837$7A0F441C-41FF-4A7E-9776-82DA02047A95","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"56b286e3ab018805c9a1827dccb104dccbbcd2f3","datavalue":{"value":"1236.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623837$CD77A0A1-2F5D-410C-B650-23F26DF89EF5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6018e70b2fa56b2199f027d248f0962e401ae2a2","datavalue":{"value":"10.1007/978-3-642-00665-4_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623837$176C9E0C-1B0A-47C7-93CB-227FE5566805","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e071145b46ae7a08fec096f0620178c42ecee586","datavalue":{"value":{"entity-type":"item","numeric-id":793005,"id":"Q793005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623837$089CFDDF-F553-4A9D-A434-CE465E6CF361","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"73721dca36e09b1fa1957406b9ce9131cf322a8e","datavalue":{"value":{"entity-type":"item","numeric-id":3019965,"id":"Q3019965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623837$33BF3F03-6F35-48B1-ACA5-092F86235A6D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"62d8f72b1020afd83d4654c37051e1faed59ff3b","datavalue":{"value":{"time":"+2009-04-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3623837$468B915F-4676-42F2-9AC4-5CA85563E809","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623837$BB9DB792-B94C-4FFE-B544-F82DF0E519C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623837$87AF154B-75AB-464A-89BE-CAF2A0971249","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"afba3ef4b1d016baa00380f8bba6eaa26189c90f","datavalue":{"value":"5546934","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623837$4DF91154-F9E4-4CEE-B094-BC9267C87310","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40c1fa6c0b559fdfa70b6a4daa404f0f627232de","datavalue":{"value":"logical friendliness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3623837$5B38AD8A-87FC-4EB5-9137-007505407470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3623837$1E42169D-6061-43A2-A844-B92F27AB4CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3623837$5C284061-EE11-46A4-8D41-B12A7D30DD15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"896cfa28bd2b4492988ddd62bfcf868b5041130d","datavalue":{"value":"strong compactness property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3623837$36E7D5A6-E8C6-4602-9210-A972B46E46FB","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":"Q3623837$8C1AA5AF-FA07-435B-A1C6-4B9FB35E1EEA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9899c6c507f43e8fa7e6eb090a396d4caa58238c","datavalue":{"value":"https://doi.org/10.1007/978-3-642-00665-4_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q3623837$27972291-C9FD-4016-A1E7-C0FBF36C2825","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f7465e920a37b5dcdf69f079f0b19f7ea4bb16f","datavalue":{"value":"W2114325607","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623837$8D23143C-783A-43DE-AB8C-7048F2E4355F","rank":"normal"}],"P223":[{"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":"Q3623837$A5F984C8-CA69-48A1-8D6E-78AD93AC6376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a0ca1d65125ac2719c77cef75c106a425833d05","datavalue":{"value":{"entity-type":"item","numeric-id":5805951,"id":"Q5805951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623837$D07087F7-5262-4752-BBD2-BFD05ED99FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9eeae879f04302dda6b18e98103022fca4078680","datavalue":{"value":{"entity-type":"item","numeric-id":5311063,"id":"Q5311063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623837$6CDA1446-33A8-4520-8699-B04906AD937A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17ca67a353de03db69e0b0fcadd54b94a145fd99","datavalue":{"value":{"entity-type":"item","numeric-id":3520846,"id":"Q3520846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623837$2132045D-4F49-48B1-ABF0-B049E39B498E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b946fb2f63c0dda27fa5ba25a5cecdec9a1c9a","datavalue":{"value":{"entity-type":"item","numeric-id":4229041,"id":"Q4229041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623837$823C0769-12F8-471F-AB41-844269F05A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22001403e9a3271b3d97ee75448b6ea0d87043d0","datavalue":{"value":{"entity-type":"item","numeric-id":3228599,"id":"Q3228599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623837$05D8FEDB-FBDE-4E90-B905-E9B5C7F521B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623837$694B263A-476D-4207-8AF6-4FA0CA1795AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bfb70633aca2d8abc32a1bc9ef41e7260114237","datavalue":{"value":{"entity-type":"item","numeric-id":5300067,"id":"Q5300067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ada54473ea53ffec66a68b8b62605f12a6091c45","datavalue":{"value":{"amount":"+0.89692986","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3623837$8099CEAA-8E03-4D28-BC05-225DAE40E68B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fbad96c23cad31354bcf15e84b11b9961bf645a","datavalue":{"value":{"entity-type":"item","numeric-id":4487377,"id":"Q4487377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8167cccb40351a8c65c3b868235050d133ddd962","datavalue":{"value":{"amount":"+0.8781301","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3623837$E97BFB6F-E6F0-4CA4-8A6D-511F8D6E45F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97d2d4a5c491d9ad8a056aa827a10fd1d27f8d93","datavalue":{"value":{"entity-type":"item","numeric-id":1679760,"id":"Q1679760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d003dec8580c32c1c018ac2dfc40ae88fb6db29b","datavalue":{"value":{"amount":"+0.85621107","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3623837$D9A9FF18-FA3D-4470-81C4-0BB2290D5FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb97e2acfadd7970f084a94efcce13432a137c1f","datavalue":{"value":{"entity-type":"item","numeric-id":2856063,"id":"Q2856063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45e9b34e77daf08526fcade27a6226cbe1848be0","datavalue":{"value":{"amount":"+0.8560791","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3623837$8AFBEF2A-15CF-4CBD-841B-D199B778B4B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c99382cdef8ed2f484d29437f7ae5bea8b082b78","datavalue":{"value":{"entity-type":"item","numeric-id":4948690,"id":"Q4948690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e368007019eb7411c75ca3b32f1e967f35bca95a","datavalue":{"value":{"amount":"+0.8550857","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3623837$11B2C1C4-4FDF-4CD6-8543-B1076F6C10D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b88a2c676a75b82faaa4e2fbdf7aa3686c4d71c7","datavalue":{"value":{"entity-type":"item","numeric-id":939055,"id":"Q939055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea0e0a0ac70efd61378095e53e93793d9d988df1","datavalue":{"value":{"amount":"+0.853876","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3623837$2AF2649F-781C-4B97-AC09-E5B92903CF31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e5f321bce2072a037de1a81b4790f837eedb037","datavalue":{"value":{"entity-type":"item","numeric-id":4518914,"id":"Q4518914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4876ef5e9acd59b5097dec78bd960d7f0aa1d81","datavalue":{"value":{"amount":"+0.8521943","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3623837$BC9FFF23-06FD-4034-A791-E5ADA6906771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"328c1c54bfd5140b1a38cefe5f9ecea15c306608","datavalue":{"value":{"entity-type":"item","numeric-id":3128482,"id":"Q3128482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd94e1e5c607a8d90602ab5f564e3e2ac018144a","datavalue":{"value":{"amount":"+0.8494648","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3623837$FAF1472B-7485-4960-A350-D5F7093848CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f0b87b7f57c6476df14638becd9414c966f3a8c","datavalue":{"value":{"entity-type":"item","numeric-id":4032850,"id":"Q4032850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9b4c6523cf52ba65d5844cd772fb1cd7844f8f5","datavalue":{"value":{"amount":"+0.84863603","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3623837$06FA434D-82F6-4828-913D-60E807FA6EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30bc8e4a44522e2de7bfc8cabed381b6efa28b5e","datavalue":{"value":{"entity-type":"item","numeric-id":2848884,"id":"Q2848884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16e1d96b1f9118337a3d2caa5fdb93d77e32ab01","datavalue":{"value":{"amount":"+0.84651065","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3623837$00DD360E-65B0-4BC3-8BAA-955FF3129DC6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3623837","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3623837"}}}}}