{"entities":{"Q4867408":{"pageid":6896988,"ns":120,"title":"Item:Q4867408","lastrevid":90908105,"modified":"2026-06-04T21:45:12Z","type":"item","id":"Q4867408","labels":{"en":{"language":"en","value":"A NOTE ON THE ASYMPTOTIC PROBABILITIES OF EXISTENTIAL SECOND-ORDER MINIMAL G\u00d6DEL SENTENCES WITH EQUALITY"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 850777"}},"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":"Q4867408$C730813D-D148-4B4F-B42C-4EEBB1FF6454","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a368588f69d2003daf585d15e87bd7fc878b3095","datavalue":{"value":{"text":"A NOTE ON THE ASYMPTOTIC PROBABILITIES OF EXISTENTIAL SECOND-ORDER MINIMAL G\u00d6DEL SENTENCES WITH EQUALITY","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4867408$68582211-F1C7-4834-958F-0C4095230B5E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f46b695e4e44531ec2116b0c6037dc4496553133","datavalue":{"value":"0839.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4867408$40D41957-CD7E-44FA-BA43-6C629B88068C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b7d672039f43bce959c529b608fce45df1c225ef","datavalue":{"value":"10.1142/S0129054195000184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4867408$08C0B7FD-2C14-479A-9603-6D00D703991A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5dc81f9560041386f0dfc580bd85b6eb41aa045","datavalue":{"value":{"entity-type":"item","numeric-id":757355,"id":"Q757355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4867408$B1B6D00C-A8BA-457C-B9B0-18D86911BC3D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4867408$D7CB527A-AC55-448B-8830-000E5D58ADCE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c3a04010ec8818dd2d5d372c0f971835e38fd9a","datavalue":{"value":{"time":"+1996-06-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4867408$392C185F-0B56-4AF5-9553-A5339B313A06","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4867408$50AD8B9C-D2E2-4FB7-B1B9-37D1BA6D5FC8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cdf003b9ee0228970504206370429689329a7af7","datavalue":{"value":"850777","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4867408$C89CFE97-0DFF-4FAA-A70E-D10FC8E73837","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e01102226a676edcf182ed47a9896bd215db761","datavalue":{"value":"second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4867408$13EBA332-D817-4796-81F0-CF1A21E9B8BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4867408$5D84C210-D9F2-4571-849A-93535264E9B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5addc63d0ac40779d36956c5f274f077824cc57f","datavalue":{"value":"asymptotic probability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4867408$C6414F04-3E29-46FE-9132-C9AE3F0944B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0a1c45f186413ef0d035aab9ecb90c1ce8c8579","datavalue":{"value":"0-1 law","type":"string"},"datatype":"string"},"type":"statement","id":"Q4867408$DC045145-3805-4E31-A8AB-28E966D14BC2","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":"Q4867408$51B17698-C338-425C-917D-BAF696648FB0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e2c75473cb98feea5b539f2b65f96953ebdfa8ef","datavalue":{"value":"https://doi.org/10.1142/s0129054195000184","type":"string"},"datatype":"url"},"type":"statement","id":"Q4867408$722ED416-A8C2-41D8-82AB-E3C2B92D0DDC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"72d63ef3d18fcc3b3352e8d48b67a22b5d55c55c","datavalue":{"value":"W2167744955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4867408$809CCF71-0AFF-4A41-B408-B8634D7B45D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7a2b2de102e3cc85f8218a6511789af82066bd7","datavalue":{"value":{"entity-type":"item","numeric-id":4304750,"id":"Q4304750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1697b9eb796ed4abbe79ddbc23d922d08e3a3228","datavalue":{"value":{"amount":"+0.869983971118927","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":"Q4867408$B1B9E0D2-3C88-4F8C-9936-6FCCC2ED09E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bf55030463703ff6e9895c7a74aae7484752a13","datavalue":{"value":{"entity-type":"item","numeric-id":3984420,"id":"Q3984420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"691863537acc7fd735e180ab15d097f80357259a","datavalue":{"value":{"amount":"+0.8580475449562073","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":"Q4867408$25A9F590-1241-4D4D-A55C-E6BA2AF2D975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"562f15ceae0b6244a554601d5a239fb8bcb20c62","datavalue":{"value":{"entity-type":"item","numeric-id":1317435,"id":"Q1317435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7669543e7d28026339abb2dee03ae3b8e963f321","datavalue":{"value":{"amount":"+0.8238146901130676","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":"Q4867408$398A2279-60B2-4C13-A633-55181F87683F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A NOTE ON THE ASYMPTOTIC PROBABILITIES OF EXISTENTIAL SECOND-ORDER MINIMAL G\u00d6DEL SENTENCES WITH EQUALITY","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_NOTE_ON_THE_ASYMPTOTIC_PROBABILITIES_OF_EXISTENTIAL_SECOND-ORDER_MINIMAL_G%C3%96DEL_SENTENCES_WITH_EQUALITY"}}}}}