{"entities":{"Q4411836":{"pageid":6441435,"ns":120,"title":"Item:Q4411836","lastrevid":48133861,"modified":"2026-01-03T18:08:16Z","type":"item","id":"Q4411836","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1948175"}},"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":"Q4411836$E638768F-CC4A-4E8C-80DB-57B73A093920","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"726ce6deea3ce5c286743e3ddb948a76458af1a7","datavalue":{"value":"1021.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4411836$AAB3D6B2-C21C-43BF-985A-590AF163A329","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec91c84374e1970ffeb850b5b07163b4a998968b","datavalue":{"value":{"entity-type":"item","numeric-id":167059,"id":"Q167059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4411836$A19EC17E-F6E9-4C1E-9E4F-97F2C38AA7AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72dabc59d6ac55abae8a5d41136834dd0407ff86","datavalue":{"value":{"entity-type":"item","numeric-id":276250,"id":"Q276250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4411836$EFCC386F-A843-4EDF-B557-697AC57657BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1ace7b5fa5cb53a6c5a725daaeb2e05de89fdd6","datavalue":{"value":{"time":"+2003-07-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4411836$DD200328-F6B0-4429-918E-A051B278FD0E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c438d3b23a42363c9674826ab13ac106c572199b","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2471/24710382.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4411836$69418961-684A-441C-82FD-EEBCE9335AC7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4411836$CB8D1EAD-A7E5-4F59-8837-795CDC46235C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4411836$30090B87-FB8D-4306-9DE6-86687233127E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4d0003b07905497551a85ed3f009e3df9dcd41b","datavalue":{"value":"1948175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4411836$61B2C4AE-4B6B-46B4-A29D-446CEE657D37","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19a3631aac7c9e13f732033fc70c676192b94966","datavalue":{"value":"structure of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4411836$631B30AC-9F4A-4E49-883A-0FD93B6C40D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ec7e0bc08295deb589ca3d602aeca8c0454efeb","datavalue":{"value":"complexity of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4411836$FF46C8E0-5704-4934-9DF7-737B9650E352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4411836$6CFCFFA8-B904-4D10-92B6-03A004F66E3F","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":"Q4411836$3730C3CC-7D0B-4899-AFA4-5FB953711DCD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4dee212e187de29ce3c977b6184c62a9143a69f","datavalue":{"value":{"entity-type":"item","numeric-id":4474833,"id":"Q4474833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"791bf998e9f905fd2a275abb8314c154119d08b0","datavalue":{"value":{"amount":"+0.755878210067749","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":"Q4411836$D92EEC59-DEA3-4BBA-8C9F-A9A2ECD636E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d884fad1be1d006bc9315d659f9d84f8d407e15","datavalue":{"value":{"entity-type":"item","numeric-id":2936239,"id":"Q2936239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d99b5b6aaf798ebab1775a768dc5c8b98b182538","datavalue":{"value":{"amount":"+0.7308360934257507","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":"Q4411836$0F49B4BD-7FDF-43AC-A20F-7228595E7E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ca8416c220ed1e0ca8590219d6b11448572e5d9","datavalue":{"value":{"entity-type":"item","numeric-id":331619,"id":"Q331619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"218174858067562b0266c16ec3fac661f6ccef55","datavalue":{"value":{"amount":"+0.7184921503067017","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":"Q4411836$988214BD-96BE-43A5-9F0C-6BCF7DD35211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc968fc081bfd42f16362de6125da6f02619ffa6","datavalue":{"value":{"entity-type":"item","numeric-id":930260,"id":"Q930260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80495be5a360829c4a3eec40ce0f57ba861b8c39","datavalue":{"value":{"amount":"+0.7126893401145935","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":"Q4411836$F2C90C2C-5834-442A-B684-BDFC9B14BF9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb18cac53b26dfe575f8a4f16186953196af02f9","datavalue":{"value":{"entity-type":"item","numeric-id":5027662,"id":"Q5027662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a0aa2cdf27cf006aafcf306665fde554b1f49cb","datavalue":{"value":{"amount":"+0.7106049060821533","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":"Q4411836$DED6D837-7AC7-475F-AA84-38EF08AB7FEB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4411836","badges":[]}}}}}