{"entities":{"Q3430948":{"pageid":3441651,"ns":120,"title":"Item:Q3430948","lastrevid":50069224,"modified":"2026-01-12T21:01:35Z","type":"item","id":"Q3430948","labels":{"en":{"language":"en","value":"Proof Systems for Institutional Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5140668"}},"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":"Q3430948$181976B0-08E2-4869-A13B-3CB71A58FB3C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f6d2873e06f03d012d1acf661b9f9226f372ca0","datavalue":{"value":{"text":"Proof Systems for Institutional Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3430948$A15A43DA-CFAF-4E77-B3A7-A1C3BC3CED5B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8dbb3297a01cdfd5992d4c077af1c9d7521ad4a7","datavalue":{"value":"1113.03062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3430948$31435DF3-A10E-4E9F-8F77-5B07FFDE5D66","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2289c57fe71d0e69841efc981491fa17b2cd3710","datavalue":{"value":{"entity-type":"item","numeric-id":344795,"id":"Q344795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3430948$B17B55C2-2042-4D0E-AF5D-1BA1D1D1C749","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7c8fceed86d55ae63a2da79be40131d27662eeb","datavalue":{"value":{"time":"+2007-04-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3430948$2B294ECC-9352-4B8A-8DD6-CEFAD4FF5870","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3430948$E03AB847-B775-4ECB-8FF4-926A3625EFEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3430948$EF521708-DF6F-4BA0-9530-B8FC81114107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3430948$25372735-F83C-4DE6-B1E8-929B13EE8578","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"45d03c0a9decacc2e32d2fa7e74451fa3ba553c9","datavalue":{"value":"5140668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3430948$2D0B6D9E-3361-4009-83C2-2BD642C3E397","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2b4e6eb73b5958980e371fa19dd5ed515db82af","datavalue":{"value":"institutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3430948$F2E773E5-AA3E-4653-AC48-D6F8F9438D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af82f964286631926ef7240abc8d43981a55ecb3","datavalue":{"value":"quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3430948$CA4E8768-3ED3-4E26-B409-07CEF6E66E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f052f0341128ae3d3d9b8e6449abdc08ecefe03","datavalue":{"value":"morphisms between signatures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3430948$835AD0CC-FFE7-49A6-9C60-CB86C6C1FAB2","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":"Q3430948$8EEEE5DD-6122-4FF0-8663-6E255CE69F2C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"950767560f2ca47f9ef338cdf865ad6f203567fa","datavalue":{"value":"https://doi.org/10.1093/logcom/exi082","type":"string"},"datatype":"url"},"type":"statement","id":"Q3430948$CE899A49-1C9C-4BF2-9620-E0AE4E9A3B6C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0490110570e05c4152d0369924b0062471edc95b","datavalue":{"value":"W2158701616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3430948$2A8A3E48-F4E0-4C33-9ED7-F0335BDA683B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"940ad3d5d72b74608275a32e9aa4df1ac500b96d","datavalue":{"value":"10.1093/LOGCOM/EXI082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3430948$7A6851CE-7030-4020-803F-BD882E7671E2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3430948$76685912-14AD-40D5-87E8-A90015D9BEE6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbdbf44bd84ca6bd3164e1de617a71c795737ca3","datavalue":{"value":{"entity-type":"item","numeric-id":1853454,"id":"Q1853454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2e6177b8d9cd2868305f76c764111359d1148b2","datavalue":{"value":{"amount":"+0.8068307042121887","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":"Q3430948$775BBA72-4B3B-4C88-AFF2-D73C9F09AC48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d81bf7a4bb1f94e8ef7a7d1c118b7dd9565d8345","datavalue":{"value":{"entity-type":"item","numeric-id":3332238,"id":"Q3332238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58cd7dc580ae05eec9611e43476c5a05596c603f","datavalue":{"value":{"amount":"+0.8042410016059875","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":"Q3430948$A3CDB0EC-C9AA-4FFA-8454-A649F127436E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0d2a2320a9044182b64a06707cdc92100ce6b0e","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e4f222dc7cd7c5b58c3ce86807d539a55f79573","datavalue":{"value":{"amount":"+0.8026672601699829","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":"Q3430948$26D30385-EED4-48A5-A705-30846115E606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e516355d90d4c32a01f39753eb9d1bf2f4d660d","datavalue":{"value":{"entity-type":"item","numeric-id":5311059,"id":"Q5311059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85395f9f22068a467403df7e2d22b030af74fff5","datavalue":{"value":{"amount":"+0.802566647529602","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":"Q3430948$8D68D81C-6C4D-4A86-A853-7053FF19E4AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0951f06dafa16a6cf116bfd212d16c52fb5a90ec","datavalue":{"value":{"entity-type":"item","numeric-id":3776610,"id":"Q3776610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0987be8ed00a4918ad110c387e8ada9723a4ee0a","datavalue":{"value":{"amount":"+0.7866215109825134","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":"Q3430948$25CE3000-51EB-4D53-8367-382221D80949","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3430948","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3430948"}}}}}