{"entities":{"Q2499308":{"pageid":2510051,"ns":120,"title":"Item:Q2499308","lastrevid":49892347,"modified":"2026-01-11T17:15:51Z","type":"item","id":"Q2499308","labels":{"en":{"language":"en","value":"Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5045649"}},"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":"Q2499308$1CB4211D-CFC8-40B0-A0C1-683C9F229071","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c81ef010d399a1729397c3b42c6f9ffd8005af49","datavalue":{"value":{"text":"Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2499308$903DCB42-2857-4A79-95C4-C4D057E44CB2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"97c2f56c991d4ad303573f3a2dc2a8208d4bd2d3","datavalue":{"value":"1101.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2499308$23D790B2-EBCE-429A-938E-91EB31EECC6E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bbff3d7a44383c7cae8458296cf157ea0c3e3007","datavalue":{"value":{"entity-type":"item","numeric-id":190279,"id":"Q190279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499308$191BE870-EDE0-4F0D-AD25-AA987C649FB0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499308$F6B3CBE3-6946-4D4C-B5B1-D084DB772471","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2d16893a2881e21dd54b3d85e13a15572e7a543f","datavalue":{"value":{"time":"+2006-08-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2499308$F8FE0951-A478-40B1-8C9E-17B2D6EEA30D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2499308$DDEC41F0-644A-4F89-9949-5A8175E41371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2499308$A239010E-63DA-4959-BA63-2096156ADA9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1f7150f9a39f853b63ad46f37d78a6cea4d967e","datavalue":{"value":"06F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2499308$741F7DF1-25C6-45E0-B420-6B38FDE38691","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10ede7a573f9e8ac571ccefab32adcd7f31b35d1","datavalue":{"value":"5045649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2499308$767E037A-0C57-483B-BC09-C9513931D951","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12ac83653fc3267e731ae24b5b2c4b80a331c55e","datavalue":{"value":"BCK-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2499308$B84D967C-3784-4B0B-BE6C-CD7FCF1BEB69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"886cd48ede84d1e4cded9add13d9fd87244a71f6","datavalue":{"value":"deduction theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2499308$D583B96B-F829-4E0F-BDBC-365BBBDB8249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2e612a6d11a0f22aba276a8237e178f3378c1f6","datavalue":{"value":"BCSK logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2499308$271193AA-53A3-4F51-80BF-7C52A8736DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5903f1bed3fbc1ce858f8893a5d8ada445b0c6de","datavalue":{"value":"binary implicational connectives","type":"string"},"datatype":"string"},"type":"statement","id":"Q2499308$35B9012D-616A-41E0-8183-9D6101E09361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ee367caeb10d9b06da30a7b3ab9cad037f7582f","datavalue":{"value":"fragment of modal logic S5","type":"string"},"datatype":"string"},"type":"statement","id":"Q2499308$9ACAA04D-9AA6-417D-85A3-8AA78F42B5D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"626d328638f0e8bfd2c7f65d2308e670728a3d77","datavalue":{"value":"consequence relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2499308$1064593A-E13E-4755-85CC-23B4B44EB5F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2499308$3634BED4-F7C5-4B52-A215-80FD3893876B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b94683f37a231016cd2286df30837b5c50f4b4a3","datavalue":{"value":"pattern functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2499308$9B102911-EC6F-4D6A-9839-36123DA2AC6B","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":"Q2499308$772DBAAB-1EED-43B7-A27C-573E3210681F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"13685739ab59df97bee8bf6b68345a98805442a7","datavalue":{"value":"https://doi.org/10.1007/s10992-005-9023-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2499308$E92CA91C-7B50-4C31-9891-9BDB38C84C07","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d07f6a6679a934b0701948939d30f31619051148","datavalue":{"value":"W1968850729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2499308$DA987342-0F0A-434F-BE52-3CEC87EA7CAC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7f09b53b7c446f5ba60a17b5b11a35f4dcc7ac0","datavalue":{"value":{"entity-type":"item","numeric-id":1188997,"id":"Q1188997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499308$CD541CC4-EBE3-4206-8B03-686CA0559F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0e306d8f9d389ba74958da0e7cba4c7d2bbda3a","datavalue":{"value":{"entity-type":"item","numeric-id":2562077,"id":"Q2562077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499308$5DBFDC87-F3E5-44E5-B0DA-FD079645E015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29bd3fb046590d8a5b165cf211e62a2078a71ed6","datavalue":{"value":{"entity-type":"item","numeric-id":1187165,"id":"Q1187165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499308$7804DE2F-B537-4F68-BC4B-7CC462C40A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"365e43523f9f6b45dc2577202697ff91a6659a61","datavalue":{"value":{"entity-type":"item","numeric-id":3815297,"id":"Q3815297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499308$6A201F75-7ACF-4845-BB21-BC151A31D247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e1bdbc7bd30eecdd8509ee080c7638776182573","datavalue":{"value":{"entity-type":"item","numeric-id":1355131,"id":"Q1355131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499308$0D8A5581-34F1-4EA3-B773-48BB0A65CF73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5ad2710adb49b09c41e2ab3a0d263ab2cd525bb","datavalue":{"value":{"entity-type":"item","numeric-id":5932852,"id":"Q5932852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499308$9480365B-95F4-4FEB-9D88-584D208DB0D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21d65f09f2bc723c74c2ddac9118b09fb1629f68","datavalue":{"value":{"entity-type":"item","numeric-id":1604790,"id":"Q1604790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499308$9F06E1A5-A3F2-496B-BA26-6C0A3332F62D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2be421bf79b138d9f0a151ab740d01d37a7f439a","datavalue":{"value":{"entity-type":"item","numeric-id":698537,"id":"Q698537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499308$C671D4EE-C776-4714-8788-D8BAADE846B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efb8206136bb1a3e3206c15b8c3fd64eecf1b0ab","datavalue":{"value":{"entity-type":"item","numeric-id":2757760,"id":"Q2757760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499308$D33C4C73-05DA-44B1-8CD0-AF8E1FAE1AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3bb5d04b3c25e7bba34308365e935e19e4ce4b9","datavalue":{"value":{"entity-type":"item","numeric-id":3755419,"id":"Q3755419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499308$5E8D6242-C930-4F77-B9FB-ACEAE32F15E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"246d811e8ce76e3ffefd234d04ef4201cfef38af","datavalue":{"value":{"entity-type":"item","numeric-id":1820769,"id":"Q1820769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499308$690AA7D7-58E4-43C9-BED9-165CE15123A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92256643775a9cf0b5775e19178fbd831235665a","datavalue":{"value":{"entity-type":"item","numeric-id":1362590,"id":"Q1362590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499308$239B5D3F-D053-44F1-8A0D-F494B87A04DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd96f8654d29448c5767d3859c7807bf1b371256","datavalue":{"value":{"entity-type":"item","numeric-id":786810,"id":"Q786810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499308$72B35DFA-A04A-4740-A97E-73366E06655A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed3b37a915a3e972fd593b49db3c3eb33c65805b","datavalue":{"value":{"entity-type":"item","numeric-id":1227589,"id":"Q1227589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499308$1517C35B-900A-49AC-B0A4-B64E0FEF65C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd57c109f4d4a2d4c648d7d2848b92c10d674c71","datavalue":{"value":{"entity-type":"item","numeric-id":5823282,"id":"Q5823282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499308$9AB78BD8-839F-4770-82A8-AF9A97B3BBDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b9c5537d70c0e1b829c873369fd83e52f32f579","datavalue":{"value":{"entity-type":"item","numeric-id":1205166,"id":"Q1205166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499308$D35163C8-2498-441C-B104-A36B14215880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1965386b4a23b730e7c68404e64e8878bb9d68fd","datavalue":{"value":{"entity-type":"item","numeric-id":5659534,"id":"Q5659534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499308$C0B253B3-BBB0-4200-BF42-1BEE1475D454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35b39e2f15a4c99a5b59638ad40fc174fcadc191","datavalue":{"value":{"entity-type":"item","numeric-id":918952,"id":"Q918952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499308$DDEE1D9F-894F-4F40-8FAB-78E72CFB1256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf6807ec1d11298374f7516f766ca47b48f40dff","datavalue":{"value":{"entity-type":"item","numeric-id":4079581,"id":"Q4079581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499308$FF755D82-6954-4F32-9CA3-02CA4A3D9554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3eaf8c2d8bc83dd856fb80629b20fc860136563e","datavalue":{"value":{"entity-type":"item","numeric-id":3952081,"id":"Q3952081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499308$6C2FC33E-1170-4A7B-8C24-5CDB388B93CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29e3798b4aefb4cba32ca4b4e29c4f3e7b48eb56","datavalue":{"value":{"entity-type":"item","numeric-id":5513757,"id":"Q5513757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499308$D2FAAA5E-E4F2-4001-B755-4A1603FCE795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adf2c4ab9a58bbd8251b5ab9a4e16da41a632225","datavalue":{"value":{"entity-type":"item","numeric-id":2704319,"id":"Q2704319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499308$7F3F1C2F-9159-4996-9F95-7DFAA7592EA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"829bb2d1abde2fff7b449329f9e6cc131c8e8bfc","datavalue":{"value":{"entity-type":"item","numeric-id":1347608,"id":"Q1347608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499308$8F877838-8BDD-4A7D-94A3-6FBCBD66F0F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"03e784576395a5af0574651581b4eb6a07b6e045","datavalue":{"value":"10.1007/S10992-005-9023-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2499308$CC18F7AD-AA40-4684-BF56-AE65C2FABA17","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8101643b2abc62ae5153ff52ab1bc7d8fe21d9d","datavalue":{"value":{"entity-type":"item","numeric-id":698537,"id":"Q698537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaf2a564e6d3f8aab573e98d265ecfba29dd6581","datavalue":{"value":{"amount":"+0.7807902097702026","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":"Q2499308$38BF1C3E-FAD0-4C65-95D1-04878B023C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce0537b6a0fbc8e107c0e3927d7d7dd9d509e165","datavalue":{"value":{"entity-type":"item","numeric-id":2751815,"id":"Q2751815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e625f9c376162c730c740bd752169d657d85ab2e","datavalue":{"value":{"amount":"+0.7804254293441772","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":"Q2499308$B7D0B0A1-156C-4EC2-92DD-9D9635894D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e56d09f404ca8c5e7e7e22a8eb0fdcff7359f44","datavalue":{"value":{"entity-type":"item","numeric-id":5004950,"id":"Q5004950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69e939af9ca724cac20a46b24e1e488607a15975","datavalue":{"value":{"amount":"+0.7473000288009644","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":"Q2499308$66438375-BC50-4484-9A45-BEE6DF014F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7978f2d954b26c3e2c800a9b5ff79f684a7169a","datavalue":{"value":{"entity-type":"item","numeric-id":5869721,"id":"Q5869721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ccaafbf9c75c66bb815e8e5c5300e28b5bddebf","datavalue":{"value":{"amount":"+0.7406405210494995","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":"Q2499308$38E380CE-BD9B-4FE4-9508-7BC848037068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9879a0df348d663bc83dbbc11769795fb7b77fa","datavalue":{"value":{"entity-type":"item","numeric-id":1309333,"id":"Q1309333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50635871e6fc29e28b443db7c5ba66ae7d3cbf02","datavalue":{"value":{"amount":"+0.7023102045059204","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":"Q2499308$ED0F4226-F6E2-4AA4-9A1C-FFAE9FD3C23A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2499308","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2499308"}}}}}