{"entities":{"Q4521119":{"pageid":6550712,"ns":120,"title":"Item:Q4521119","lastrevid":47548930,"modified":"2026-01-02T01:24:17Z","type":"item","id":"Q4521119","labels":{"en":{"language":"en","value":"SO(\u2200\u2203*) Sentences and Their Asymptotic Probabilities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1545068"}},"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":"Q4521119$08BC6F2F-8C50-41AF-8E67-D0E3C245FD3F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"683093beccbb0ebb09966b9234e5eb237051e719","datavalue":{"value":"0972.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4521119$782F0A6D-AB7D-405A-B2B4-6324B2768700","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2477c4438484cc2d4b93c5ee2a14c06fcc0c2090","datavalue":{"value":{"entity-type":"item","numeric-id":948885,"id":"Q948885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4521119$0B060D4C-A39A-4F9F-B23F-1D6982F8F48D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7556e9c9cbb6aecbfca4bdbb52190444fadde8ff","datavalue":{"value":{"entity-type":"item","numeric-id":290270,"id":"Q290270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4521119$47183005-BC4D-48E7-B391-C939677C9450","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"35d9bdb31ca39edc14c7d66fd2d80fa7daed4205","datavalue":{"value":{"time":"+2001-02-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4521119$4F38F9A7-E4E9-4AB4-8078-D25090A65919","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4521119$6ED2E2D9-0467-4AD7-A89A-F0F08032797E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd1ebd9dd665e7350d17a40eafa30f7b99b8c1e0","datavalue":{"value":"03C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4521119$6DA5F30B-A942-4B73-BA36-4DFAB8014885","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46f9ffa64eb25a2c2c8189b338c66730a409aef3","datavalue":{"value":"1545068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4521119$CC1BA517-AF46-44BA-92D9-8EDF5EAA6931","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4521119$06CE6FCE-4D95-4A7F-B2CE-68DC9FCE26C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0a1c45f186413ef0d035aab9ecb90c1ce8c8579","datavalue":{"value":"0-1 law","type":"string"},"datatype":"string"},"type":"statement","id":"Q4521119$44AAD971-85CA-4CC5-9779-ACA6A0027DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44ec9a7072d9810852b167a9ea765bd7c2b0f1f8","datavalue":{"value":"fragment of second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4521119$2937AA22-C983-4C99-A983-A28E975A5DC8","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":"Q4521119$20777D09-BB14-437A-870B-E1250D1C3065","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a9575de28f7edb4987d9f923f0c30af45264f8e0","datavalue":{"value":"W1983785197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4521119$94EB5B42-CEC8-4725-AC53-44D50FDE7201","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aee800af4a689ed5c041c5dfa135cdb1913597fc","datavalue":{"value":{"text":"SO(\u2200\u2203*) Sentences and Their Asymptotic Probabilities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4521119$5AB68E11-9E5F-4336-A957-4D02546F2A9B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6513910d9c0daea1b4b3116a1f23aa7cd99b0cbf","datavalue":{"value":"10.1002/1521-3870(200010)46:4%3C435::AID-MALQ435%3E3.0.CO;2-E","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4521119$0D674CF3-C88E-4783-8F2A-CFD2BADAF722","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de7d77034b3cb2974e30af1a142fb9cd71be3229","datavalue":{"value":"https://doi.org/10.1002/1521-3870(200010)46:4%3C435::aid-malq435%3E3.0.co;2-e","type":"string"},"datatype":"url"},"type":"statement","id":"Q4521119$6191E41C-9723-49A8-A989-ECAD25FAE353","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c87785855ea7b47517ef5f46a98548d091fc0c4","datavalue":{"value":{"entity-type":"item","numeric-id":4338327,"id":"Q4338327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74d1bfc0ff7e39ec832ce602783b12a2c181b970","datavalue":{"value":{"amount":"+0.8460307717323303","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":"Q4521119$498D8E2A-1900-4245-92E3-243C6ECF3A03","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":"1297b6b2257baedd8e8a9873ce6d847d3ef13136","datavalue":{"value":{"amount":"+0.8453400731086731","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":"Q4521119$CF163C79-4B6E-4AD7-9082-CDA35C5330DE","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":"0be0ee2e594acc0226534af86b350af0a4ffb970","datavalue":{"value":{"amount":"+0.8444344997406006","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":"Q4521119$9D3F6D54-FD6C-4710-98D9-EB05D8ABB486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e9cc7ef8fd8d30e2743101b1761bb92158c7984","datavalue":{"value":{"entity-type":"item","numeric-id":1193591,"id":"Q1193591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3abac7d1a6d51b3b011a011532dfbc9971bd40eb","datavalue":{"value":{"amount":"+0.8437858819961548","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":"Q4521119$2EDEB9A7-B9EC-452B-B966-2C2D1079D908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a3c4b863ff3b0f4d9994c946afdda6421312a79","datavalue":{"value":{"entity-type":"item","numeric-id":4953235,"id":"Q4953235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb3cc339ef31c31693c1fc91ee82c57d899bc2f6","datavalue":{"value":{"amount":"+0.8336879014968872","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":"Q4521119$1A525B3E-D06D-43D1-863F-E0DB7F00B7A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4521119","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4521119"}}}}}