{"entities":{"Q917327":{"pageid":919175,"ns":120,"title":"Item:Q917327","lastrevid":65364951,"modified":"2026-04-12T02:05:11Z","type":"item","id":"Q917327","labels":{"en":{"language":"en","value":"On the completeness of modular proof systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4155918"}},"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":"Q917327$193E197F-8805-43EA-8FF7-F30DE5C3594C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d10bb164bbeac96853ea63655ce4b2de931a8298","datavalue":{"value":{"text":"On the completeness of modular proof systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q917327$3A3686F5-1F3C-4B83-A2B5-55E7D324C550","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e89ed349691ee5e51211effb9332a416b62474a7","datavalue":{"value":"0704.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q917327$91C1BE25-09AC-49DF-8E8D-BCA51EFF7E7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"416747139179be80ed57492a4fdd251034d62fc0","datavalue":{"value":"10.1016/0020-0190(90)90073-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q917327$2C7519AD-7B38-4C2C-9DFB-EC55CE7C1AAD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d56612cb84f7069100c4cabafc4cc7f11973342","datavalue":{"value":{"entity-type":"item","numeric-id":914554,"id":"Q914554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917327$91BD71B8-0C2D-4BB5-9548-36654470576B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917327$71B2F05E-2061-4D18-B47D-974FDE357BD1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q917327$74368A29-71AD-4F5D-8110-7A09217245A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q917327$536B747C-908D-499D-A414-60870A8FDE3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q917327$C8ED5167-D625-4700-82E7-BB79F58BEC77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a37c39be384497d7fc42ae0ac5dca17ed632d29b","datavalue":{"value":"4155918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q917327$BD9855AC-DA90-4E5A-BEF9-41860227F6DF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q917327$975A4609-D28B-48DC-BC74-CEA5A696C885","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":"Q917327$BE14E154-AC4D-4138-BC5D-20F3F43746C0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1bca25ee9ef68caaa088afc90335152eb49e2e9e","datavalue":{"value":"https://doi.org/10.1016/0020-0190(90)90073-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q917327$D4664DDA-8DE4-420D-9AB5-E74257B2141A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8f10af7e690ee05e750e21280758a77affbe3764","datavalue":{"value":"W2091774687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q917327$4C4F14CC-8FA0-4C35-A610-E35CBDFA80AD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3bc80122c3248b7370a66f915205122d19550f7","datavalue":{"value":{"entity-type":"item","numeric-id":3925144,"id":"Q3925144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917327$46D3FB20-4B01-434E-B10F-1B64E9A9E9C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb12b188658ef9d46086882edec316113d94d7af","datavalue":{"value":{"entity-type":"item","numeric-id":3899466,"id":"Q3899466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917327$37774FD3-C916-40AA-A537-274FDF6A67E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c71c26bf7e075dc23cee40b3135f1af13e67a2","datavalue":{"value":{"entity-type":"item","numeric-id":4151703,"id":"Q4151703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917327$FA1E783E-376E-487C-865D-7EE566ACA85A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917327$757BB523-4A00-455D-AAD9-45B58626507F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81f5a1bf73ad7c6b6dc9013f79221f2ece1c6125","datavalue":{"value":{"entity-type":"item","numeric-id":1838825,"id":"Q1838825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917327$F3EECAA9-9341-4433-BE7F-13348A6725E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"971a61db5c71fdbb6161cd258289176a353f0c84","datavalue":{"value":{"entity-type":"item","numeric-id":5583954,"id":"Q5583954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917327$74634E3B-36B5-41CF-9C0C-D0F9CD16F32C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"377324767631186c74643cd4927092bc831167c8","datavalue":{"value":{"entity-type":"item","numeric-id":4139636,"id":"Q4139636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917327$D54FCD1B-E38B-491F-9722-81995D395CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb2e9aeb250aee552f9c7acabe3d57da193b2393","datavalue":{"value":{"entity-type":"item","numeric-id":1187626,"id":"Q1187626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917327$6D3881CD-8E31-43C6-A433-06DC9A994D6F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c6f8f4ec66eccd7dc7e8be168a2f0425bdd313b","datavalue":{"value":{"entity-type":"item","numeric-id":3125168,"id":"Q3125168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5456e073f65232cab55c5f8e66545a796ffc4d35","datavalue":{"value":{"amount":"+0.9061806","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q917327$84750E70-8654-4831-BE2E-9A464FE7AEFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e49ae7fd69b1bbf5d794ffe577ac1efbb3b2d6b","datavalue":{"value":{"entity-type":"item","numeric-id":5055813,"id":"Q5055813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f381099d85ef07550cd42a29947ecd07e1b0da55","datavalue":{"value":{"amount":"+0.90579605","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q917327$A89D2624-038C-4A6A-8305-BAA491FFE247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0fe463ce9a8ce536ad0418152dc67a9f8cd4b68","datavalue":{"value":{"entity-type":"item","numeric-id":5307056,"id":"Q5307056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"174e175083c861b2135db210117e17e4fb9f9899","datavalue":{"value":{"amount":"+0.9055583","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q917327$7CE128DD-8BF5-435C-86AD-B9A9C7696734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d07715cf830ed83234de3f7deb847acc8fb7b17f","datavalue":{"value":{"entity-type":"item","numeric-id":3347269,"id":"Q3347269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86f60697ba2337f8795a4242035f7c60464d636b","datavalue":{"value":{"amount":"+0.90131176","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q917327$B5639573-5B81-4C21-842F-FAB8556FED1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a029b91876278cf14be7394fcd63a6ea694d1ca","datavalue":{"value":{"entity-type":"item","numeric-id":6099618,"id":"Q6099618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33dae0491b67e39739a7b36b10f3df90145c573d","datavalue":{"value":{"amount":"+0.89925116","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q917327$940D1394-F37D-4181-9FCB-46A51474EA76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f72e67ffb8794611707ce233a5e778fa44d33a2","datavalue":{"value":{"entity-type":"item","numeric-id":1350349,"id":"Q1350349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"878872c51b72716023b50428e3cb1864eaff3981","datavalue":{"value":{"amount":"+0.89924026","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q917327$1F8C9C28-5F4B-4F17-ACA4-A131C2661AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"080a419b9b0dcff01a3438bc48e42697d75c5828","datavalue":{"value":{"entity-type":"item","numeric-id":4332423,"id":"Q4332423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcd522200d74ce33a0de2e19715c28ab2682d569","datavalue":{"value":{"amount":"+0.8954739","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q917327$E55BF483-90F6-4808-8563-1C162DE15DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"240015730767281d4f70b3de5ef16036944afe55","datavalue":{"value":{"entity-type":"item","numeric-id":4349581,"id":"Q4349581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcd522200d74ce33a0de2e19715c28ab2682d569","datavalue":{"value":{"amount":"+0.8954739","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q917327$066B69E0-1317-4204-957A-97731572BAB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54aa410ae4bf209460f65bf42ff8fa5f48475674","datavalue":{"value":{"entity-type":"item","numeric-id":3707371,"id":"Q3707371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a100bf5add5942c7332e3bb47d20301c32018d51","datavalue":{"value":{"amount":"+0.8916127","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q917327$2A142BAC-CF63-4C84-8819-9B7BCAF10FC2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the completeness of modular proof systems","badges":[]}}}}}