{"entities":{"Q1893145":{"pageid":1903887,"ns":120,"title":"Item:Q1893145","lastrevid":71087238,"modified":"2026-04-13T19:23:48Z","type":"item","id":"Q1893145","labels":{"en":{"language":"en","value":"A new solution to a problem of Hosoi and Ono"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 769236"}},"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":"Q1893145$F56D7D00-E612-47A5-978C-BA39161B8EA2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bb1fa8824211b2ad0aa9fbee6f25e46c33c724eb","datavalue":{"value":{"text":"A new solution to a problem of Hosoi and Ono","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1893145$29545C75-2EC0-45CD-983E-024DB5E0F255","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f49c60e60c59b2508208051bff67f1e9515c08b3","datavalue":{"value":"0837.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893145$36CBADD3-C4A2-4178-BE7B-D71F7729EC71","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893145$E6AEEC49-C2BA-4025-8AC1-C562A6B99ADE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae6bbe402fa411517b9e3e0f1a301dad51f71610","datavalue":{"value":{"time":"+1996-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1893145$EF8B802E-245E-425F-95CE-78F5CC1007C8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a43318af713f3e224f9f613933a158d135f19957","datavalue":{"value":"Hosoi and Ono raised the following problem: Is it true that if a consistent extension \\(L\\) of intuitionistic propositional logic Int has the disjunction property then the disjunction-free fragment of \\(L\\) is the same as the disjunction-free fragment of Int? The author gives a new proof of the positive solution to this problem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1893145$A930B3A4-097C-4BF5-91FF-8EAEEF11664B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"eeec67f38e1d89854fb40771a8f249be9e614272","datavalue":{"value":{"entity-type":"item","numeric-id":1337511,"id":"Q1337511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893145$C012CD33-5DF4-4670-B9B3-A3562BDCA328","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893145$DF4AF73F-A85B-4B51-A812-CDBB2A02193C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18e778444644618fab6204b158df3249422bb485","datavalue":{"value":"769236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893145$8DBE7831-D435-482B-8AE6-C30AD8869FB8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e20caaf0551fe84fb69eae2f4da361eb77759b92","datavalue":{"value":"intermediate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1893145$C9176AE8-2C12-478E-8AF1-3A77F761137E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3020c5a082e5813cedace6da7c6bdd6690dd9fb5","datavalue":{"value":"disjunction property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1893145$7ADDB0DF-5C74-4548-97A5-C7F0DFDC9369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"097b565a3fa8469a06a5d1ae5377d6a092f7c2f0","datavalue":{"value":"disjunction-free fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1893145$87286939-3277-41A4-AC38-66F6043EE396","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a400f63fb65fdbb9cd5ac7576d054d4b1a7834c","datavalue":{"value":{"entity-type":"item","numeric-id":1181481,"id":"Q1181481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893145$08541A8F-A6BD-46D4-91E7-1E8FF364472D","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":"Q1893145$DABCD4CB-8CA5-4BF8-9FED-AD75E35E8301","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3d8d2813b68eb1139eb647e483b1af1a83d58a76","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1040511350","type":"string"},"datatype":"url"},"type":"statement","id":"Q1893145$01EB1A6B-85B8-46A9-BF0B-1C26ABA25B33","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c740f1edf41867bf0fc5599d1a1d45f3ec7acb06","datavalue":{"value":"W2038798298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893145$C2C6422B-00E1-4901-A874-655048C7FAC3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"16f3b899aaf802e75d09cb6e9d44c6c7a4e056cc","datavalue":{"value":{"entity-type":"item","numeric-id":4276033,"id":"Q4276033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893145$F72A7D51-5E5A-408B-9E4A-31B7CA51BAE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e123cb5f005ec2c984fe8ce0580a9e75d8976db3","datavalue":{"value":{"entity-type":"item","numeric-id":1181482,"id":"Q1181482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893145$CEF56C1B-CABF-4741-A8EE-807F8A672EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec61348cbc7897006cbf43596adc1b3a59cad5f3","datavalue":{"value":{"entity-type":"item","numeric-id":3691638,"id":"Q3691638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893145$F66E305F-8FEC-4F32-BB31-DDCA8BAD2402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f081c411f7e6b4930b62d10eb2f12caa43565bf6","datavalue":{"value":{"entity-type":"item","numeric-id":4128788,"id":"Q4128788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893145$FF3840D6-CB6E-4AC0-8115-E246A91E2B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"355d08d5e5c4643fed69139b854c7f31566ba807","datavalue":{"value":{"entity-type":"item","numeric-id":1097260,"id":"Q1097260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893145$B121E1AB-5129-4AF9-AA4B-93AFEDB3C769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f803209c67528497565ed0fcd089fb74d3efa2f","datavalue":{"value":{"entity-type":"item","numeric-id":1096618,"id":"Q1096618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893145$CCAEC92F-65D5-4521-9E04-090F69E69806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7deb7cbb7cd9c19da86f917c77d45ea86fa652","datavalue":{"value":{"entity-type":"item","numeric-id":4068699,"id":"Q4068699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893145$95E94EF3-AD01-46A6-9E52-EE3D52D12259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bc0c9fb76464a81443de205fc51b19ae4810c8e","datavalue":{"value":{"entity-type":"item","numeric-id":4773681,"id":"Q4773681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893145$FE86BE8D-7100-45D6-B188-BB854480359F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64ebcb581746ff3056945fa63a66e3dcfaa65027","datavalue":{"value":{"entity-type":"item","numeric-id":4198476,"id":"Q4198476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893145$F305C932-0D31-4196-8288-022067E88859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e63886085ceb41f0201583e8895135f7b6d31fdc","datavalue":{"value":{"entity-type":"item","numeric-id":3902989,"id":"Q3902989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893145$1BC4B7C3-28D6-4D23-8151-90DE15ABE374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0e19a8bfe94f413c65a683d2264d1c901dfb7f1","datavalue":{"value":{"entity-type":"item","numeric-id":3783273,"id":"Q3783273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893145$C75FA599-A8FA-41B1-AE46-0466B2A9DF4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"593def07e4546cce960235af14c5ec86bccd4e8f","datavalue":{"value":{"entity-type":"item","numeric-id":1194106,"id":"Q1194106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893145$418C6BCC-833E-4542-A23F-5426D60C8C70","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e068ea63bca39f7e6d9a639a2abd6701b4f417a4","datavalue":{"value":"10.1305/NDJFL/1040511350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893145$DAC7E24B-ECC9-48DF-AA1D-34D08189B931","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34bf78987d21b7a2317b9d94c1c19ec5680de703","datavalue":{"value":{"entity-type":"item","numeric-id":3783273,"id":"Q3783273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b67c237528489005ce545e905f6a06ef200e3fc","datavalue":{"value":{"amount":"+0.8124458193778992","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":"Q1893145$AA2E341D-410C-4588-BC6B-8B70EECE17D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aa2493c6a3b5b965f8a1597b88c0d9add574b45","datavalue":{"value":{"entity-type":"item","numeric-id":3472080,"id":"Q3472080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7af79a60af5be06f8d241875a1ea6ce72aa938e5","datavalue":{"value":{"amount":"+0.7600008249282837","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":"Q1893145$D3BF9096-7678-4FF1-9AD9-97079500288E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16e537dee039c65e7487b6854ebadd9fe2c66265","datavalue":{"value":{"entity-type":"item","numeric-id":1115419,"id":"Q1115419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eec3f334e94c9fa94e319316a7cf46edc8405061","datavalue":{"value":{"amount":"+0.7450557947158813","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":"Q1893145$CDAD6615-A499-43DE-84E1-CDC7618A5BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04bd9ee1339cb39bc560702e9b33f9a25efd60fc","datavalue":{"value":{"entity-type":"item","numeric-id":3220564,"id":"Q3220564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d42be732c6a402638bd2ac95abeb299d213993f9","datavalue":{"value":{"amount":"+0.7407932877540588","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":"Q1893145$19E3F0E9-6159-4709-9050-D224C9635A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec69db315f475852e150bfa78a94d0f00b00230c","datavalue":{"value":{"entity-type":"item","numeric-id":4761712,"id":"Q4761712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c98fe432e5d1badff31635ed76acdb496da08da9","datavalue":{"value":{"amount":"+0.7354129552841187","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":"Q1893145$F466131B-FF42-4C2E-88B0-65354CC582EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A new solution to a problem of Hosoi and Ono","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_new_solution_to_a_problem_of_Hosoi_and_Ono"}}}}}