{"entities":{"Q4913583":{"pageid":6943162,"ns":120,"title":"Item:Q4913583","lastrevid":51688076,"modified":"2026-01-19T12:03:30Z","type":"item","id":"Q4913583","labels":{"en":{"language":"en","value":"Logical foundations of mathematics and computational complexity. A gentle introduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6151690"}},"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":"Q4913583$3C584F77-70B0-448B-9224-29B40816310A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"34fdaffb5a1181b392d54070ce84e1c75d8aaa74","datavalue":{"value":{"text":"Logical Foundations of Mathematics and Computational Complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4913583$A69C8652-BF8F-46AB-B62F-4E13CC815180","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5be16322b7d511afa5c338657b1fb50c36e817e2","datavalue":{"value":"1270.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913583$0685E5C6-B6A7-4946-A6EA-1B6EA1697366","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b956ace97320c17bad679498a760a3efdcea400","datavalue":{"value":"10.1007/978-3-319-00119-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913583$7829C058-3A33-4011-ADF0-182B88FC58C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"318018faae3560d6874b4d183002bf8aee67c872","datavalue":{"value":{"entity-type":"item","numeric-id":185618,"id":"Q185618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913583$4F140EDA-DC44-4D82-B89E-C042F99404F6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"06a1538b03f942d7a1d34b5918fa65c1260d529f","datavalue":{"value":{"entity-type":"item","numeric-id":2796112,"id":"Q2796112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913583$52432EE6-F371-4551-8F1F-FAFED0C34854","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4e7d4a9c2dab1adecb321dc007b7a701717623ba","datavalue":{"value":{"time":"+2013-04-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4913583$0A6CBE21-37B7-43B2-BCEF-1785ED1B2C70","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913583$6E9841B2-6BE9-4875-AA9A-73F1B16D0718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913583$61475F10-64CF-411F-A91C-2752FB111726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913583$44A3E4C2-23F1-46BC-96C3-7444EA3D000F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913583$0B97E7E8-BE08-4C15-9837-EE970E607CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913583$1AAF4D11-7805-4A84-83A2-B46B41CFC0F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913583$A520F5E9-21FC-4F46-9EE9-C3D822CEFAB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913583$4D84B37C-284A-48BD-8229-590B7B20EB1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913583$90B03174-47B9-4571-A108-BBDE7E7D1C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913583$30426557-2F5C-40F5-AB69-96F6D32BCF1C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"48e080e18f1c0633df93143a303e819230edf9b6","datavalue":{"value":"6151690","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913583$F3180AAE-3102-4778-86B8-E5EC636606FA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"294ce292240a6f433049300002b95cd141bb363b","datavalue":{"value":"foundations of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913583$38C70E0F-54B9-4CEE-9882-FFEC33410A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913583$7FEA8649-04C6-4EB4-9906-1896CA121C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bbb0c1d4a0dde26226934f7234d049627289106","datavalue":{"value":"logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913583$ABC4ABF7-E29D-4300-8888-F39825A54F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46386232ce22237553a09399db388958f7e4ec1b","datavalue":{"value":"language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913583$E85DD94C-DCFD-4CC8-BEAF-48E982E8092F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90b2ed3c130c30bac7174fa9b54a06645cc1227f","datavalue":{"value":"computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913583$81ED7936-5591-42FA-80D7-66A9D4C88891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913583$23578CBA-9400-4631-BEA1-9C3FC9178DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15b2629b3f5a282094a2c64e7943dcf95e67318a","datavalue":{"value":"proofs of impossibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913583$3B81A4B6-7D6D-469C-8BB3-3D562D93491A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913583$627D1DEE-EBD3-4338-8CB7-7D52C3044960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913583$C7B7429F-A085-4DD0-92A7-746D3B800612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d76ec4c3ca5ea2786bb74ab23a71c3207f2b5eb0","datavalue":{"value":"truth","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913583$85832CEF-C395-482F-8C54-BB6A6D694F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d2a69137098850450d1a17ddf83d6c1a1704d1f","datavalue":{"value":"existence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913583$C02B0F2E-1B87-455C-8BC2-21D2A618119D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"abf3ced849cd9f0a2280c1b46e3154f3cfb11125","datavalue":{"value":"Q55121571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913583$75B2D9CE-B335-43E9-B77B-2A6D63F2FB8A","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":"Q4913583$A9F7F493-E36E-4653-AAD5-FC0D137EBB89","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6831f266e937ddf40e69f4867df47eaeba4a5f40","datavalue":{"value":"https://doi.org/10.1007/978-3-319-00119-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q4913583$678B00D2-624C-4097-B9E8-A573B5060337","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"37f43ccf9fb93478201ba06a2a43ebf780bb330b","datavalue":{"value":"W2487337578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913583$EE39705E-DDCB-4AC9-8CEA-DB6B7DE8E03D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72fc111227ba47d80c1abc3016be6f463c0cd9f5","datavalue":{"value":{"entity-type":"item","numeric-id":3718677,"id":"Q3718677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"476183d790f3b9325a2bf66c5202a6c1568cc82f","datavalue":{"value":{"amount":"+0.8125671744346619","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":"Q4913583$BDD5E8F0-B364-404E-BEEB-706FD7264475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d099b8fe424c1e689782a511828a1239dd56bafa","datavalue":{"value":{"entity-type":"item","numeric-id":5707890,"id":"Q5707890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c328f1d5866331e789db0f3f10ca3c68827b1cfe","datavalue":{"value":{"amount":"+0.8089864253997803","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":"Q4913583$C8525CA7-0DD1-4129-8B40-F7326EBAF08A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3346aa0ebbe9ef365f7ba8b59ba1938c4950600a","datavalue":{"value":{"entity-type":"item","numeric-id":3586892,"id":"Q3586892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"899ccf8a60e751eecebb96b4a3698f03c721414b","datavalue":{"value":{"amount":"+0.7924550175666809","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":"Q4913583$4B993B74-320A-4F02-B89A-F31B180374E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31b8dc9f4c80246c43d5af0b56dfc05321c0d394","datavalue":{"value":{"entity-type":"item","numeric-id":4663513,"id":"Q4663513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53659a20a5551666280a0859698923b067bcf48e","datavalue":{"value":{"amount":"+0.7869229912757874","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":"Q4913583$B35027C6-3798-467D-A3FB-039042F79A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f86a9f463aa02eb11280d16a4de6631fed66dac","datavalue":{"value":{"entity-type":"item","numeric-id":3644853,"id":"Q3644853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6ede8b1b9b2134d7ed499811b85162d78312786","datavalue":{"value":{"amount":"+0.7866172790527344","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":"Q4913583$5B269080-3298-4942-8A8D-E4A2ECEA7F30","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4913583","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4913583"}}}}}