{"entities":{"Q4953235":{"pageid":6982817,"ns":120,"title":"Item:Q4953235","lastrevid":41621285,"modified":"2025-05-06T11:32:09Z","type":"item","id":"Q4953235","labels":{"en":{"language":"en","value":"Counterexamples of the 0-1 Law for Fragments of Existential Second-Order Logic: an Overview"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1444087"}},"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":"Q4953235$EABD77C7-B8F3-45FD-8B93-626D208B1F28","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"411a5cb81c9ab3f9cd831714d17d9485898190ae","datavalue":{"value":{"text":"Counterexamples of the 0-1 Law for Fragments of Existential Second-Order Logic: an Overview","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4953235$D6C95B54-33D8-4E8B-BCA6-BC74487F6A01","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ffb9ef1203a30c3d6076c3cc36853a88b1016d1c","datavalue":{"value":"0958.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953235$A60731FA-1C4E-429F-8B9A-C5282B390FDA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fbef31533b2c3bbcc7a780ea11b7bd09e1ec0ad9","datavalue":{"value":"10.2307/421076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953235$6BA9F372-FC1A-4E38-B827-FBADE03BD767","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3680334bef0dcee12d61b9a7f7e02f44ff3dddf","datavalue":{"value":{"entity-type":"item","numeric-id":386996,"id":"Q386996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4953235$66FB9870-CCF4-4F0A-8C70-A295D6524A1E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f06e3965919c6d8e09cf93fa6be5852ecd89988e","datavalue":{"value":{"time":"+2001-03-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":"Q4953235$6F12AAAA-32A9-4948-AFBD-8D694AB1B65F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ffe0b74ab09d74017e81b16d5ed9cfc39d4bf78b","datavalue":{"value":"http://www.math.ucla.edu/~asl/bsl/0601-toc.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4953235$C6E9E0C9-F85E-413A-8359-C5388BFA81B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953235$D8ED51FB-331D-47DC-99F8-3B8FBA108901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953235$BAFFAE2E-E234-422D-97EC-73E294FF90F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953235$B7256776-EC0B-436B-AAD4-54A1E0F935EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953235$320732D5-463A-4FC4-8EAB-67D0809FB51F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c1dcc308c2fc1f23ca5d74998ee9fd37c05521c","datavalue":{"value":"1444087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953235$6493B4D5-39D2-4334-9FDA-1F4137ECE04D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e01102226a676edcf182ed47a9896bd215db761","datavalue":{"value":"second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4953235$735BC724-E979-470E-AFA0-ABB1A13574F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa1f9cffd18fe4bc8fecd35eb209e3dd8c324b86","datavalue":{"value":"finite structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4953235$128E4B8A-A4BA-403E-85FE-2BC2526A1F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0a1c45f186413ef0d035aab9ecb90c1ce8c8579","datavalue":{"value":"0-1 law","type":"string"},"datatype":"string"},"type":"statement","id":"Q4953235$58235814-4180-417C-ACA3-60C127AC06CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93019184035cbb4bc4a2ae3822246dc4e99aadad","datavalue":{"value":"second-order quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4953235$62A5A051-A2D9-4E19-98D5-279428BF6C34","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":"Q4953235$20E2DF79-D3FB-40DC-9843-588C4F302EFB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6638175d60a343a46f9144578c45f445e2570674","datavalue":{"value":"W2059486372","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953235$9DE11D72-DDF0-467C-AB1F-05A1A7BD3512","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b03daf26e4e5188cf38c67783e6694e054c98ac9","datavalue":{"value":"Q124967083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953235$52A6A475-79BC-49E5-A78D-568DA8E2ED6F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"edf96fd313efea8fcdd4baf3f82e7012dac99f22","datavalue":{"value":{"entity-type":"item","numeric-id":4110975,"id":"Q4110975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4953235$331C5A5E-CC26-4A62-81B2-AC90A005AB27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d805fc4ccef250b10cecc8ee53d0fe96fb443cd","datavalue":{"value":{"entity-type":"item","numeric-id":3984420,"id":"Q3984420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4953235$CA097C31-1A8B-4A2D-9C84-39776F0F6677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da9035a3503d06ad7946ad5c060940ce1e7b476e","datavalue":{"value":{"entity-type":"item","numeric-id":3905252,"id":"Q3905252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4953235$D642A8BA-13B5-4916-8579-9B8893A76476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5e43be3893e504fbe1ffd223ca67b107da0e506","datavalue":{"value":{"entity-type":"item","numeric-id":673091,"id":"Q673091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4953235$849F3233-81F2-4A5E-A231-0C940B6DADC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f11d905c5d301eb7550191ae68eb684c9598dcb8","datavalue":{"value":{"entity-type":"item","numeric-id":4111621,"id":"Q4111621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4953235$33737234-6976-41EE-A555-C6515E850699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b051bb91a42a31736fdd8d09157004cdcec793d8","datavalue":{"value":{"entity-type":"item","numeric-id":920075,"id":"Q920075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4953235$7E13FA34-A6C9-4BE9-B450-8C7D83F4718F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ab109aff41e40d68910d72146e4e0627a15a5d2","datavalue":{"value":{"entity-type":"item","numeric-id":1066878,"id":"Q1066878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4953235$20B6D302-5F49-49F4-BD7B-A784F3CD9EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e224c6097d2b878d98250e30a244a9ed6be5f517","datavalue":{"value":{"entity-type":"item","numeric-id":3317080,"id":"Q3317080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4953235$DE64E854-4994-48E6-AF7C-62F659F827BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f3e217d975577abd60153ec008522cd4114ebdc","datavalue":{"value":{"entity-type":"item","numeric-id":2711918,"id":"Q2711918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4953235$67AF6212-3FEE-4A91-892E-8D92320A9757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea8280d7bbdafcb11b49d707ee293e4e9f4bf750","datavalue":{"value":{"entity-type":"item","numeric-id":2277494,"id":"Q2277494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4953235$77ACC407-13E0-4195-BA51-645ADE43E8D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a740b6e9e652b2fb5fe827ec941309ed6af62f7","datavalue":{"value":{"entity-type":"item","numeric-id":4108321,"id":"Q4108321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4953235$CAB93F0A-24E5-4F11-9032-E5D49E74146D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56cc7928b130d0832a5affc060cf8562d41badae","datavalue":{"value":{"entity-type":"item","numeric-id":4338327,"id":"Q4338327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4953235$93D65A9D-F21F-4F80-AF3F-CC1DD64B417D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d736f77638700356a04ed3540cfbda596980004a","datavalue":{"value":{"entity-type":"item","numeric-id":3680834,"id":"Q3680834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4953235$3D7495CB-1EA7-44E4-A076-6D82BE11987B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d88127147ccb49166f2d7816728a4575ccc1a56","datavalue":{"value":{"entity-type":"item","numeric-id":1317435,"id":"Q1317435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4953235$7A526994-8138-48B0-8CD4-240B2AC94824","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"627782bb8e66e4f5813f03d60fbe78f72f4da774","datavalue":{"value":{"entity-type":"item","numeric-id":2795200,"id":"Q2795200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4953235$B68027AE-EC0C-48F9-B5A3-C5BDC80DD822","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"552fa995d451ff05dde31834dc85b189b0dcf9ac","datavalue":{"value":{"entity-type":"item","numeric-id":4536345,"id":"Q4536345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14fda10e52f7895409551ca3aeb22e980129a0e5","datavalue":{"value":{"amount":"+0.9604691","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":"Q4953235$B030998C-CFDF-478A-B115-864C88451DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24cafe07b4ebaa38a7b7fb86456e7153f6b6f544","datavalue":{"value":{"entity-type":"item","numeric-id":4010359,"id":"Q4010359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9c16290f7110fcc94f2485ca9e0c10bb2ff7557","datavalue":{"value":{"amount":"+0.9388031","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":"Q4953235$34E3CE8A-DDFB-415C-9A31-FCEEE3449F43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"145e16102924489d49fb4c46ee8eede861d58952","datavalue":{"value":{"entity-type":"item","numeric-id":920075,"id":"Q920075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d956472ffc552ab70b1cb8ea9e7dc5629ec64e9a","datavalue":{"value":{"amount":"+0.9167285","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":"Q4953235$01AEE720-FD0A-492F-BAD5-E3631BD04183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb18b82657653997888267155986820dbff46048","datavalue":{"value":{"entity-type":"item","numeric-id":1351145,"id":"Q1351145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0a89f9656135afdf832b543f2767d107fb43959","datavalue":{"value":{"amount":"+0.9156016","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":"Q4953235$12720209-CC1D-4AEB-837D-79C4BADBDC03","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":"6b2de707edc6f6a1dd3278ae25c5fee9a64929b2","datavalue":{"value":{"amount":"+0.9057147","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":"Q4953235$77416148-76A5-4534-9F55-00535FC2092E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71a88822cffc1e132355e4e7d54d6d9418f75837","datavalue":{"value":{"entity-type":"item","numeric-id":1607080,"id":"Q1607080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd9f9b349c68738c6d7346a6482e2a78a3509347","datavalue":{"value":{"amount":"+0.8863201","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":"Q4953235$80F373BE-3816-4AFE-B1B2-7F2D7C7A9D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f418ea6055770048832ddc9976db8f2bdc2c12e","datavalue":{"value":{"entity-type":"item","numeric-id":4351931,"id":"Q4351931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44d1f4b4a7f1c3682f4932eaea1f359d891a38bf","datavalue":{"value":{"amount":"+0.8802882","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":"Q4953235$A318C1BC-294C-49BC-B0A3-4701CDA097C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccd0abd2ce730ea455ea28215c1d402a36128505","datavalue":{"value":{"entity-type":"item","numeric-id":4336698,"id":"Q4336698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"330163c812b3ced9e54a3313ab5b012e813ea006","datavalue":{"value":{"amount":"+0.8797035","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":"Q4953235$8FBE5075-ED7A-4FD6-950B-F8733715B73C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d9ebcea435f3dfecad9f43b48842dfef314642a","datavalue":{"value":{"entity-type":"item","numeric-id":1732077,"id":"Q1732077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"067fe5f1bd64b686878d63cae21016b87c5ffbb3","datavalue":{"value":{"amount":"+0.8721863","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":"Q4953235$0E128A21-9B31-4814-A25A-17A2AACB944D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e51356607f490b368ff828cee4c40805e9071be","datavalue":{"value":{"entity-type":"item","numeric-id":5034234,"id":"Q5034234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3185c6536c65b96840aceee4425451fc1b4868c6","datavalue":{"value":{"amount":"+0.8652307","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":"Q4953235$C21299DE-6ED1-4AC9-99DD-0DD351727212","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4953235","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4953235"}}}}}