{"entities":{"Q2345397":{"pageid":2356140,"ns":120,"title":"Item:Q2345397","lastrevid":52266554,"modified":"2026-01-21T07:41:01Z","type":"item","id":"Q2345397","labels":{"en":{"language":"en","value":"Boolean-valued second-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6438793"}},"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":"Q2345397$913FAA53-0A1C-4511-A8F3-4263E7571CA9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1cfae06eee22ca608c93c0cd3f4d7c765b9b8487","datavalue":{"value":{"text":"Boolean-valued second-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2345397$16A2645A-0A0E-44D3-9F2D-643F42C6E551","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"57c1f72158872e99e338be59fb413bc790f78b50","datavalue":{"value":"1372.03090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2345397$400430E7-8976-447A-A2B7-079DB1BF02D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"532a1d4b4398855ae24828ba0249a2695fb6315a","datavalue":{"value":"10.1215/00294527-2835065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2345397$5D5DD501-FFFD-4381-80C5-CB45DF7039A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d083af88838ea3a0072eef73fe4353bfc7a2fdc1","datavalue":{"value":{"entity-type":"item","numeric-id":636330,"id":"Q636330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2345397$EC2166E6-0F3C-4968-9DC5-66B586435C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54e91bc5e0f61733bb6f4b607f8868935e632c0d","datavalue":{"value":{"entity-type":"item","numeric-id":278764,"id":"Q278764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2345397$BF77516F-4A12-40FC-9BF4-ACB0B782EEAC","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":"Q2345397$FC212B33-B836-4119-9586-46E14034D5CC","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":"Q2345397$22053449-4A21-454D-B9A3-692CDC62CDCD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5668dd6c2c0e1a597b343e5600f701eade107eae","datavalue":{"value":"https://projecteuclid.org/euclid.ndjfl/1427202979","type":"string"},"datatype":"url"},"type":"statement","id":"Q2345397$AAB972B4-58D5-4415-848A-297CD8151B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d9e74e80b82eb36419011b2f6956600e56b5050","datavalue":{"value":"https://semanticscholar.org/paper/03f32df0b6f01638cb15134f562455c93f5fa902","type":"string"},"datatype":"url"},"type":"statement","id":"Q2345397$D1284566-A49E-4972-AE7E-4EAA882A7F8B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ade5fcd6cabec4fdda8e76313f50d1161a44465","datavalue":{"value":"03C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2345397$0E7EB62D-65BC-4C59-A243-FF4DC2FBC532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2345397$5E9F2B42-3B4A-4871-B68E-660E31BA1592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2345397$B98F105D-3E9E-44A2-95E5-49B69D8CF0B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"42fdadecf6419afb4e4bc033548cf432e9c8c3e6","datavalue":{"value":"03E57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2345397$53E4677A-D872-4AB4-9E04-D4D769C82E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd1ebd9dd665e7350d17a40eafa30f7b99b8c1e0","datavalue":{"value":"03C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2345397$A2E2DAA8-F945-40B3-995C-CCB0D9764C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2345397$52529B48-70C5-44BB-9422-BDAD1E3F0347","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2637fd79bbe8e1afc0ad3a9617caf3c42cc8b9cc","datavalue":{"value":"6438793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2345397$029025BB-631F-4247-81A1-FC6A637D9C11","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec07b421d591436a29a80bb03fddbff85696e166","datavalue":{"value":"Boolean-valued second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2345397$AA39A4E9-5F9D-41B5-9B4F-046F37F017B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"483bb737d3fa6904a96509bb626bafc8974ad850","datavalue":{"value":"full second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2345397$DEB0D482-73D0-4BCE-818C-33FD27E6BC5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1b94b3b16843dcae052a6d5bb3d3989c8a3d7c0","datavalue":{"value":"\\(\\Omega\\)-logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2345397$A0C2E5A7-72AF-4D59-8D04-93ED53BB59D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fb197d3f0f9279bd6ff4d4f1328c88d004cdfb9","datavalue":{"value":"Boolean validity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2345397$ED4EAA53-F41A-4BF3-AF95-6FF2F442BD10","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":"Q2345397$ABDD84E9-5E63-4DFC-ABC3-1474D60AA52F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8c93309d2f44eff7e4835a30d3b4d4418714dc31","datavalue":{"value":"W1973104056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2345397$1BF55E04-E23F-4056-B738-808836301075","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"83d8be2b827d3551c527a98a4664bd384c8eddd9","datavalue":{"value":{"entity-type":"item","numeric-id":3425057,"id":"Q3425057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2345397$7F01CD11-5DE6-47FD-9D65-EB138505F1B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b242fcadbc9a1ab6d9110fa15fe4698d81e79bae","datavalue":{"value":{"entity-type":"item","numeric-id":3710519,"id":"Q3710519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2345397$C656F4E0-1CF9-4853-B20B-92BC3817B74F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbdd618fcd9894cc43913fda0ef46a6ceb0f2e1","datavalue":{"value":{"entity-type":"item","numeric-id":5798021,"id":"Q5798021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2345397$B61AC1D9-F3A6-49D6-A507-9433B2C00E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04cf2170765230c90aa30ea8841b5d92c8800d94","datavalue":{"value":{"entity-type":"item","numeric-id":4830329,"id":"Q4830329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2345397$5B51F549-ADF0-4E51-8539-2405045B8BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9191407c842909c9e4f03d56f9a4647b8f6a1cbd","datavalue":{"value":{"entity-type":"item","numeric-id":2837232,"id":"Q2837232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2345397$F9E3C753-3398-41CD-B813-55BF68C37395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e921ebef9d571415a419b6f5e35c64bb8e9ff3b","datavalue":{"value":{"entity-type":"item","numeric-id":2561212,"id":"Q2561212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2345397$9631A96A-C7F0-4C1A-95BB-4DA8B4BA7E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abe9e3d52131032099759134248cf40dee0775cf","datavalue":{"value":{"entity-type":"item","numeric-id":4276535,"id":"Q4276535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2345397$16ED4236-A151-4168-ADFE-456406BC018D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f55333bc31a49bd999856db7ce681bd44da7180","datavalue":{"value":{"entity-type":"item","numeric-id":4291791,"id":"Q4291791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2345397$DA43EE46-55C0-4D41-A27B-49C7BDC97700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2345397$F0030529-4BB0-460D-901E-9FA99EAE2654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0321996845ea96dbaa5178ba503fe2fa1e8f3866","datavalue":{"value":{"entity-type":"item","numeric-id":3399177,"id":"Q3399177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2345397$F7FE25BA-803B-4AFD-94FF-66B2BDB6E2F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"590d4ee1846fa856c6a8e495485ffc2957024707","datavalue":{"value":{"entity-type":"item","numeric-id":4899164,"id":"Q4899164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2345397$07075C32-FF34-4423-9791-5984AD69F796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2b44908726a3d1b53611d7d92add0b54887cb7d","datavalue":{"value":{"entity-type":"item","numeric-id":5422300,"id":"Q5422300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2345397$D0ADE74B-5899-4CA5-9FEB-BF80B4950F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1715b21d3827201f2954c42ede5da55060c37cd4","datavalue":{"value":{"entity-type":"item","numeric-id":3053906,"id":"Q3053906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2345397$ABE41088-A14B-4F43-8F81-ED4180BC1C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"174d18be49fcc8f81a1d06ff5f29cdffc006d6d8","datavalue":{"value":{"entity-type":"item","numeric-id":5388758,"id":"Q5388758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2345397$C68EC9EE-9B98-4634-8C39-BC2E1881A67D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5663d6618ea6938b25947a77f3885e22429baf5d","datavalue":{"value":{"entity-type":"item","numeric-id":1305164,"id":"Q1305164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2345397$EA61F551-9504-4EA0-A8DA-88773C5A815E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18420f2ec556e71b590bb5270e21b91ac7856793","datavalue":{"value":{"entity-type":"item","numeric-id":3094356,"id":"Q3094356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2345397$5143C7B2-264F-4168-AAE3-357E25C64F11","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f97f3fa462d72c686b4fd7737c0ee552ee92a7e","datavalue":{"value":{"entity-type":"item","numeric-id":4532188,"id":"Q4532188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"101cbf4124266e620729a5db690a243b5eeb0621","datavalue":{"value":{"amount":"+0.7019885182380676","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":"Q2345397$281D4658-5EF6-4227-AC08-6A39CA81C6A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d666a24fd79cf133677a0363bb548e9d6a15bfa1","datavalue":{"value":{"entity-type":"item","numeric-id":2282614,"id":"Q2282614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"101cbf4124266e620729a5db690a243b5eeb0621","datavalue":{"value":{"amount":"+0.7019885182380676","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":"Q2345397$7A777B71-EE48-400E-A5EE-B777CCA3B9E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a19845d724d90249e2478186a8da338fd5f450ff","datavalue":{"value":{"entity-type":"item","numeric-id":1102273,"id":"Q1102273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58bc08897b878ea0ab4711d8d508520b9d562c9c","datavalue":{"value":{"amount":"+0.6996665596961975","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":"Q2345397$13B9FAC0-B719-4BC6-B2EF-67226D59AA21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1f726107eb294c192c485b3baef0ed0076ebbf8","datavalue":{"value":{"entity-type":"item","numeric-id":5305552,"id":"Q5305552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50fa7e8383cce1d9f7be5e8dc5c660f132ef39e6","datavalue":{"value":{"amount":"+0.6959152817726135","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":"Q2345397$55ECF482-B7C5-4BFA-8131-B76BBB891043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb713c0f86c5205d131ff1adca4b8f880fdd3428","datavalue":{"value":{"entity-type":"item","numeric-id":4970044,"id":"Q4970044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23676f81abb418008c5d8991f613844c9e1c58f4","datavalue":{"value":{"amount":"+0.6841341257095337","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":"Q2345397$6E3BB225-D592-4AF6-A0AD-54A23B21BB92","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2345397","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2345397"}}}}}