{"entities":{"Q5955616":{"pageid":8132418,"ns":120,"title":"Item:Q5955616","lastrevid":40781526,"modified":"2025-04-04T16:19:18Z","type":"item","id":"Q5955616","labels":{"en":{"language":"en","value":"On different intuitionistic calculi and embeddings from Int to S4"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1705606"}},"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":"Q5955616$821C5693-5453-4EF4-BDDA-D59CC811A331","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d1db1bbc3e679db659e3c3f758174691013d578a","datavalue":{"value":{"text":"On different intuitionistic calculi and embeddings from Int to S4","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5955616$DFF5308B-A579-466D-8A73-E889F665CDDC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a8fd5f21dac4a60e55839dc5c6dd806c70179d8","datavalue":{"value":"0992.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955616$015BDF8B-FEDE-4419-BAE8-14C7ECFBED53","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"74bf13e4837454a9fef2c63b0a918f58575647b4","datavalue":{"value":"10.1023/A:1013869924088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955616$EB21564B-833F-4623-8008-64BB7CA4E0E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d140f15ea14007eb49a1fd3fff371fc795569921","datavalue":{"value":{"entity-type":"item","numeric-id":229734,"id":"Q229734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955616$B3F311DE-1D9E-48A2-BCF1-F9714553B3CE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955616$F5490429-803E-4BF0-9A67-DB982ACFFA59","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"46f7de6e5c68e72e4fbf800a42a75a27b0f09bb6","datavalue":{"value":{"time":"+2002-06-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":"Q5955616$8066A79B-E2FE-43DB-8266-173F0FDC5E38","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955616$62C2B313-E393-4146-A654-8A9274BFB26A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955616$3010F399-BF10-4D5B-9571-393656A55BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955616$2EAC6652-D90D-4812-8D5C-1A093A59D88D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955616$C31D55A4-79B1-4D9D-85F1-7A796941B395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955616$C464F17C-7907-4C63-9A49-C513E0993DA9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4657445f025466a35d6adda171210f4e8336b045","datavalue":{"value":"1705606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955616$801FDB13-18C7-4876-A2D6-AF6213DA5F68","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49058fe236cc71f1d19653ada260234b584151be","datavalue":{"value":"modal embeddings","type":"string"},"datatype":"string"},"type":"statement","id":"Q5955616$8AFEFA13-9D60-4A55-9EF3-44F143A346F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f6325a9d195e4cbe2e73ab3d8f05ebe0514711","datavalue":{"value":"proof translations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5955616$3E517B30-BD26-424B-9E4B-2BE956617375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f78da1b26074d1fcb4e2d42a0668f220f76a95f","datavalue":{"value":"cut-free sequent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5955616$05B0AF5F-1EC3-45A3-8E24-1D2C0B2E76FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6722b2209aa11f991e0cccfb18f727af37bf0db0","datavalue":{"value":"propositional intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5955616$85E1A4D0-BAF5-46B2-856A-D7B94A6144F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c21f97171bf74691b2a9a6eaf4dcd11c70477de9","datavalue":{"value":"embeddings from Int to S4","type":"string"},"datatype":"string"},"type":"statement","id":"Q5955616$DD37A24C-D6D9-4E02-B02F-5AD843A8A085","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":"Q5955616$81E415BA-E4C8-4F4A-BAA2-15E01FE1FEB2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"548f92d52a77acb282e2bd0934629c3838e6c6c7","datavalue":{"value":"https://doi.org/10.1023/a:1013869924088","type":"string"},"datatype":"url"},"type":"statement","id":"Q5955616$7BC7218E-48B7-45BA-AA19-23F2218412D4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"322f92e19609fa145d9ba15023978b11f350cb5a","datavalue":{"value":"W1568774728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955616$F3DE9E9F-A937-49C3-9E05-93C54AD79505","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a135242f929dc9ad5e4a89aeb79fb46c5b735508","datavalue":{"value":{"entity-type":"item","numeric-id":1378428,"id":"Q1378428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9fc91f19a56bd1730f54dfa10e39f519cf15455","datavalue":{"value":{"amount":"+0.8879936","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5955616$02C79328-9ABF-4C9B-8FA0-3E2605C070A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dac589f82cc0b21c9eb93556bfb80280168b9bfd","datavalue":{"value":{"entity-type":"item","numeric-id":1397803,"id":"Q1397803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae178ff076718628b76daca78ed5da8ccc273916","datavalue":{"value":{"amount":"+0.88684386","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5955616$E1A3B22D-8B07-4FE9-AE2A-CC6545B2D10B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66188545c731d6eb53620fd9b47a463e4cb48148","datavalue":{"value":{"entity-type":"item","numeric-id":3410685,"id":"Q3410685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"325047c732cb06703d6cb9af46944e6014d14a50","datavalue":{"value":{"amount":"+0.87269574","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5955616$3748686C-936F-476C-9C5E-7BB16EE02AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ce88ec04a715a972bfcaed14b46d9b9523072db","datavalue":{"value":{"entity-type":"item","numeric-id":3714057,"id":"Q3714057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f938533fac816a607d79e5888b56b653abb5017","datavalue":{"value":{"amount":"+0.8722637","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5955616$9D2BDBD2-A6A0-4A6A-8F91-596DA7907640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99812f8f0d789d7b3463f66b2fe06509e8e5177b","datavalue":{"value":{"entity-type":"item","numeric-id":4857864,"id":"Q4857864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1992a3081ed1577cc4d796423d61b863879353b9","datavalue":{"value":{"amount":"+0.8652807","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5955616$19D88426-FFB5-4E07-8DCC-D92C79EF1990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"539e23ec5166ab3b7fc08770c8ddc5f14fcca256","datavalue":{"value":{"entity-type":"item","numeric-id":3358708,"id":"Q3358708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68a12d6affb996b0713c8bff509a495112d6f8ed","datavalue":{"value":{"amount":"+0.862209","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5955616$EBAD1739-9891-434F-87C5-DE31A828F954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"939896e1966f98dc573a79af75b2c9c07c9ca83d","datavalue":{"value":{"entity-type":"item","numeric-id":5222518,"id":"Q5222518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7671b4da2f00b13f8abd42d481783beea9a81bc5","datavalue":{"value":{"amount":"+0.86066437","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5955616$E4D6D58D-51BB-48EC-A364-930C7E2767D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94a98c27a5173e0b252bbbe1b2cb125a68e2a721","datavalue":{"value":{"entity-type":"item","numeric-id":5595152,"id":"Q5595152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98aa1562d667ef6a6a195e44046ebf9dc7a92455","datavalue":{"value":{"amount":"+0.8448987","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5955616$8FB61D21-DCBB-44B3-B953-43F5A7F595FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"616ab76eab966f6c6a6441da808485224a21b7cb","datavalue":{"value":{"entity-type":"item","numeric-id":3520239,"id":"Q3520239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bd4ce390f148e47b38ec3e601a7d6a881f83c83","datavalue":{"value":{"amount":"+0.8445089","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5955616$EB3A9685-9D71-4EED-99BD-D26707BD8AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bfacc80ecd655cc1d57511fa5965298f1c1ce26","datavalue":{"value":{"entity-type":"item","numeric-id":3362546,"id":"Q3362546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0409f190b28de6651a6e7e4cd06ade36d044e0bc","datavalue":{"value":{"amount":"+0.84146494","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5955616$55F7A5F1-2D7B-4620-B043-790D514A1D50","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5955616","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5955616"}}}}}