{"entities":{"Q2695031":{"pageid":2705775,"ns":120,"title":"Item:Q2695031","lastrevid":47833603,"modified":"2026-01-02T20:02:52Z","type":"item","id":"Q2695031","labels":{"en":{"language":"en","value":"Extensionality and logicality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7669987"}},"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":"Q2695031$5C602B0D-4F91-46C8-8DA0-6BFDBA1227B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9399bdb1a73ac32ccd217c91a686fa6f64201f11","datavalue":{"value":{"text":"Extensionality and logicality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2695031$5022A13C-4EB1-4223-BC01-2A8181706C36","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0ccf8a6e98e64e95158c70ed5b795079a4f0c69","datavalue":{"value":{"entity-type":"item","numeric-id":484188,"id":"Q484188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695031$810114EC-B09E-447D-A1FE-DA05095DD38C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695031$E1524353-5B18-4C0F-A6E6-24D21123264C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"55ec59bb5a9318d90bccd7149395feea6793e4e5","datavalue":{"value":{"time":"+2023-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2695031$279DE4C3-AEB9-4EB6-BA2E-2613CA7C8CCA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2695031$382315CA-64FD-4331-B450-4650E0CF9F4F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"84c8cfa2ce537b9a92b5432d6c5de5f1ac9daa73","datavalue":{"value":"7669987","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2695031$0AD61ECE-369B-44A6-AC2B-4898B86F0677","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"305f396544750615b8805407cb26020e34d8a8c3","datavalue":{"value":"logicality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2695031$5B0088C7-3B40-4726-A844-7BCA6DE134F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f99574641e08a2e39158170daa1a3e90311229a7","datavalue":{"value":"permutation invariance","type":"string"},"datatype":"string"},"type":"statement","id":"Q2695031$E68F8189-D7B4-464C-94E2-AB21958829E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d6a1e3f27a4846c99cd9693c30c88919adf693d","datavalue":{"value":"Tarski","type":"string"},"datatype":"string"},"type":"statement","id":"Q2695031$6C191475-D505-495F-A277-C4017140FC1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f713442910a0dddca7f2b48be659d4371fefdaa","datavalue":{"value":"Sher","type":"string"},"datatype":"string"},"type":"statement","id":"Q2695031$714500ED-807C-44B2-A934-F188A3294903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a74970b27a4aa7af0a2bd47ab1d15de90e1f268","datavalue":{"value":"Barcan Marcus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2695031$9919979C-5296-4AA4-9D39-318D2A11F1A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ca77418be81cfd12ac309aeee551470efbe64c9","datavalue":{"value":"extensionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2695031$95E26A21-8D22-4945-82EE-64466D97668D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc020f1ad5aaaa4753caa9663fe612024f6ac304","datavalue":{"value":"form","type":"string"},"datatype":"string"},"type":"statement","id":"Q2695031$5E08527D-04EA-4E0E-BFB4-F6EC0038F84D","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":"Q2695031$380F5228-326D-437F-ABDE-0EC50DFA7A5E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3231860107681251d774df1207f971e851171ccb","datavalue":{"value":"https://doi.org/10.1007/s11229-017-1447-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2695031$00F6FC33-5B00-4675-A7A5-BEACDFE35495","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"836525776f97d4f191c8f72bfd29fd9822a2b8fd","datavalue":{"value":"W2617711138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2695031$B45C31C0-BF51-40AE-9E9F-D3A73767F268","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9546242e17c0eb644ff731f36cb5ca8c0dad79dd","datavalue":{"value":{"entity-type":"item","numeric-id":5387295,"id":"Q5387295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695031$C4C69B79-CF0A-42E3-AF47-50D33C115815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c6c308928c5651ddee5a144f1d1cc0e3df722fc","datavalue":{"value":{"entity-type":"item","numeric-id":3417346,"id":"Q3417346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695031$B417B28D-BEC0-4A85-AFAB-BC56B68A846B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b248c9a41ac79c43d6cfda81503444339c93564","datavalue":{"value":{"entity-type":"item","numeric-id":5791196,"id":"Q5791196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695031$506680FE-A56A-4E94-9F99-C4FAFE4BB5C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b21225b3c93355a1edbef9af76d5006098edd92","datavalue":{"value":{"entity-type":"item","numeric-id":1217694,"id":"Q1217694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695031$8C85FA07-2AC4-4006-8256-8969A8CCA033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f9c621289145389be4c5216ec9442d6665b7d8c","datavalue":{"value":{"entity-type":"item","numeric-id":600847,"id":"Q600847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695031$2D980974-4392-49E4-9497-87FEF500277F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca29420f9cc408f0138088d4e64f1c7cde7e7407","datavalue":{"value":{"entity-type":"item","numeric-id":5937844,"id":"Q5937844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695031$24629496-3E11-4882-8572-DF3D77B445A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb0495b50e16cfa14906a11769d92f1865fdafa3","datavalue":{"value":{"entity-type":"item","numeric-id":976533,"id":"Q976533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695031$E8174BD9-53FA-486F-97FC-CADEA830294C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd0842ce128cfedce92388e33aef9ec54f9d18a7","datavalue":{"value":{"entity-type":"item","numeric-id":4189277,"id":"Q4189277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695031$8038AB6B-6289-440B-B0EA-02E08820CE12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9446fa720164b7216529073e8afe913b32caa986","datavalue":{"value":{"entity-type":"item","numeric-id":1131502,"id":"Q1131502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695031$C00F8F44-B162-4120-918E-325E7C1DE653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8931ef9b5688f98a17057027483de73493b2795c","datavalue":{"value":{"entity-type":"item","numeric-id":5834304,"id":"Q5834304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695031$88A510AA-6A29-4318-B22F-89D0664389A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94b214becede352c585acd3b825eb399de148f17","datavalue":{"value":{"entity-type":"item","numeric-id":5961450,"id":"Q5961450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695031$3A39B7DB-0633-4A08-9406-FA5B7A16ED76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"576ddf57b680368e82e253537b57afa6b0e54bee","datavalue":{"value":{"entity-type":"item","numeric-id":484189,"id":"Q484189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695031$85582203-122A-4531-8912-681FDCE7C71F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edcaae38d912716db34e44362eed7f4a57ac1be0","datavalue":{"value":{"entity-type":"item","numeric-id":4227549,"id":"Q4227549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695031$F80CC817-5E5C-4335-8445-1D431F6DD30D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ec8794d322e4954e33ba9612c0cf143a009f3ae","datavalue":{"value":{"entity-type":"item","numeric-id":2888505,"id":"Q2888505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695031$9202D93B-F88B-48A0-A7C6-5D5ED8C853D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58be5eea238f1affca8c79e342011de3a217de78","datavalue":{"value":{"entity-type":"item","numeric-id":4894732,"id":"Q4894732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695031$3D57783A-AEAB-449F-A8D2-D41A53D94724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5341644ad5fdd77b23e88f532d502538ca6bccb","datavalue":{"value":{"entity-type":"item","numeric-id":5300086,"id":"Q5300086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695031$4423DF1B-D066-4416-B614-64CCDE97C847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cea366c18f6580ba2ca453e5db5d695103cf0d5","datavalue":{"value":{"entity-type":"item","numeric-id":3758801,"id":"Q3758801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695031$D27BC361-B29F-44FA-967A-1582FF91F13A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2710d32adcd35ae6c40fe86935d3b1d1fd127a7c","datavalue":{"value":{"entity-type":"item","numeric-id":4040000,"id":"Q4040000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695031$B7CB4922-9B47-4918-8052-35E16B2EFE0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2abd41d747ddb3dbe2ccb9ebc7b621dd443fa071","datavalue":{"value":{"entity-type":"item","numeric-id":3992728,"id":"Q3992728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695031$6B81202A-606F-4361-92E4-1BB1D8A4DA47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e3287daf397ff62a75ce9a8ada916b8b96cbc40","datavalue":{"value":{"entity-type":"item","numeric-id":2973400,"id":"Q2973400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695031$751A58C3-421B-46CA-B118-BFD2CF760A14","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3eb2d47e4c65f81cc0236cb8d32ec518142d90bc","datavalue":{"value":"10.1007/S11229-017-1447-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2695031$0F1AD75F-D7ED-4CE5-922E-BDBB26405074","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":"23c9fd7706d688fb23ea2b1a4fe43ccea0949ce3","datavalue":{"value":{"amount":"+0.7632427215576172","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":"Q2695031$DF299152-E77D-4250-BE5E-60A9533B00A0","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":"d3dfeae845c7201f0423edbe2d2afc69a427919d","datavalue":{"value":{"amount":"+0.7618553638458252","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":"Q2695031$78A80EFB-3EFE-4B4C-AB9D-8400A2C91365","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":"66bc4840235e5bff656a6117ec07d1a70930aed6","datavalue":{"value":{"amount":"+0.7515400052070618","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":"Q2695031$F2C106AE-4120-4CA6-92B7-1B59A35D3578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4eb524a08880e462e6fa427e7fab6099d727874c","datavalue":{"value":{"entity-type":"item","numeric-id":4428876,"id":"Q4428876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f840d2ed8185b193b06a8b36cfee52d0c9782f4","datavalue":{"value":{"amount":"+0.7426630854606628","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":"Q2695031$7D86A2EB-3B65-467B-B0F7-864874F44866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a113ce00ab1e737de4438a336c08cd93ebedc26","datavalue":{"value":{"entity-type":"item","numeric-id":1405848,"id":"Q1405848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f840d2ed8185b193b06a8b36cfee52d0c9782f4","datavalue":{"value":{"amount":"+0.7426630854606628","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":"Q2695031$AA800C8D-6E7E-4CF1-BDD0-1694FE35DDCB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2695031","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2695031"}}}}}