{"entities":{"Q3534984":{"pageid":5564888,"ns":120,"title":"Item:Q3534984","lastrevid":50490200,"modified":"2026-01-14T04:52:01Z","type":"item","id":"Q3534984","labels":{"en":{"language":"en","value":"Formulas of one propositional variable in intuitionistic logic with the Solovay modality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5363905"}},"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":"Q3534984$0AF33E05-98AB-4921-82D9-8EB86A529D3D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"02be68434aec9e7057f108ee7daaf2838c0dfba1","datavalue":{"value":{"text":"Formulas of one propositional variable in intuitionistic logic with the Solovay modality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3534984$B0F927FF-F9D5-4F9E-9B38-A9CE19451CDD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d6befb000e3e1fc2ade28583ac2ea0236c4d034","datavalue":{"value":"1157.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3534984$6426AB2E-0892-466B-9513-702BB5F02431","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e3cf0eec68bf613f3d73bda0f372c8f30d168c07","datavalue":{"value":"10.12775/LLP.2008.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3534984$E8BD83EC-25A3-45FF-87BA-FB1F51D5F2DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"026e455a402c15c7cc3bd3d5ce05760db74a42d3","datavalue":{"value":{"entity-type":"item","numeric-id":454369,"id":"Q454369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3534984$2F3D3EC6-E61A-45B0-B4A2-FD9D6004AB82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d236c3437e114c440e13b103136538dae8ba1eaa","datavalue":{"value":{"entity-type":"item","numeric-id":234288,"id":"Q234288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3534984$054A50E3-1C67-4561-A9B0-62BCE6637BE9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"02a7550770f278a5ae7822f33ceafd222bb55c95","datavalue":{"value":{"entity-type":"item","numeric-id":2725723,"id":"Q2725723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3534984$DF97D383-CC94-4853-86E4-7E35BC141CA6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b95bf91147476ab26723f123a6ad0d60d5ec6214","datavalue":{"value":{"time":"+2008-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3534984$7A2D1533-90FC-4871-A486-5A713C715884","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3534984$9F7BDCA4-31DE-4EEB-82AF-2926FA79086E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3534984$23ABA4CE-651B-4F65-A42A-3E6F02E010DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3534984$C19C7AFC-C89E-42B5-A14C-F595A9A1ED3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c3ec75de9d78727d03193af1b75f5a165ed0668","datavalue":{"value":"08B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3534984$AFFB28DC-BCC7-4225-8EF7-2EF4D5D2C052","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cec1301e4036bf2b65ade029258700f0af042791","datavalue":{"value":"5363905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3534984$3AEFD406-D2BB-4452-B288-F84ADC0B9DDC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fa90d9b43357ac49f07caba3b29b66354b3e6fb","datavalue":{"value":"Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3534984$9EC1AC05-0D3C-4FBA-B575-9897BA2EE907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17a01cedacdd5d7fedd625de50de09464f3aa2c0","datavalue":{"value":"Kripke frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q3534984$823104DB-AB39-4C0A-A1A6-95F6668640F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d10530f0426568d4f2df4a2a102e29fd301ff4a","datavalue":{"value":"free algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3534984$84742954-8B98-45EF-A434-BE54FBF2EBCB","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":"Q3534984$8BA9BC12-A4AB-442F-ACA0-1C4DD7E77F7B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34ff2714c9bd50a4b63fb07985065aee42ba6dd3","datavalue":{"value":{"entity-type":"item","numeric-id":5499650,"id":"Q5499650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b6ccbd51d4d56e36939f77f32a230aabe5b05c6","datavalue":{"value":{"amount":"+0.7637825012207031","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":"Q3534984$805159DF-15B6-4516-8410-D6828FFF05B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e6ab1e748709c1677bf46c1006ee0d5ecd2e586","datavalue":{"value":{"entity-type":"item","numeric-id":5935999,"id":"Q5935999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac4865bf5444304f52c2047b683503579c7a6498","datavalue":{"value":{"amount":"+0.759699821472168","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":"Q3534984$83D974D1-DAB7-44F8-A1F5-715E735A94E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c7830490a7c3e935f795dee81d31349ed914335","datavalue":{"value":{"entity-type":"item","numeric-id":1580648,"id":"Q1580648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab56bf7d11bd97ffc531dbd9e6118e4d5cec69f5","datavalue":{"value":{"amount":"+0.7470728158950806","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":"Q3534984$0DC500E9-89A1-4BA9-A20D-5F417B1B8CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4367fcdd8be3dc9f1d30feb248c4d6293f9908cc","datavalue":{"value":{"entity-type":"item","numeric-id":1092029,"id":"Q1092029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab56bf7d11bd97ffc531dbd9e6118e4d5cec69f5","datavalue":{"value":{"amount":"+0.7470728158950806","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":"Q3534984$AC5A6805-37DE-498D-980F-034258B19B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73f9b9b5c934709efd014283e75e2a3c7e5bb1de","datavalue":{"value":{"entity-type":"item","numeric-id":2720324,"id":"Q2720324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36ba06e66fdfb525d79862a39884efb979fb15bf","datavalue":{"value":{"amount":"+0.7424943447113037","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":"Q3534984$993EC166-6DD7-4B69-9013-34A4C84D077E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3534984","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3534984"}}}}}