{"entities":{"Q3708019":{"pageid":5737925,"ns":120,"title":"Item:Q3708019","lastrevid":80989400,"modified":"2026-05-06T17:27:50Z","type":"item","id":"Q3708019","labels":{"en":{"language":"en","value":"A G\u00f6del Theorem on Network Complexity Lower Bounds"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3933068"}},"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":"Q3708019$8DBB2298-74B8-4CB9-AE7B-BBACC02CBE4B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4cdcfc162ff8a87effa20b1f2b3b06c8696fc77b","datavalue":{"value":{"text":"A G\u00f6del Theorem on Network Complexity Lower Bounds","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3708019$5F49F869-67DD-4FD5-87E5-BB7A8845A126","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c489d9ddd4168906f50c0cc597339d58de748090","datavalue":{"value":"0583.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3708019$81B530F6-5FB2-4F3B-A579-ABA215360470","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3708019$5F857D42-4874-4DC6-B1C7-A60556CAD771","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3708019$F82198AE-4634-496E-9EF1-D1CA1A6BA97C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3708019$22079ABB-F1F6-4614-B91E-AFEA74E893C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3708019$D6401E54-12F2-4DC4-BD87-85B3800D386D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3708019$FF36B076-6ED7-403B-8DEA-1A68920B80BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5fcfbac0abc6f426a19ccf23ed7f43c3f5e5ee25","datavalue":{"value":"3933068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3708019$DF033AD9-F2E3-4193-B45E-633EE60ACCB7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7861d405a9971345694c1f3f0657d2fb86fbb667","datavalue":{"value":"incompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3708019$9D356B95-868A-4E04-8076-E6409592C68D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3459710f90318826b99e7d4f4f23e0d04882a91e","datavalue":{"value":"lower complexity bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q3708019$15A44062-C2A6-46FA-B4B6-0E85083961DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb5a830579b475e59eaac799be7398a9142f423b","datavalue":{"value":"Boolean functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3708019$8EDF4937-A2C3-4F01-971A-5DDE0E926172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22dd28788506a00de32eac4316847a5d3063e60f","datavalue":{"value":"minimal proof length","type":"string"},"datatype":"string"},"type":"statement","id":"Q3708019$D29385D7-DF6D-425E-A754-FADDBC121633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d56e2ea122a6ac53310a27ad27186215a82dde6a","datavalue":{"value":"formal proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3708019$AB2EB238-4E48-43C5-B500-9F9006CBB0FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c42738f9deefec75387e9d359812a8128eb9442","datavalue":{"value":{"entity-type":"item","numeric-id":1126892,"id":"Q1126892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3708019$C908602C-AB38-4BA1-B42F-FA378859B4C2","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":"Q3708019$01903962-81A5-4D59-BBBB-F15FDC7ECFAD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fd5e83f866773defd38bc74c0217e98b27fb7e55","datavalue":{"value":"https://doi.org/10.1002/malq.19860321912","type":"string"},"datatype":"url"},"type":"statement","id":"Q3708019$28B9D2AE-7396-4A6C-B096-7963E2D23758","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ef00c0acba6b39fae318d50341d365cd04304fea","datavalue":{"value":"W1978889713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3708019$BF9BA7DC-AC88-4553-A798-E1054A7481FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ec86a6f1a4be2ba330c14264fe674bf4ba6a7e6d","datavalue":{"value":"10.1002/MALQ.19860321912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3708019$BE8AFADE-C2A2-46AE-8926-62E8B2AE35F3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4299bbf7c8da5dbfcee8802e6295141c0218358","datavalue":{"value":{"entity-type":"item","numeric-id":794625,"id":"Q794625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"003b633436392107357d2a1c9594d954246a80c0","datavalue":{"value":{"amount":"+0.7799445986747742","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":"Q3708019$A58B093B-BA7D-498C-BD2C-BFD938C0D36A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a63c85571ec1de4afc57a1cb7c3b5eb9a062c47","datavalue":{"value":{"entity-type":"item","numeric-id":3335688,"id":"Q3335688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fd8f623281043a4e054666ff78be1ec3f76cc51","datavalue":{"value":{"amount":"+0.7578883171081543","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":"Q3708019$56F74817-BF77-4611-AC28-D558328F1091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0074d3e1482d2291b46ba2d08f3e736061ae14f7","datavalue":{"value":{"entity-type":"item","numeric-id":4029623,"id":"Q4029623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cc7846b0054c7ffb330f11f85a4944ca90780da","datavalue":{"value":{"amount":"+0.7554668188095093","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":"Q3708019$66F7B5C3-9639-474F-A873-5DB5492A057A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce963ade31967596c0692ea4f09f82e068865f45","datavalue":{"value":{"entity-type":"item","numeric-id":1380287,"id":"Q1380287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cc7846b0054c7ffb330f11f85a4944ca90780da","datavalue":{"value":{"amount":"+0.7554668188095093","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":"Q3708019$46DC5451-4669-4040-B2F6-1665D30577EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"809a1a994c93dfd0c8821bac90be655ec382bab3","datavalue":{"value":{"entity-type":"item","numeric-id":3356246,"id":"Q3356246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e0cd4d53a1eaa3f3cd2d9ed2f3d846e2eb2ca5a","datavalue":{"value":{"amount":"+0.7464104294776917","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":"Q3708019$7137BC17-B2AA-4CD6-8DE3-C09AAEB72CCB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A G\u00f6del Theorem on Network Complexity Lower Bounds","badges":[]}}}}}