{"entities":{"Q3762284":{"pageid":5792190,"ns":120,"title":"Item:Q3762284","lastrevid":51826115,"modified":"2026-01-20T05:55:14Z","type":"item","id":"Q3762284","labels":{"en":{"language":"en","value":"DECIDABILITY OF ADMISSIBILITY IN THE MODAL SYSTEM Grz AND IN INTUITIONISTIC LOGIC"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4012569"}},"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":"Q3762284$7F87FEAB-0D89-40D8-A5D2-E7C03861FC60","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"38e2a1c173bf28f8cecce57762a21ed9df082373","datavalue":{"value":{"text":"DECIDABILITY OF ADMISSIBILITY IN THE MODAL SYSTEM Grz AND IN INTUITIONISTIC LOGIC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3762284$15556F99-1938-45CD-8264-2C3AFC77A443","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6722233d08a950eaaeead4cd627e6b2012a973e4","datavalue":{"value":"0624.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3762284$4DE74367-0D0D-4D26-8B87-8AB4854B1FF3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c7b33a6340c2e117b07fcbe639005ddb5de09fe7","datavalue":{"value":{"entity-type":"item","numeric-id":3025699,"id":"Q3025699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3762284$492A686C-0BE6-4880-AEA5-FE528BBEA630","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3762284$DB6E56D0-D46D-4A4D-868D-C84FAC918D4A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3762284$7995E64B-75C4-4D3A-938C-706BDF4E070B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3762284$1C89C847-97EE-4480-A8D0-FB68C7A183CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3762284$EF4C30D3-D56A-4753-9C05-AB15DEC74B72","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b2bc5670e54b2fa22c18846beba810aec445aaf","datavalue":{"value":"4012569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3762284$782914D6-C1CD-4A05-9D32-6AB98BB31B8F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9d87451bc0612a9991625aafdeb5990cace5283","datavalue":{"value":"admissibility of rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3762284$9ED126B5-94B7-408F-9D0E-80914CE53473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3762284$7126EBC9-DDAB-47D4-974A-E27AB1493E6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3762284$4EE57DFE-00A4-49CD-9156-8BF2F14A6722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d1017b5e10d038e359d69a4c400d6213f241e01","datavalue":{"value":"intuitionistic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3762284$C7C125FD-9C74-4114-A430-1825285C6C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bab0fee0953fd609630f1fea1d7187415fc20dd","datavalue":{"value":"free pseudo-Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3762284$9715E983-7A1A-4DC9-92B6-831BE157C9F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34f0c2f629d5a8ca1611772beffa68a1caf18cb2","datavalue":{"value":"free topo-Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3762284$50E97F99-7A58-4C52-932D-A99F259074BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d10530f0426568d4f2df4a2a102e29fd301ff4a","datavalue":{"value":"free algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3762284$93405105-4670-4317-A12B-8223ACF90BF9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96cc32b5114aed13d4cd109fe7265b4e5c590084","datavalue":{"value":{"entity-type":"item","numeric-id":1669761,"id":"Q1669761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3762284$68C51602-9277-42F7-8D28-5EFC7499688B","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":"Q3762284$34242156-F76A-46EC-A4CF-255D9757532A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ab67aee8f562b26672d7dead6c1ddcb9e0081c4c","datavalue":{"value":"https://doi.org/10.1070/im1987v028n03abeh000902","type":"string"},"datatype":"url"},"type":"statement","id":"Q3762284$B6779CC5-6761-4323-8818-580CE0AF17A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2024a7c3a8f98f59ed4ed333b59f285bf5e53322","datavalue":{"value":"W1985931858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3762284$912348B3-3BF2-42DE-B6D1-70AE7800D4C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4fc8f8026a05393eab6c2038e813e421c51af839","datavalue":{"value":"10.1070/IM1987V028N03ABEH000902","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3762284$5DBC25BE-9AC1-4603-B8E7-43E2DF0A70A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"281cbb897da458faa372b0698c9483dcc9a20a93","datavalue":{"value":{"entity-type":"item","numeric-id":920971,"id":"Q920971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"227fec2f90171a473848d70582d63a847aa5e2f4","datavalue":{"value":{"amount":"+0.943247139453888","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":"Q3762284$A3EE3705-D70E-4FC4-A206-8138A99FD1D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d283e422a422eb8cba9adc3a9758adb8f819b0a","datavalue":{"value":{"entity-type":"item","numeric-id":4726223,"id":"Q4726223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"956ff4ffab150c8fbde83358e838e9201f0f2d42","datavalue":{"value":{"amount":"+0.8902377486228943","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":"Q3762284$CCDC16E8-18E8-4575-9D26-AD00166D5423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e32b818e429ad0b6b270769587e5a50c6a38bbd","datavalue":{"value":{"entity-type":"item","numeric-id":1079558,"id":"Q1079558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2d2bda336d80b95ce1e394fa92387ad1738daf0","datavalue":{"value":{"amount":"+0.8685186505317688","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":"Q3762284$3E6D3726-1CC1-4B1A-8948-E0953EDD4D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e8f07adb79d287443d839a696210660b41f5b4f","datavalue":{"value":{"entity-type":"item","numeric-id":3032232,"id":"Q3032232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a26d0b1fee85f5dbb9faa7c56005ad95d84cc3a3","datavalue":{"value":{"amount":"+0.8668420314788818","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":"Q3762284$9647052B-C274-46A0-ADD9-C3F6A218E75A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4802d5e6ee3275da5085db6abd241ef72488ace","datavalue":{"value":{"entity-type":"item","numeric-id":1317616,"id":"Q1317616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30e567f221c9dfcdd4915d183a1e62645b50dbaf","datavalue":{"value":{"amount":"+0.8667535781860352","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":"Q3762284$B32A5C84-E3E7-44FB-8F47-24473B19AC0E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3762284","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3762284"}}}}}