{"entities":{"Q989416":{"pageid":991264,"ns":120,"title":"Item:Q989416","lastrevid":65725302,"modified":"2026-04-12T04:56:43Z","type":"item","id":"Q989416","labels":{"en":{"language":"en","value":"Pure second-order logic with second-order identity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5773616"}},"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":"Q989416$39B1F867-7A7E-4463-B930-EC72FD29CEFD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d55d1b3cc920e1a803a28f36a858f286ec89375","datavalue":{"value":{"text":"Pure second-order logic with second-order identity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q989416$26C59BFF-006E-47AA-AD1F-689C53388D50","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a03254fbbb30e0a0ff14fab870910b6832c708a9","datavalue":{"value":"1211.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989416$BB08F629-70CB-4083-8D3F-D8A9F3F1102B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ec5a1857c416ca5ac11b5cd093aa4dbcd43d205","datavalue":{"value":"10.1215/00294527-2010-021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989416$408FD530-3979-4837-97FA-5B3D594D5774","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"adbeca5c6939aa698fa127a0a071939116a774b1","datavalue":{"value":{"entity-type":"item","numeric-id":929633,"id":"Q929633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989416$264D544C-DFAF-4274-AC96-9AC9E2F32FA0","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":"Q989416$F24BB8F4-EA13-4B9A-A677-74FCC58CA1B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eca87747cfd61cbf3bdf39bd7734ed4289af3510","datavalue":{"value":{"time":"+2010-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q989416$3E08F646-BCE0-4857-BA1A-03C94A6FAD74","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989416$FDB90927-8A82-450B-A4FB-5953CD7837D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989416$40B19276-621B-4798-880B-0ED3B7EFE2FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"517e257347f8561187425c5297e5387d8b8f1429","datavalue":{"value":"5773616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989416$9EAB7368-BE80-492B-8A7D-6393F9DF2019","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e01102226a676edcf182ed47a9896bd215db761","datavalue":{"value":"second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q989416$A9E2F69D-001E-4E6C-83DD-849E88D79972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd171db3caf12da6b730d6dae5f3c71aec70021a","datavalue":{"value":"\\(n\\)th-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q989416$693FBAE3-6906-4DB8-BF24-A0E15CFBCBB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3f3d778fa2fb2222339089d45252c16d92a93d4","datavalue":{"value":"elimination of quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q989416$2A8D5392-C50B-4BC4-810B-D0668E358E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f515edcbce20c6d04416ddc6b94e729d386d210","datavalue":{"value":"compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q989416$DAC8C590-E388-4A66-BDFE-A168AACBC5AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"172e7f665be53a4fe570ec9a980b390f34f0bc9c","datavalue":{"value":"decidability of validity","type":"string"},"datatype":"string"},"type":"statement","id":"Q989416$A7B693C5-48D0-4189-B905-B3AF970F7B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2070fc5df9433d476c5377198a03336bbaf3834","datavalue":{"value":"model completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q989416$CDD7D307-0AD9-42D7-8471-7F1E56C31E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8cba0e17052a554f09e9a7e4a531f15f846439","datavalue":{"value":"second-order identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q989416$1305A2A3-EAAD-4EC6-8FFA-FFF5121CEE65","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":"Q989416$802932F0-9CC2-432E-B0D9-5ED7F57A6A83","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9a63c235c7a349aa484d3000b9984332ce367663","datavalue":{"value":"https://doi.org/10.1215/00294527-2010-021","type":"string"},"datatype":"url"},"type":"statement","id":"Q989416$939B5DC9-3562-45D0-97CA-7EE75AE5DCDD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c0ba28276d2c184b51bebcd5977874c8435e3dc6","datavalue":{"value":"W2090627294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989416$6AFE6220-8B5F-4CA6-8FE6-CD244E5CEF6B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ff503b436f52c14c7b1250081c36c6f5d1197ad","datavalue":{"value":{"entity-type":"item","numeric-id":1203783,"id":"Q1203783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f3aa6cf6d29c7f0ca269d1763add0824e20afc9","datavalue":{"value":{"amount":"+0.95079046","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q989416$08261C7C-3A8D-4588-9561-6A588C833315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64d9dcb91b23bd12df086c4bb96c1b130da3b384","datavalue":{"value":{"entity-type":"item","numeric-id":4523459,"id":"Q4523459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab0a351e6f09d1d192196b6bf6cc023866de2ba0","datavalue":{"value":{"amount":"+0.90228826","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q989416$93255610-E421-4740-81DE-A5ACFB438A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"707db1981fe6eab7fa775f0479ebe8e86ba0313d","datavalue":{"value":{"entity-type":"item","numeric-id":4428872,"id":"Q4428872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d9a31685e7b8ebf74f872f31009e1567d92445f","datavalue":{"value":{"amount":"+0.90166426","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q989416$D53F16C8-DB14-451D-9BB3-E13623C7E725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d664edec390a3ead36486b1627178855cad7cca","datavalue":{"value":{"entity-type":"item","numeric-id":3643314,"id":"Q3643314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3b54f14cde486a0c51bf2131c8045c9b15eaf3a","datavalue":{"value":{"amount":"+0.9011034","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q989416$2FEB7ECE-FCA4-4186-925A-DCA10D3DEFCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cb738c53204e81318803da94a8f152e4300b3d9","datavalue":{"value":{"entity-type":"item","numeric-id":2996331,"id":"Q2996331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f5fedca9316c403a9e316b8462aa17eae64452d","datavalue":{"value":{"amount":"+0.89403355","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q989416$52702004-D129-4CCF-8AD4-C543CDAA8B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3639b2965d16e020aa6299f37609bcf19803df9e","datavalue":{"value":{"entity-type":"item","numeric-id":4993769,"id":"Q4993769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11e7e5f873bd73d673d204aa6930fda294be6667","datavalue":{"value":{"amount":"+0.88706285","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q989416$7FE17AA5-B0B2-41E0-A3AF-6AAA145DD556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1719b3e43a422eb0da04125791729778cfe78414","datavalue":{"value":{"entity-type":"item","numeric-id":3586049,"id":"Q3586049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0e6d70e1ccc04da369e4b2f465f0c9d158e99dd","datavalue":{"value":{"amount":"+0.88609165","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q989416$F5F11011-5B76-43A3-805C-4FA0F2A13AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5eb07dcb2f22fed3fd3f3b504542c918a76e021","datavalue":{"value":{"entity-type":"item","numeric-id":2053351,"id":"Q2053351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d83c0c74d4afa63c309f13fbd2bb0f4b8a298544","datavalue":{"value":{"amount":"+0.8855905","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q989416$37CD1A74-21F4-4727-BAA8-D6D23702FDCD","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":"b92f1b688872d1a5871db15a53cefc036af1a665","datavalue":{"value":{"amount":"+0.88542664","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q989416$02807675-AD5A-49E0-B7F0-AEEE414C312E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7aa40b0d0f4c8dac61ac2e55b9f8e6ea47a5cb6","datavalue":{"value":{"entity-type":"item","numeric-id":1702982,"id":"Q1702982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bd0134f341cbcf2171d543f61c3274ff54abfc6","datavalue":{"value":{"amount":"+0.8835094","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q989416$CA2C0F89-2411-4068-B9FE-CCC4BF105400","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Pure second-order logic with second-order identity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Pure_second-order_logic_with_second-order_identity"}}}}}