{"entities":{"Q2345400":{"pageid":2356143,"ns":120,"title":"Item:Q2345400","lastrevid":52266563,"modified":"2026-01-21T07:41:01Z","type":"item","id":"Q2345400","labels":{"en":{"language":"en","value":"Extensionalizing intensional second-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6438796"}},"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":"Q2345400$6F0DBF70-85BB-4388-B449-C65DE89C3AE7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"76a4072d28c0b88f14c7153efddf8bc743139e45","datavalue":{"value":{"text":"Extensionalizing intensional second-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2345400$E32DE4EB-2160-4E83-8416-FCC56F320CD5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e1d0e265e11a0821ca2954e9b46017543bd00660","datavalue":{"value":"1371.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2345400$1D3C5E92-2FC7-4451-9A24-B72B1561DB8C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"529ee79fdc452be18119086bb15173d218daab57","datavalue":{"value":"10.1215/00294527-2835092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2345400$FC7DB647-261E-41AE-ABCB-E7BCBD9B1DC3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5f9fe3817d30f531ce47c9e7db74e352a3f4c5c","datavalue":{"value":{"entity-type":"item","numeric-id":2190214,"id":"Q2190214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2345400$6291A4C0-15B1-43D1-815A-6E430E4E77B7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2345400$BBECAD28-F4FD-4267-A09D-041A108F50DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ccdd437656ae39926623dbd87596e190124636a","datavalue":{"value":{"time":"+2015-05-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2345400$974DE08E-EED1-422E-8646-7E883BB901A5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ec5d022c0dc0a5c6e5f31573ac63cbcd5233374c","datavalue":{"value":"https://projecteuclid.org/euclid.ndjfl/1427202982","type":"string"},"datatype":"url"},"type":"statement","id":"Q2345400$7650E584-6BD1-4D24-B70B-1A68BCD6F40E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2345400$F338B51D-2FDE-4317-8D72-D541AB5C67BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2345400$4F29175B-D82E-4AB0-BACB-25578B2B014D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2345400$D6F964A5-50D5-4FC4-9E0E-A716CF22BF31","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64803c6e11b7f4b821a3aae2c0b9ec992dd822cf","datavalue":{"value":"6438796","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2345400$180ADF8A-841E-4153-A3F3-C372974C2E27","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fd7c62f64fded7c9602a5c3c53d9233f19cdca6","datavalue":{"value":"modal set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2345400$C24F71AC-799B-4FFC-854A-5C1C8F3017ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2345400$624A26EF-2E9D-4AAF-BBAC-BA8F05ECDC99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e01102226a676edcf182ed47a9896bd215db761","datavalue":{"value":"second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2345400$AAE3132D-310A-4E70-96C1-AA546FC3C8E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d22b4f69f927e8f711cbc5afb1348950c9b9af7","datavalue":{"value":"plural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2345400$196391F3-43E4-466B-987D-BEADDAC6613C","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":"Q2345400$53D3F348-1A27-4408-A0FC-4BBFEEBD19D3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8cd939038c82583f994df52ddcaf070bb4309c6a","datavalue":{"value":"W2008685607","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2345400$F85DA4DE-2E9A-48FB-8F76-322BCB2EC9A8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a855c24bd9f28689a988934ab23467a54a160c","datavalue":{"value":{"entity-type":"item","numeric-id":4670606,"id":"Q4670606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2345400$DEAC7345-47D6-434C-BFBA-DDE1ED6D6FA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9757fe2fa50aa39c57e0230eb0b56148bd98ee00","datavalue":{"value":{"entity-type":"item","numeric-id":5275699,"id":"Q5275699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2345400$B88CF5FC-A01C-4F41-98D1-D2C5D1B5F5A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd82ea040a9f1782add1f3a94f1e7e0884fe18e4","datavalue":{"value":{"entity-type":"item","numeric-id":1860973,"id":"Q1860973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2345400$FC9A71ED-8C75-44F9-A272-12EB14D7C6E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7004c2dfe2eea7ffccb43aed8eec602796dbea2","datavalue":{"value":{"entity-type":"item","numeric-id":4539489,"id":"Q4539489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2345400$AFA17B6F-CACF-4E69-B433-F3999A3C8244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbfe267a3511d814b94f81fb39664317a6644ee6","datavalue":{"value":{"entity-type":"item","numeric-id":692188,"id":"Q692188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2345400$183CD7BC-85A6-43D2-B418-BB3E93B35020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b781d7d86c765435808eb8a4119aeba7035187f","datavalue":{"value":{"entity-type":"item","numeric-id":801894,"id":"Q801894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2345400$36057F2C-38E0-4882-A82A-1459F8A00806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de86ebad5bb7693e00bd3a74e9c19fbaad80d92a","datavalue":{"value":{"entity-type":"item","numeric-id":4459681,"id":"Q4459681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2345400$9529B732-0532-4D29-9032-5EC6CF507831","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2afc6da535e0471eba858128c9bba083fb8c43f2","datavalue":{"value":{"entity-type":"item","numeric-id":5006818,"id":"Q5006818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97a93ec7b0d855d329a17fe896c4895cfc1ea67c","datavalue":{"value":{"amount":"+0.7237681150436401","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":"Q2345400$7CB60E5D-954F-4221-9B2D-15289D04A9F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c01eae986230d20955c3bb1292bb45818eeb1a9","datavalue":{"value":{"entity-type":"item","numeric-id":4463930,"id":"Q4463930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f4dee6b683486a1463fc13c1936c5b0942cda6e","datavalue":{"value":{"amount":"+0.7131038308143616","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":"Q2345400$AB85ADB6-4F7A-42C0-AEB4-B26CDE6DC705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1c8d33a70cc87972a5377e21500222acf205d13","datavalue":{"value":{"entity-type":"item","numeric-id":1073008,"id":"Q1073008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"974562334f6a6c9ff0e81b5b70e8a333ac918de6","datavalue":{"value":{"amount":"+0.710765540599823","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":"Q2345400$3D89B540-1DE9-4C34-9258-C997F2542C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4303c058acee61539e5fac381b01ec0191842c33","datavalue":{"value":{"entity-type":"item","numeric-id":3981451,"id":"Q3981451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ff0921935fba7b6ac4c63fdde09b721894582b2","datavalue":{"value":{"amount":"+0.7089959979057312","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":"Q2345400$8DD8EE28-2C2E-419B-ADA7-3D7B13273B5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a5459415acc6ab60a7d5aefc6930c4ba2f9a348","datavalue":{"value":{"entity-type":"item","numeric-id":4328795,"id":"Q4328795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc61639d9e2332d093d1f26ebfd5381da32602bd","datavalue":{"value":{"amount":"+0.7073740363121033","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":"Q2345400$8660ACC9-8100-49E1-B111-92EE63800761","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2345400","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2345400"}}}}}