{"entities":{"Q4558008":{"pageid":6587599,"ns":120,"title":"Item:Q4558008","lastrevid":53289494,"modified":"2026-01-24T15:54:55Z","type":"item","id":"Q4558008","labels":{"en":{"language":"en","value":"Proof simplification in the framework of coherent logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6985583"}},"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":"Q4558008$D529BC96-728C-4DCE-8754-BE85B97FBD5D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9134674df8acb8d7c8e853b4894be5305bf4d212","datavalue":{"value":"1413.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4558008$9C812E28-5317-4CC2-B92E-29E43EE1063A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7e35eaaccda96f63d4916ed49ef687de6057479","datavalue":{"value":{"entity-type":"item","numeric-id":294372,"id":"Q294372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558008$63B03899-E745-44DA-9F8F-1A22C68FFEDA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e6480f1bd2e006e0bd30995d0f76461d9896cd7","datavalue":{"value":{"time":"+2018-11-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4558008$53DD3807-14BB-419E-B98C-6D6B05A9360A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4558008$A90FB8B3-4072-4C2D-9D13-69B17712124D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4558008$4A29DD5D-2311-441F-A872-4CA63A9D0035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4558008$B4680107-3EAA-4A64-B3D6-0959F9EFF783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4558008$E9F4DBFF-43C0-4E6D-828E-6AAB5C365EC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1eb08ad51bda812fe46625c63c9e4850ad804dbd","datavalue":{"value":"6985583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4558008$E4F6310D-2C1C-4B70-8F8E-56251C08C6F6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66a965629f61e84a258bd823df7588e6009022dc","datavalue":{"value":"proof simplification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4558008$C6100460-AB6F-4FB4-9014-879AFD3789EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"223556ef87b8f25f218d19756cbdf5e24d0a2719","datavalue":{"value":"coherent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4558008$0348DD9C-823D-4C0D-B8E1-D1E0FF4B73CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b97591a1eec270d79d6d5074b2e7530729653abc","datavalue":{"value":"readable proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4558008$FBAC58C8-C3A1-4093-9359-E70395D0592B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d1585ca8380d459cc6fef1e6ce4a61850ace366","datavalue":{"value":"automated theorem provers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4558008$AE1BCFAB-D296-4E98-9EFC-52F55BC77BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b8078a0586c1df10211454739fe328554089afc","datavalue":{"value":"reductio ad absurdum","type":"string"},"datatype":"string"},"type":"statement","id":"Q4558008$3DEEEA77-AE5A-48B6-9F07-8B0CF9D5CD54","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":"Q4558008$8584B99D-AA79-4667-B20E-0C699677C770","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dda344dc59111ebdc243aa7385d8c420b1f3686d","datavalue":{"value":{"entity-type":"item","numeric-id":2767011,"id":"Q2767011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4c630ddad7531a2b748fc29df85b5144da01560","datavalue":{"value":{"amount":"+0.824086606502533","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":"Q4558008$30FB1BFA-E775-49EB-A6B4-DCAA4DCC19E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"239e9cc47417fe356132f0300d7025f42b281036","datavalue":{"value":{"entity-type":"item","numeric-id":6488544,"id":"Q6488544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0d86601f649d124c9f462b4aebb94446dbb9b17","datavalue":{"value":{"amount":"+0.7838258147239685","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":"Q4558008$F411D59F-3CD3-4C06-B8BD-0E536DFEF8C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b80fca7f62860281b4adc1942417ab1f4d67b95","datavalue":{"value":{"entity-type":"item","numeric-id":851139,"id":"Q851139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"821fc0a118a9a6c0f7867a132645184983a9ec3c","datavalue":{"value":{"amount":"+0.7738884687423706","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":"Q4558008$7C8BB4E4-0D09-4CCA-9141-8A3E2B9D3354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcbb17b5eeff24acc0ae046b77968c0618c1cbba","datavalue":{"value":{"entity-type":"item","numeric-id":5204800,"id":"Q5204800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58227b75ec15988da04f2a8a2daba5a28a7ddb1c","datavalue":{"value":{"amount":"+0.7664660215377808","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":"Q4558008$64494659-A969-42ED-8F58-7A25AC271C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a760c74583d2c9fd3acc648ecc03c499f5e936ea","datavalue":{"value":{"entity-type":"item","numeric-id":5495937,"id":"Q5495937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e05e0fa843ffd56457c8b865aed840a080ad77b9","datavalue":{"value":{"amount":"+0.7491967082023621","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":"Q4558008$1123390F-017A-433B-A22C-6B4208B705C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4558008","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4558008"}}}}}