{"entities":{"Q5092560":{"pageid":7122136,"ns":120,"title":"Item:Q5092560","lastrevid":54369389,"modified":"2026-01-26T17:22:34Z","type":"item","id":"Q5092560","labels":{"en":{"language":"en","value":"Proof systems for 3-valued logics based on G\u00f6del's implication"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7561912"}},"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":"Q5092560$C53B4175-1A1E-443B-893C-02A61C057EA7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"65220730914588be606e6d905908b1ea4dc0dae0","datavalue":{"value":{"text":"Proof Systems for 3-valued Logics Based on G\u00f6del\u2019s Implication","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5092560$108CEC15-7BA3-4E04-ACBF-203145CE42FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"92f96fe3cf445fab5ac638023ba8adbf854bbd54","datavalue":{"value":"1494.03059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092560$80B71BE0-DF2B-4E02-87CE-1A88B559590A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38e5feaca6a18ae5db8032e07273f94a7d6bf0a9","datavalue":{"value":{"entity-type":"item","numeric-id":229729,"id":"Q229729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092560$47EE8F6F-6961-4589-950D-90F0EA510202","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092560$68D6B0DA-6C93-47ED-9DB0-6F412ED3C8E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d46ecef1ec827ad3e2f040d1d1db4685eddc02e8","datavalue":{"value":{"time":"+2022-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5092560$75ED2691-33D2-4628-B327-EB44F5487752","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092560$BC652362-7196-4FB2-9DAD-3170597FA527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092560$F74E8A89-8F96-4A8F-A7D5-775CA8E8A7AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7413d06b4e71cb7646ca7a34f4aa3f108a6b3d76","datavalue":{"value":"7561912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092560$A1194BA4-E4ED-4858-A041-6DC918EBE3D6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31e3c660297e4e03348a0b7cd63e920497d9843e","datavalue":{"value":"3-valued logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092560$9A003414-E228-4CE4-AEFB-BB5B62E7E98D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b991558583761935d32090db339d1de58b97d70","datavalue":{"value":"G\u00f6del implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092560$26FF64EF-4682-41F5-A622-2089BB5998D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8761dfa0e04ed0afc17ec672b2da46b67e4515b7","datavalue":{"value":"analytic Gentzen-type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092560$EF377AFC-F56B-47F1-BA25-481AF347FBF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad4ae38e7939ff6bb121d11a8cffd47b1f195f42","datavalue":{"value":"Hilbert-type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092560$B6796382-EBFB-4834-B8C8-5314FE4862D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3a5b36a1f0c614b7809ac890f732c806aa03f79","datavalue":{"value":"paraconsistent logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092560$A29AF073-A4CF-4F3F-A9FA-7BAEBA61CFA6","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":"Q5092560$50173EA4-FD02-4BE5-B473-26E199521DC1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cdb227b30ee34198541826cb301d7bb160cb9913","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzab013","type":"string"},"datatype":"url"},"type":"statement","id":"Q5092560$0824E225-0908-47C8-9EA2-4ADF4A7B359D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e032011e2910e313799b710fc3e1e301ef277ac4","datavalue":{"value":"W3132355861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092560$77DF2EC9-3B6D-4D4B-92B2-D1739A7692AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"275bcb8576853f2cf35b959eccee284928afab2d","datavalue":{"value":"10.1093/JIGPAL/JZAB013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092560$F5697156-27B0-468C-AF18-92D591E133C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cc7d08b294a654da49e0aec9a53131b1ed2de22","datavalue":{"value":{"entity-type":"item","numeric-id":5172138,"id":"Q5172138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24a60913de2e89244f6c90157b1dd0c25bae72fd","datavalue":{"value":{"amount":"+0.8546556830406189","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":"Q5092560$D362D779-5035-4B2C-9845-16D2603F1B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4860b701413033cfe1baf6d2679d3eefaffeea2e","datavalue":{"value":{"entity-type":"item","numeric-id":3981456,"id":"Q3981456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3d7980c9ab3867ce6f0996027e802f2f9777124","datavalue":{"value":{"amount":"+0.8105275630950928","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":"Q5092560$8227BE27-D5DA-4FAC-8BE4-3DD9790DE8DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84bbb944d7bd330bc1afb709ccce74d67d547970","datavalue":{"value":{"entity-type":"item","numeric-id":1277163,"id":"Q1277163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c44d1916b99057222a0569365fc79f9d84de3f6","datavalue":{"value":{"amount":"+0.8091426491737366","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":"Q5092560$AE021A82-7ECB-463A-B9F4-6E1A3A0871D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"166adc6eb66882eed52fb8c17b21ffb934ab18b1","datavalue":{"value":{"entity-type":"item","numeric-id":3643367,"id":"Q3643367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a61ad5bb83ca705d9310b0479ce68c20a34f812c","datavalue":{"value":{"amount":"+0.8018131852149963","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":"Q5092560$E0177F3A-1C5B-48ED-AB5F-54DE7B4E2972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25c114d341fcd92f5c35777d0c6a8b9e0104a5d6","datavalue":{"value":{"entity-type":"item","numeric-id":2987717,"id":"Q2987717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b38466e239c1b77dd1321e9733c34d92b7c4c3b","datavalue":{"value":{"amount":"+0.8000601530075073","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":"Q5092560$93DDDBF3-B636-4124-8143-6856CEC9E70F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5092560","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5092560"}}}}}