{"entities":{"Q5402564":{"pageid":7432138,"ns":120,"title":"Item:Q5402564","lastrevid":74421576,"modified":"2026-04-14T22:12:29Z","type":"item","id":"Q5402564","labels":{"en":{"language":"en","value":"Propositional representation of arithmetic proofs (preliminary version)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6270124"}},"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":"Q5402564$FB0A96B1-E473-4060-8415-29719B42AD5C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d029d8c37c61f082931c154f1248212e903490c6","datavalue":{"value":{"text":"Propositional representation of arithmetic proofs (Preliminary Version)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5402564$DDFF1965-22D9-405B-89A7-A3AED1AB8654","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d95a4ce841b9956c00d9c15ca118e45fd702f25c","datavalue":{"value":"1282.68112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5402564$C3A3B74C-F0AA-4240-BDF7-B23ACBEA263F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"985afa05763e4174026d3e9845db0fb769ad95e3","datavalue":{"value":"10.1145/800133.804354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5402564$86AA93C6-8F87-43F7-8428-17C57CCA3116","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"024aa4aa4eee86712b059a7b98963fe87c1230e7","datavalue":{"value":{"entity-type":"item","numeric-id":1184731,"id":"Q1184731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5402564$345B27CC-A1D2-4451-88CE-9412C1AAACA0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2829c1a1386220ab006ee0a1468db55a2e8980dd","datavalue":{"value":{"entity-type":"item","numeric-id":5402534,"id":"Q5402534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5402564$A9D29104-AC5A-4573-8DB5-EAC29FC2549B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b43a2c2b6eb630f564616ba070a6751b081d8977","datavalue":{"value":{"time":"+2014-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5402564$9119CFE8-E7A6-48D1-98A2-DD5FAEC85FF8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5402564$AECD17C1-3080-4096-AA92-EC8B515B1418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5402564$6855A06E-5424-4C18-BE91-54E0874C4C1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5402564$479F16F0-735D-4971-8FB9-D88E0598876A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd37630088ba82fcd5a34985c0e5690949406a9c","datavalue":{"value":"6270124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5402564$5CC8AF3C-AAE6-4DC3-9CAF-87DC02F2E251","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"834c45d526445b63ede129bf0252d3b47bed13e5","datavalue":{"value":"NP","type":"string"},"datatype":"string"},"type":"statement","id":"Q5402564$13DF5496-6AEA-46A9-8999-E5F889B3E3FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c90dabac5ca2a3b4f523fa6eed5fdfe603bc0e7c","datavalue":{"value":"P","type":"string"},"datatype":"string"},"type":"statement","id":"Q5402564$4F43B045-6173-43E7-8AB4-103600CD4ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ef1059ded76113e8a55895e9c6444f3ab0f16cb","datavalue":{"value":"primitive recursive arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5402564$071513DE-CE17-442E-A65D-B694C39F2C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc028f491ca3cd6c7521dd6f6f17a35cdad54a6d","datavalue":{"value":"proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5402564$53F0802C-A5F9-495C-A493-EA7CFA165EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bec6dac8174dd919ea6453d23e44243994d90f34","datavalue":{"value":"propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5402564$32C51BB2-36F9-4BB3-91B9-C899726430AD","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":"Q5402564$33D2ED46-49CB-4C3D-A898-1C9A2EC834DB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2ec6c7ef782b71ad6164e590a47e88bf39f38f43","datavalue":{"value":"https://doi.org/10.1145/800133.804354","type":"string"},"datatype":"url"},"type":"statement","id":"Q5402564$E0D08F27-A8A0-4FF7-9B13-272D2A74007B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"997b74ee0fed3027ae76a00c7af329d70ba2aea0","datavalue":{"value":"W2122245475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5402564$2117ED0B-CB42-42BE-939A-B68AA0E4B127","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf2b8deaf00c2e620a42baf0b6f9e20f9d1cf965","datavalue":{"value":{"entity-type":"item","numeric-id":1827388,"id":"Q1827388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b99a2cf957004b9a7c94d15744747a0e2d691a0","datavalue":{"value":{"amount":"+0.7668017745018005","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":"Q5402564$5CB888A1-8F82-4E86-A8C3-1CC09B3B754C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc3183689923508905e005e119b694cd352a57e4","datavalue":{"value":{"entity-type":"item","numeric-id":3327709,"id":"Q3327709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6c21dd968278f35a4ae8ce1d85cb939e8a0cd23","datavalue":{"value":{"amount":"+0.7592819929122925","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":"Q5402564$FE9FCF23-DE76-46D8-B5F1-EC3F627C26C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d99375d9af310691fe93cef97a2d130b782c085","datavalue":{"value":{"entity-type":"item","numeric-id":3472096,"id":"Q3472096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed3badca2f9bdf3840c9db8fe9085219a0831f74","datavalue":{"value":{"amount":"+0.7591267228126526","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":"Q5402564$C27F14EB-20A2-4244-BCD8-08CBFC5C0BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbc1722fdd4e21561c23984cda44fea5c3dbdd2c","datavalue":{"value":{"entity-type":"item","numeric-id":4375791,"id":"Q4375791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6941a5afa5a1ba499ca0d9de0847f9608fccd2df","datavalue":{"value":{"amount":"+0.7485780715942383","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":"Q5402564$CE856E13-FA81-49D9-934E-6E8F4763505A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"094d1340bd1d412900a173cb58d2895fe49ae516","datavalue":{"value":{"entity-type":"item","numeric-id":4353563,"id":"Q4353563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59f91dc24de9f21238f8876a2e5d52cab5665f53","datavalue":{"value":{"amount":"+0.7436208724975586","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":"Q5402564$0E74B8DD-F2C7-4EDB-B719-B279D875353B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Propositional representation of arithmetic proofs (preliminary version)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Propositional_representation_of_arithmetic_proofs_(preliminary_version)"}}}}}