{"entities":{"Q853468":{"pageid":855316,"ns":120,"title":"Item:Q853468","lastrevid":64906854,"modified":"2026-04-11T23:01:16Z","type":"item","id":"Q853468","labels":{"en":{"language":"en","value":"The logic of tied implications. II. Syntax"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5073333"}},"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":"Q853468$420156EA-518B-4731-B06A-98BBE51065FF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6ebdf03565b6c7345f390906e84edd46615406c","datavalue":{"value":{"text":"The logic of tied implications. II. Syntax","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q853468$425F4C56-4D5B-4DC8-8E76-BF17C4958B75","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"87d59f34ecfdbc3ea3092ebb20faf6ed67485bf4","datavalue":{"value":"1111.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853468$3440FA15-FEDE-4C85-A5E6-AA4DC4715BE5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c0488a2cd73b740620cfeb58092f2e492b3ee42","datavalue":{"value":{"entity-type":"item","numeric-id":279411,"id":"Q279411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853468$715C3FD4-A1A5-4C1E-B00D-03199DF8851B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba2cb4144e61d542f3d47470faf20a6447a1c5ea","datavalue":{"value":{"entity-type":"item","numeric-id":1633212,"id":"Q1633212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853468$13374E8D-1F87-46F8-B9DA-C20F9C5E5E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"75da791d606dec6f4d0e68bb295d24ee07e6c4c7","datavalue":{"value":{"entity-type":"item","numeric-id":409737,"id":"Q409737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853468$1BF14164-B810-4D88-9AA0-12A61B15286C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"784d2dc06e2a3bb008e6a3a15801a0f0231d6262","datavalue":{"value":{"entity-type":"item","numeric-id":65161,"id":"Q65161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853468$733BF707-5A93-4544-B59E-D4F8CD9AEF9D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2e0e5bf6d0a9be8dc3d53decc24225862e3e6f9c","datavalue":{"value":{"time":"+2006-11-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q853468$000C5842-307A-4C07-AA24-97FA25CC4F11","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853468$637474CD-1556-411A-AB23-3D93E5210CFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853468$49058439-63D4-481D-9DCB-1D01F4679275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853468$5FAB2A03-0DD9-4973-848F-3B412CACFE11","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"25e67f7b7b6d1219ed342352b704940f6b0f7997","datavalue":{"value":"5073333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853468$F45A546E-BCED-4767-9444-65405C2D8EC4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ef70beaae1d548d6d32bb08ac016112f60132c8","datavalue":{"value":"multiple-valued logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q853468$CFA1E20A-5465-45B1-BBB5-3322802E44D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d10476bbb8aff237933eef0aded1ae673c5851b","datavalue":{"value":"prelinear tied adjointness algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q853468$854556E4-9026-4D97-910A-8AFA36DDECF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bec6dac8174dd919ea6453d23e44243994d90f34","datavalue":{"value":"propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q853468$214B74BD-E329-46AC-B633-78B87531BFE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7227247e26a7a4e3cf718a9747f1fd0491872cd1","datavalue":{"value":"predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q853468$8E05B3B6-B5BC-4992-821A-BAA295C98432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"178aa8fa0c087612102670e6d0e56749d8bf252a","datavalue":{"value":"Henkin theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q853468$200648C3-0C01-4E4E-B138-5E7F4848B011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ecf978a28e5d1baefdbd10dbc4f102a6158a13","datavalue":{"value":"duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q853468$A2465B71-87FD-4D2D-B798-E655ACC37EF8","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":"Q853468$52515B7B-253A-4011-98BD-DC7B8D824A2C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dbbb57a0760d7b5a2d419187080e6930b4896392","datavalue":{"value":"https://doi.org/10.1016/j.fss.2006.03.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q853468$95A3F42F-1855-4C61-A6E7-763F75680FE2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fa57a855a894d7104512624bcbf1ea7abf3e03ac","datavalue":{"value":"W2109979137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853468$4EB65936-ADEE-43E4-9022-68CF1C108A7B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4cf4b191346fb9a4e7604f49b8b193977a1c120","datavalue":{"value":{"entity-type":"item","numeric-id":1811575,"id":"Q1811575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853468$672A1223-65A3-4D59-BCEA-CDBCA5355E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b21a46b53e0bc48233db6f19f8a64be4194c859","datavalue":{"value":{"entity-type":"item","numeric-id":1349199,"id":"Q1349199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853468$CC8A0138-5E27-4271-984E-56338B50138D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2393b24e4a16f9cc72a353f9fe927724d4f33c6","datavalue":{"value":{"entity-type":"item","numeric-id":4434613,"id":"Q4434613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853468$78D4DE6E-F368-446F-929E-71FBDFA8E12E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ad1ca0c030444e5bd3d91e22695ff17d7ccef1","datavalue":{"value":{"entity-type":"item","numeric-id":3898534,"id":"Q3898534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853468$2162BF8A-E7D0-4105-9E68-AD58D9A57D18","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":"Q853468$6C76F4E6-93A2-403E-B1ED-1358855DE70F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853468$607EDFAC-B982-48FF-82A8-D0C0DA7E8B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66dc5e0def89d29d50e2faebc8f9ce17e86fd467","datavalue":{"value":{"entity-type":"item","numeric-id":4836218,"id":"Q4836218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853468$6DF59393-D3B6-4146-A8F7-D7459F14EC00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2f10c330d752e5090a2fd7c32459045a9353cac","datavalue":{"value":{"entity-type":"item","numeric-id":1604791,"id":"Q1604791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853468$D9D31AB5-3757-41D5-9087-741283BC1BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb2a3d4f3ca2535cd7a1259c92e782d2dce19cfc","datavalue":{"value":{"entity-type":"item","numeric-id":1193647,"id":"Q1193647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853468$EF9ABC49-6D58-4FAE-8FB1-4BCF33CAE729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"539bc1d83c0a4406f8c264dfac27621d15255957","datavalue":{"value":{"entity-type":"item","numeric-id":1867660,"id":"Q1867660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853468$0BDF859C-8756-4024-BDDA-FCF52AFFBD27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"895dd92e3bb98f346ce18e6ec20d9cd8a4625876","datavalue":{"value":{"entity-type":"item","numeric-id":2568232,"id":"Q2568232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853468$84061616-D4BC-4590-A3C9-33788A851B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95337da337d1f383360d6c44d0ce9f26f30e00c6","datavalue":{"value":{"entity-type":"item","numeric-id":2492316,"id":"Q2492316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853468$27A91097-9BC8-4E34-B556-4A4998404D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c8578012b3b86ed983646275e6747df9ccf1c35","datavalue":{"value":{"entity-type":"item","numeric-id":3874181,"id":"Q3874181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853468$56EA7D3E-2BE7-4FCA-96B7-A12582A16996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853468$4B8666A5-7877-4F0F-9366-4F58960A010F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1d2906c8eca1568a90fb1fe2cc289c4593589dc","datavalue":{"value":"10.1016/J.FSS.2006.03.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853468$48273C73-854A-48CA-962C-BBF85F023333","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ba0234d12a45ef7d6df41a6db22237960d3ee63","datavalue":{"value":{"entity-type":"item","numeric-id":2492316,"id":"Q2492316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff1acdf58e12d88eb3bfe765cf651b9065eb7ee7","datavalue":{"value":{"amount":"+0.8703492283821106","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":"Q853468$EBDFF2CB-E074-4106-9341-A0CA3FDDB9CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76d551db88def2175f42ddabebe2633de734b9c9","datavalue":{"value":{"entity-type":"item","numeric-id":1811575,"id":"Q1811575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"732d42bd981b6f1ad5cbdd925be2b2862c5d8d2e","datavalue":{"value":{"amount":"+0.8116543292999268","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":"Q853468$866640B5-7A6D-4906-ACD5-E8247E09BACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad9e0ebc4ba764053a16c7e311f776d61dc994cc","datavalue":{"value":{"entity-type":"item","numeric-id":1867660,"id":"Q1867660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcccfab9ee6cf61c9e3796cb57c4255a01c6f14d","datavalue":{"value":{"amount":"+0.7739865183830261","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":"Q853468$7CC53CAB-9F97-492F-98C9-3BEBA72EB5BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48000d681563df99f43fc95220e36f3b76644d80","datavalue":{"value":{"entity-type":"item","numeric-id":4415709,"id":"Q4415709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa8008e33dbecc8dc958c5d60bfe2007f2f7fe94","datavalue":{"value":{"amount":"+0.7631505727767944","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":"Q853468$5FF0A882-03CD-474C-A1AF-F9D29B48E469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ecf103ee564373b033792258ee4984e5ba1f730","datavalue":{"value":{"entity-type":"item","numeric-id":4615957,"id":"Q4615957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa8008e33dbecc8dc958c5d60bfe2007f2f7fe94","datavalue":{"value":{"amount":"+0.7631505727767944","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":"Q853468$BB6887C7-CBD0-4E31-868D-4B4391491749","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The logic of tied implications. II. Syntax","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_logic_of_tied_implications._II._Syntax"}}}}}