{"entities":{"Q302177":{"pageid":303944,"ns":120,"title":"Item:Q302177","lastrevid":60883857,"modified":"2026-04-10T19:45:04Z","type":"item","id":"Q302177","labels":{"en":{"language":"en","value":"Proof complexity and textual cohesion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6600702"}},"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":"Q302177$11386A21-258A-441C-83BE-1D9B260F9063","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d5c325362c088d593b83d45a31377d1a3bb8b8c0","datavalue":{"value":{"text":"Proof complexity and textual cohesion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q302177$66F7D67A-AEA6-4720-8E1D-4FF295A6BCFE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb92298a0dc0785667bd476c9fbc43126a3fae28","datavalue":{"value":"1375.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q302177$FD32529D-6B66-47A1-94D5-3ACC61635EA0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c72071a3fdb7d8f655abac4d4734160def97553","datavalue":{"value":{"entity-type":"item","numeric-id":302176,"id":"Q302176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302177$E291DF63-D648-46FE-A50D-CD3DCF5CFBBC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302177$6FDCC160-CA23-4A92-902B-DD6EB13F78C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccea17be691a57ca8c4424dbd0746575ec5c553b","datavalue":{"value":{"time":"+2016-07-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q302177$5D1F78E1-7890-4F53-B375-E017CC4420B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q302177$C221848D-5B66-42E4-B1F0-6A82B63FF9F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q302177$B2D2B05F-0F2A-48D8-9553-05762603D557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q302177$20335685-E2D4-434F-A6DB-CCB0E2AFA278","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01518a9ed82c9db8ee31a91db795a7f27ecb7f42","datavalue":{"value":"6600702","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q302177$FDF6DEA3-4D6C-421D-8786-8B69A83F90BE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q302177$3206466B-E5EE-46E7-BFDE-6BF25FB729AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e3eccf3f561805e892c7f8da5624f05e5b927b1","datavalue":{"value":"text complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q302177$265017CE-E007-444E-9E9F-161166224140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"213eb45c8ad3e3852d45f287040551a48e4cb3a7","datavalue":{"value":"cohesion","type":"string"},"datatype":"string"},"type":"statement","id":"Q302177$EAB06507-9EE2-498B-8D98-8276EA1DFAB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f98afca22b7612496364a3e437fddca7f03f428f","datavalue":{"value":"texture","type":"string"},"datatype":"string"},"type":"statement","id":"Q302177$BD6FD600-E490-42B5-8BEB-458DCD30D137","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":"Q302177$646DA6AA-5D07-4981-96EF-8BCCA6DF804B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"661d29f58216ed98809a0fe992ea16c859723ddb","datavalue":{"value":"https://doi.org/10.1007/s10849-014-9212-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q302177$CA6B28D3-BADE-48E6-8AF1-6A0AB92F684C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2768e14ee13ec841a2cd5728802d89b49e606f83","datavalue":{"value":"W1968378062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q302177$707917D6-F105-4F4E-8ADC-267C7E5D83CC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec35d9f646cc8d771faa909b820478537c01d869","datavalue":{"value":{"entity-type":"item","numeric-id":4274311,"id":"Q4274311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302177$3A0CCBE1-B040-49B8-9F3F-6705B6BFB6BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e499c86ee0646fff12cf3f079c9131faaea7b20","datavalue":{"value":{"entity-type":"item","numeric-id":4215637,"id":"Q4215637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302177$7EEB1EC7-C619-4E6E-AF79-56C76E4A6F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3798ecd2352848fc7f05ce377ca3bb7ca030a458","datavalue":{"value":{"entity-type":"item","numeric-id":1801306,"id":"Q1801306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302177$A5352AD0-F5C4-429A-AD50-BD6C85AF4B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302177$95708834-CBDA-41C8-9197-ACC4BFA05F4F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3a0f90ac7e1fc37a0543edc39e53144304b519d9","datavalue":{"value":"10.1007/S10849-014-9212-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q302177$DAD89AF5-4658-4FF4-9DE0-16CBA870F461","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d2414746d0c17a096536954eb7fca1268bd6b97","datavalue":{"value":{"entity-type":"item","numeric-id":5444711,"id":"Q5444711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8faad35d0187bf984eaf3dde0288090e920f6ce0","datavalue":{"value":{"amount":"+0.7692126035690308","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":"Q302177$EF33A46A-A1CB-4966-B880-4018C72034DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65b90f96d8fdd13cb1584e9d64baffe055a8943f","datavalue":{"value":{"entity-type":"item","numeric-id":3503621,"id":"Q3503621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1fd57f44f62cd161d486c332cd45ffa8be9cfe7","datavalue":{"value":{"amount":"+0.7541451454162598","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":"Q302177$3AC78FB6-A16F-4D27-9C07-4CD9A055462E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9854f742529f8c2fb12c6a47a27ffa54f02f1307","datavalue":{"value":{"entity-type":"item","numeric-id":937212,"id":"Q937212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30252feb929bd275c77e9b95603ac752a033b3fd","datavalue":{"value":{"amount":"+0.7531407475471497","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":"Q302177$90D005F2-99D7-4669-9984-1C1BFD5D2547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a46d5dfa63c64662a52760689daccf3b5abc30e","datavalue":{"value":{"entity-type":"item","numeric-id":647405,"id":"Q647405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51602ffd0fceb0a28ecd33728cddf8b8e7f9bad0","datavalue":{"value":{"amount":"+0.7522010803222656","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":"Q302177$BBDF5E15-476D-4A2F-9F45-885A5782F5A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b6cb292e5548e86037d304b7a8dbab15fe890c3","datavalue":{"value":{"entity-type":"item","numeric-id":5476847,"id":"Q5476847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cdcfeda22194826611dbba8d65c865d222c7eed","datavalue":{"value":{"amount":"+0.747876763343811","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":"Q302177$F22AC418-C3C3-45D5-BC58-C475D91A3997","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof complexity and textual cohesion","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof_complexity_and_textual_cohesion"}}}}}