{"entities":{"Q4487246":{"pageid":6516845,"ns":120,"title":"Item:Q4487246","lastrevid":47479465,"modified":"2026-01-01T20:46:56Z","type":"item","id":"Q4487246","labels":{"en":{"language":"en","value":"A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1463087"}},"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":"Q4487246$B02504CC-AF7C-4700-89A6-9D1EA825DFD7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3242308821f4e02cd6fabddba0994660a5da1c65","datavalue":{"value":"0949.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487246$EF691867-92D9-49AA-BCC6-295485EE0794","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e97260bea1cba66249f833040ae752d88bb9782d","datavalue":{"value":{"entity-type":"item","numeric-id":227771,"id":"Q227771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4487246$BA0A664E-840F-4D31-8971-352901019A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e63f0f7326486d44dfb43d06e0b528a89a70ef2c","datavalue":{"value":{"entity-type":"item","numeric-id":190271,"id":"Q190271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4487246$43488DCE-D092-456F-88C7-F50A8D22B7BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"990752c320d29232b9e0b8025fa1f119d1be577c","datavalue":{"value":{"time":"+2000-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4487246$3AE937CA-11EA-4367-BFEB-167FD3BD6E62","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487246$E0958A08-B3E1-424F-8734-68A7121ABB6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487246$449658DB-91FC-4DCF-BBE5-91DA6D0954FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e4666610e70ba4e8f0a9a552fe077a8d59de2006","datavalue":{"value":"1463087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487246$562FF586-80A7-4C2A-9EDC-952775DCC58F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af78cb14fbfff517d58e1781d9c625019d25362d","datavalue":{"value":"bounded translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487246$6D92303D-1F32-4A93-9647-D90607DB8B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487246$F17D442B-366F-429C-BC1F-6F669C951951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d1017b5e10d038e359d69a4c400d6213f241e01","datavalue":{"value":"intuitionistic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487246$B4DC913B-956E-456A-AAA4-B2DF07D49F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d0139dfba1ca1a04caad42c4e71b49ee9fe1783","datavalue":{"value":"basic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487246$D8FDF28B-C3C3-4645-8014-16A05A61F6CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4a62be59df86ac5656fbe65ad3e6c1589611bfc","datavalue":{"value":"constructive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487246$68BE46F1-9348-406A-8A24-2AA834829E97","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":"Q4487246$F86A431C-5A36-44FE-B245-8F91439A94B2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"52654da7bf28931867ef9dcd2b3e42cc04357769","datavalue":{"value":"W2078736672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487246$2BC5C6A2-F06E-42F8-877C-14A171FB5BB6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6618a2316a12a3e9a348e678c9bcd5444063fea","datavalue":{"value":{"text":"A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4487246$1108A87B-A01E-48B6-91B3-C12B2917498E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"29a6926c43549965992e5b4b50ae970b9d0364ec","datavalue":{"value":"10.1002/(SICI)1521-3870(200005)46:2%3C199::AID-MALQ199%3E3.0.CO;2-B","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487246$D757912C-4A8D-4263-A726-7AF18001AA2A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e786225ac91fc6b8a818f836864e43a4c3735cf1","datavalue":{"value":"https://doi.org/10.1002/(sici)1521-3870(200005)46:2%3C199::aid-malq199%3E3.0.co;2-b","type":"string"},"datatype":"url"},"type":"statement","id":"Q4487246$EDC04A9C-30F1-4C0C-BC04-5E9550BA597B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b63fba6c25cfaaa4ccda4bc08ce583296f8d5264","datavalue":{"value":{"entity-type":"item","numeric-id":1300007,"id":"Q1300007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"191271edc7261bdf2f011683b840ffcedcb637a1","datavalue":{"value":{"amount":"+0.780038595199585","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":"Q4487246$0C4C1F26-8A6E-4555-BA3C-4419D5D7C16E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"975271918cc45843c338aa279e7e8dd254fdb0c2","datavalue":{"value":{"entity-type":"item","numeric-id":4424650,"id":"Q4424650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ef4fa46110aed423001821df4f6d7d76651df1f","datavalue":{"value":{"amount":"+0.7461269497871399","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":"Q4487246$84D25E6D-03C2-4AD5-A1E2-798F1C6856B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6303cfa49c032aded639e74c60d8cd5923d39e1e","datavalue":{"value":{"entity-type":"item","numeric-id":5434524,"id":"Q5434524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f391879138d56e807327cc94eb6ee9b5304ed54","datavalue":{"value":{"amount":"+0.7400457859039307","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":"Q4487246$68E5DAA5-9803-4AB3-B35E-DA122B30FD55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e62fe36ad7092bfa553a3f157ef049193056831","datavalue":{"value":{"entity-type":"item","numeric-id":5234697,"id":"Q5234697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"204a78e96c67bc3677d82b75623b907572cb6254","datavalue":{"value":{"amount":"+0.7346457242965698","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":"Q4487246$C35F2F44-0A8E-4796-9693-85D8F00CF010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b957ad6dc5d90a250dd508d48d7d6fc846bb993","datavalue":{"value":{"entity-type":"item","numeric-id":1198409,"id":"Q1198409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73f68652f03568f8c1aca5d8365f73af62b1b48f","datavalue":{"value":{"amount":"+0.7248179316520691","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":"Q4487246$FD2F48A7-521B-4FC1-AF7F-FC2CB2BA7C80","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4487246","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4487246"}}}}}