{"entities":{"Q3066103":{"pageid":3076819,"ns":120,"title":"Item:Q3066103","lastrevid":79961873,"modified":"2026-05-06T15:07:07Z","type":"item","id":"Q3066103","labels":{"en":{"language":"en","value":"Label-free proof systems for intuitionistic modal logic IS5"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5834043"}},"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":"Q3066103$8886D064-4225-4992-B7B5-AF5EFEF69479","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bb056abfd92292c1f8f2c25ffbfc4deb3a2c0a49","datavalue":{"value":{"text":"Label-Free Proof Systems for Intuitionistic Modal Logic IS5","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3066103$95C7157C-8EF2-45FE-9653-39DE8C17380F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c367ae8435cbe9706dd948b52d6364bd6518ad4f","datavalue":{"value":"1253.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066103$D4C75042-AC50-4D23-9AEB-4C87CA0567A4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c98fee48c651255a133c7429920526f89f182a15","datavalue":{"value":"10.1007/978-3-642-17511-4_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066103$989A2D74-9A30-42BD-A2D1-98779E842682","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c43c9dea2040a308ad1527d71ba75aae30019412","datavalue":{"value":{"entity-type":"item","numeric-id":290916,"id":"Q290916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066103$F9EAA199-7191-4E1A-ACB6-0BC93B6155D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0618ef01335eda4cb324f37481152385c7ce02d6","datavalue":{"value":{"entity-type":"item","numeric-id":262132,"id":"Q262132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066103$33CD7341-4B7A-47D9-9A0F-43EA3AF9F76C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066103$0468D20C-076D-4ED6-B41B-1DF0308FA4D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"156b753d324324fc03cf856ff2e3142887c3187a","datavalue":{"value":{"time":"+2011-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3066103$FDADBEE3-5D01-4143-B7A9-ACD616B6B63B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066103$B0C1441C-F18C-4CE7-9C68-2C5D63952B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066103$19677C1F-6BC0-4246-8881-7740DE32E76A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066103$0DBEB2C3-1743-493A-9EA5-C6BEA79E29F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066103$6A8468E1-FAC2-409D-BFA2-1E69FC279967","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7956c7f5274e75360e4d803cb15197f19cf5447","datavalue":{"value":"5834043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066103$B06446A3-3F81-497C-8A4D-A192766580AB","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":"Q3066103$0336D62A-0DA8-42FF-A5B9-31A81A838A05","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ef8a6a0b8987d45da81ce61bb3bf00a79105584","datavalue":{"value":"https://doi.org/10.1007/978-3-642-17511-4_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q3066103$0F97D715-0CD5-4D45-BAEC-DED200367889","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"675d42adf723891dac10d83b00bc83743415de02","datavalue":{"value":"W1555795547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066103$118A9ACF-10CF-4CFE-8F5B-CC56EAF355B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01499085df2d7632ecab575d418ea8c1b560113f","datavalue":{"value":{"entity-type":"item","numeric-id":2901201,"id":"Q2901201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5319d1edf3b4c42d966e1cb55f4036ed8f20a13","datavalue":{"value":{"amount":"+0.8428025841712952","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":"Q3066103$F28E2035-928D-4782-964C-926523AE1F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c745365d72f15e1f383418bdd3ea9fb7ef7e2f6f","datavalue":{"value":{"entity-type":"item","numeric-id":4636304,"id":"Q4636304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb57ace97fa8858fb5f802051d1aac1840616d7c","datavalue":{"value":{"amount":"+0.8258510828018188","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":"Q3066103$C05CF295-F128-42AB-9914-AF66B6DD3B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f295daa925ebf37a1c6a09c638bd493c340bae6","datavalue":{"value":{"entity-type":"item","numeric-id":4612431,"id":"Q4612431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3839d4964572dee4a6a02f4d39b259c95a36c3a2","datavalue":{"value":{"amount":"+0.80295330286026","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":"Q3066103$9FF0995C-2C09-4CCD-B746-2C133AC73AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5461cb2508e87a4328967389321f1e4f348459c","datavalue":{"value":{"entity-type":"item","numeric-id":2701978,"id":"Q2701978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e586a356a82ad240afbec3e12739d86e6db5442d","datavalue":{"value":{"amount":"+0.7960692644119263","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":"Q3066103$CF20C829-0BB9-4CF7-98E3-7CDC30CB6D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0cc8a48c38cbddbc299ce2722ea8512d0ddab33","datavalue":{"value":{"entity-type":"item","numeric-id":1591340,"id":"Q1591340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc2950c844adac3928bd85153ee835cc42e888b3","datavalue":{"value":{"amount":"+0.788192629814148","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":"Q3066103$56980748-9D3E-4E8F-A1CB-D66D7A9B9D44","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Label-free proof systems for intuitionistic modal logic IS5","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Label-free_proof_systems_for_intuitionistic_modal_logic_IS5"}}}}}