{"entities":{"Q5961450":{"pageid":8138252,"ns":120,"title":"Item:Q5961450","lastrevid":46468149,"modified":"2025-12-24T20:42:26Z","type":"item","id":"Q5961450","labels":{"en":{"language":"en","value":"Logical operations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 980786"}},"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":"Q5961450$AC403BB6-65A3-479F-9007-A279BBDC7911","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a3b5d7650ceab7a48ba2ef8c260ad1f6ad730e78","datavalue":{"value":{"text":"Logical operations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5961450$315BB05A-ECA0-4494-A870-CFB8BC808226","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5333e58e2633c0e490d887fba174492e8f2d3e7b","datavalue":{"value":"0865.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5961450$F0718468-70B0-4C81-9588-12FDE5DD736A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"16a142b15fef8554dd5a75d7f522b5d177b303b0","datavalue":{"value":"10.1007/BF00265253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5961450$F41027E6-DEE7-488C-B4B8-1C57FBE2F0A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"892a2f763853382446e3f033a390a2d640eb6e2b","datavalue":{"value":{"entity-type":"item","numeric-id":242519,"id":"Q242519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961450$3CED81D4-883C-48E6-84E8-66A02E4CB943","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":"Q5961450$282641FE-25BE-4F1F-AB6F-2BB544EFA5B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e3320bcf2674d02af1cc97a966bd2bda166c3629","datavalue":{"value":{"time":"+1997-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5961450$65E6EDCE-C3B7-408F-899C-6FF8FE28D2F5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ba9d33b08ac438cc2187a3006c2014fd68488fe4","datavalue":{"value":"Tarski and Mautner proposed to characterize the ``logical'' operations on a given domain as those invariant under arbitrary permutations. These operations are shown to be the ones that can be obtained as combinations of the operations on the following list: identity; substitution of variables; negation; finite or infinite disjunction; and existential quantification with respect to a finite or infinite block of variables. Inasmuch as every operation on this list is intuitively ``logical'', this lends support to the Tarski-Mautner proposal.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5961450$0A4FA999-567C-436A-91F0-495B96974B11","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5961450$82AF610A-F601-48D4-AEF1-FB9A85C14BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5961450$96D247BA-A698-47F6-B884-D072CB23F432","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e5cf491318f8b6c974e06f06ec24e6d593140d18","datavalue":{"value":"980786","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5961450$709B424D-49EC-4E86-9D3C-48CB05E7E4B7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbf537dbec71095f9e06a79b6d427b8aa7fcfd79","datavalue":{"value":"infinitary logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5961450$FB371AF9-38A7-4E9F-B432-3DE4F08E014A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6e2e9a67648a3d7f6973d546f5d3959992db70a","datavalue":{"value":"logical operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5961450$6A39C805-E317-40AF-99FB-48B7F62DEF1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"823f19c0f7bbc7860224021b7af251265e85cf82","datavalue":{"value":"invariance under permutations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5961450$85EE18D8-7A0E-40C3-83B6-CFF4FAC97C2A","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":"Q5961450$122DA07F-4B5E-4C56-B279-D039C36D9570","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6fa8e6b820d9ac893df2e44ebbb6164ffe5e6111","datavalue":{"value":"Q55970204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5961450$B5A543BB-1B1E-472A-A172-EAB9FE6B560F","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"9736254cbf51fa4d69cf72de13d84bdfdd1f09b9","datavalue":{"value":"journals/jphil/McGee96","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5961450$482DC89B-A5D7-41D7-89C8-8C47D80FD2B8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47c0d6e7f06ed5fbced8581bc9e7097f82dc4296","datavalue":{"value":{"entity-type":"item","numeric-id":5387295,"id":"Q5387295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d87ba0d9da3f08f7f63110fc3aa55ef9b228c149","datavalue":{"value":{"amount":"+0.8104638457298279","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":"Q5961450$C7C8B8AE-1E95-49AB-97CC-1B47AE3E96FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"143ddee9cdd87941c3e8dad1a31d51d36ab9f72b","datavalue":{"value":{"entity-type":"item","numeric-id":5937844,"id":"Q5937844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a15d0dc508abb5d7c326124c5f2b17e3eaec11e5","datavalue":{"value":{"amount":"+0.807126522064209","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":"Q5961450$E72B646B-F4CB-4944-8499-94AFED6587C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb4cc8f2289db859d0d8855dbf7f281d52e68143","datavalue":{"value":{"entity-type":"item","numeric-id":861521,"id":"Q861521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5a69d1c30355ac254c900ccbd352347b5a673da","datavalue":{"value":{"amount":"+0.7743259072303772","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":"Q5961450$F070A58C-3E18-41C5-9229-6ABA87DC267E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b15834dd0eee5f1565bad74deca204dc9cec473b","datavalue":{"value":{"entity-type":"item","numeric-id":5957908,"id":"Q5957908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43501f5090343c85fdb002fec8dea376ef8dfd26","datavalue":{"value":{"amount":"+0.7022668719291687","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":"Q5961450$A4D9FB73-CBF7-4DD9-B1B2-E83D110F50AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5961450","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5961450"}}}}}