{"entities":{"Q3792662":{"pageid":5822568,"ns":120,"title":"Item:Q3792662","lastrevid":52824260,"modified":"2026-01-23T14:16:24Z","type":"item","id":"Q3792662","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4057487"}},"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":"Q3792662$447297C9-A596-4760-ACA1-03473648031F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fdc9093689914e461c97e24415f5db0039dbc561","datavalue":{"value":"0648.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3792662$DB3D66A8-E5F1-4AFF-B3BD-53DEF8423B4C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0dff8f4e618a7aed9d42af4359c46333b7f8eeb5","datavalue":{"value":{"entity-type":"item","numeric-id":2719125,"id":"Q2719125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3792662$F0EC0B88-274C-4896-9C00-7B529BE64919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"37e13fced503c18d454f290ca28dcba0c1ad9dc2","datavalue":{"value":{"entity-type":"item","numeric-id":1013084,"id":"Q1013084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3792662$39260E20-FB73-4259-91BC-6BDBA4868838","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3792662$5754A9B6-C903-401A-BC2C-6250EBA18666","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3792662$84CDAF37-D0D4-4F3A-8FCD-8185E79F965E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3792662$AB7D6236-55E8-41DE-B2A3-F72AC4E8A816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3792662$29805260-2435-4811-91B5-ABA251C9E006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3792662$60E3BEF3-3D16-4C81-B872-AE77294B4B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3792662$60549E89-9D07-4A92-B805-30F47FFCDED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ed1e3c6cced595a05b8ae19055521b22405b78a","datavalue":{"value":"68W99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3792662$40C7C4AC-7EA4-4E93-81B7-27AD8AB37A65","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a44709de99dd8279375329f788706ba23309a720","datavalue":{"value":"4057487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3792662$69F1BCA2-1274-43B6-8D5F-AC7A46AC5187","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52ba6d968a7617d9b56b80603a9b30974da2b918","datavalue":{"value":"determinism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3792662$0F374761-5EA1-433B-B6F5-5DEE106DDF16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3792662$4147D8DB-E30C-403E-AEB1-894019B58B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3792662$61976BD4-0F0C-4CB0-9B47-3C714466764E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b10d0d41cdb944f1b8ad3aedeedb6c9272f9d63","datavalue":{"value":"modal logics of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3792662$B3B66B92-4F05-4A58-AC75-F8A2FBA401EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4150cc071af573389b0f153adc216861cd5e3ba6","datavalue":{"value":"algorithmic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3792662$90F7466A-90EC-4239-B0D8-08C32DDE68F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11e4a10f86c261e922b1cecd8eecaf6716a70fa1","datavalue":{"value":"algorithmic properties of data structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3792662$CA76DC86-AE2D-413E-AE82-1514D8BB5DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db43e2496637fb9f0c97e0d2476b9f23a3ac945f","datavalue":{"value":"LOGLAN programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3792662$7536B912-5792-486F-B0E6-596B0F5B0A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1823cc516987106a30827dde84858f493062272b","datavalue":{"value":"Hilbert-style axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3792662$4C37502C-1011-4CC9-B56C-23D329B1A74F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b86423b5686667f7394bb6da25ec5323abb4a73","datavalue":{"value":"Church's thesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3792662$06163BF2-E339-468D-96C4-66757F7A890C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5a6c50a05b0d79b462fa816aa4fa216d7fbb91d","datavalue":{"value":"effective computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3792662$2CED1646-4CEF-466D-AA99-91526150263D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1f03331eda68c128964fa4d234f97104a9f7dbf","datavalue":{"value":"theory of algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3792662$7C5EC46D-8FB3-4367-BD93-ED9D281C69EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3792662$CB52F5CD-09A0-4F48-80E8-FAA127EB6D5E","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":"Q3792662$B04ABD97-B44C-46B3-A164-56D6EAE41531","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b22f6d7e523e489ef0a596f6cc8b424319f28cdc","datavalue":{"value":{"entity-type":"item","numeric-id":3709842,"id":"Q3709842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3e495abcf79ce13849a27a4c3fc688743ef6e50","datavalue":{"value":{"amount":"+0.9045891165733336","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":"Q3792662$DE3116F1-97CB-4A78-A6DF-7315CA2D15B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"641a798635b3ef511df325f1a279cb02318df3bb","datavalue":{"value":{"entity-type":"item","numeric-id":3316584,"id":"Q3316584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"582a67f3194015cd6bfca5069355b84fe87dd791","datavalue":{"value":{"amount":"+0.8365390300750732","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":"Q3792662$C39F3ABB-B170-420A-839A-920905A3052D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53750e778f847713f90c4de725d66f46175e2206","datavalue":{"value":{"entity-type":"item","numeric-id":801684,"id":"Q801684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"276d139015de4641c4689f5b44c6eca358cf05cc","datavalue":{"value":{"amount":"+0.8139336705207825","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":"Q3792662$E5DFFCE9-40C7-4F15-B96C-3AF94CB05A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4985c9fd9c204152fe3ea40b3af46521c9bde2ac","datavalue":{"value":{"entity-type":"item","numeric-id":3320347,"id":"Q3320347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66a742c7deae38052a01b07a0e5e22cdb7bd0b71","datavalue":{"value":{"amount":"+0.7974010109901428","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":"Q3792662$B24E38CB-A867-4513-BE9F-AB1FDC203B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f86362f0ed7fd06cae2bb058830109d64e0c5b7","datavalue":{"value":{"entity-type":"item","numeric-id":3727957,"id":"Q3727957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"401851969f9bbc6f344776ee4582941213515446","datavalue":{"value":{"amount":"+0.7929224371910095","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":"Q3792662$5DE87498-33D4-4A12-ADB7-B22892B3BFDF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3792662","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3792662"}}}}}