{"entities":{"Q3503574":{"pageid":5533478,"ns":120,"title":"Item:Q3503574","lastrevid":48760105,"modified":"2026-01-05T19:29:34Z","type":"item","id":"Q3503574","labels":{"en":{"language":"en","value":"Algorithmic Meta-theorems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5285020"}},"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":"Q3503574$C79315D7-5791-45EA-8FFC-72DDF4E42970","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af98ffe7b327fd255f872c91ed227cc0a24be01a","datavalue":{"value":{"text":"Algorithmic Meta-theorems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3503574$9751DBAD-94D7-4BCF-9CC7-61B0CDA33785","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e389bf14a0b35ba5f9674121b8998a7be9edf057","datavalue":{"value":"1142.68458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503574$CA55F08E-E909-42FD-A115-01CF06CA05B9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"910ccd18e6d52fe2ddd95dd23bdfab108bb6b1b9","datavalue":{"value":"10.1007/978-3-540-79723-4_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503574$F08F05DB-7D5F-463E-9D7F-8DE1F468586A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5e3d022de394d7241ddffa43602fc112cf57e9e","datavalue":{"value":{"entity-type":"item","numeric-id":266261,"id":"Q266261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503574$FF8280EA-D1A2-48D5-A2B9-2200D9C88B0D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0c7444d43d742ff192f7c630ea625c103bfe4587","datavalue":{"value":{"entity-type":"item","numeric-id":2867067,"id":"Q2867067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503574$B04C14F2-917A-4991-BC56-19076E1989CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf52a5dab4cce181d346855b7e145b14f7affd55","datavalue":{"value":{"time":"+2008-06-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3503574$BAA4DF3E-D875-45D7-8E74-FCD52DAFEE2A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503574$66ABBDE3-6D7F-41EE-9863-38DC64BA9868","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d81ee1f0c9a7bfb2ec7876fc91ec38532c51c8d8","datavalue":{"value":"5285020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503574$C745369D-2A34-4D15-9A28-B6C01346930C","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":"Q3503574$01DDDEA1-B38F-4FEF-A6B3-DD38E6340E25","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"966858a4e8b6275c8a85e1f6ce9cf49b7f1118a6","datavalue":{"value":"https://doi.org/10.1007/978-3-540-79723-4_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3503574$F6BD2E77-7B59-4D74-9FB4-7121DFA6BDC7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2a9ab0a30f89a3a7a6311fbbfd4cfddec681f6c6","datavalue":{"value":"W1781739513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503574$95F0393D-E62C-4768-BC63-478A90CC9863","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc8ff447e5c797531ed141f38d2e6bcba09f8283","datavalue":{"value":{"entity-type":"item","numeric-id":3172385,"id":"Q3172385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbab897a6d3e720dc80b67e0eef4e13e205a07dd","datavalue":{"value":{"amount":"+0.9999999","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3503574$33DBD2F2-0B1A-498C-B150-B1C0E4379AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc5435931d86571d4360d36b2e13206d8d9bf866","datavalue":{"value":{"entity-type":"item","numeric-id":3118384,"id":"Q3118384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b47277af926cfd727457619054bcf1de7f63fd0","datavalue":{"value":{"amount":"+0.96078795","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3503574$A68EF7D9-0540-42DE-88ED-CE18BD78DCD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f0422c221a0039058975260821036196979ba41","datavalue":{"value":{"entity-type":"item","numeric-id":5492111,"id":"Q5492111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1d65ecf11a2fd09ea5acdf5db5f8835ebc5eb34","datavalue":{"value":{"amount":"+0.89274555","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3503574$F9E2AD39-128B-47DC-A1E5-FD0F17E475E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d72732f65af22bff8ee7a77107a30c5bcedb60c3","datavalue":{"value":{"entity-type":"item","numeric-id":3784064,"id":"Q3784064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db7466b7f928367a92b8309083249c797fbf197b","datavalue":{"value":{"amount":"+0.8840142","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3503574$34393D70-6C4E-438F-A0F6-65F1312D7D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4e3c41e5251f7e9741264e475d80dbbd0a50a99","datavalue":{"value":{"entity-type":"item","numeric-id":1069295,"id":"Q1069295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbef8f362459bd6381eff757eaa80aa559e08e69","datavalue":{"value":{"amount":"+0.8823862","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3503574$B7DF719A-67A7-40F7-8FCF-DFB1DDE47548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c52a4a8a8811963fe180a97c565b57c9351d2fd","datavalue":{"value":{"entity-type":"item","numeric-id":3326831,"id":"Q3326831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bed03b41a97295e216c4f87aff111c0846d364a","datavalue":{"value":{"amount":"+0.8823555","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3503574$8FB4608B-D5A8-4ABC-86A9-8DD92EFA2DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6736c905f52ceb98305f29451c3abc398b0c55e","datavalue":{"value":{"entity-type":"item","numeric-id":1736808,"id":"Q1736808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"beeb0eb40fea0d7ebd905ec13b35c661c9e79f37","datavalue":{"value":{"amount":"+0.8821008","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3503574$B2184E0B-ADE8-46B3-A648-0476339BEB35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b0f878a29090825086a1995561456ace90d05df","datavalue":{"value":{"entity-type":"item","numeric-id":2904750,"id":"Q2904750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a36f522fe576645f9fd550fda3d67824e5489654","datavalue":{"value":{"amount":"+0.8791065","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3503574$AA2805FC-5327-4B94-B854-C8632F4A335B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3503574","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3503574"}}}}}