{"entities":{"Q3172385":{"pageid":3183095,"ns":120,"title":"Item:Q3172385","lastrevid":51340868,"modified":"2026-01-17T20:20:35Z","type":"item","id":"Q3172385","labels":{"en":{"language":"en","value":"Algorithmic meta-theorems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5954207"}},"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":"Q3172385$B5D193C0-CFEF-4098-810D-FD3BC12F4948","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9086cbb05351832ffd4d3703743beb334ae28bbb","datavalue":{"value":"1262.03058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172385$44BFA117-8BB5-42C0-BF62-E59A65FA1CC1","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":"Q3172385$85FAD6F6-CADD-4A9B-A3D0-E153E2FD9022","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d61797d3b83ae7c2d72d91eb4de841b7a5cf41a","datavalue":{"value":{"time":"+2011-10-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":"Q3172385$01098EAB-05C0-4CBF-9332-7BCFF2265E87","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172385$1381332B-780E-4B6C-A38E-15FA70135D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172385$556DC846-9A64-4AF0-85D2-CE24CF13E4BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172385$75772FB2-7A0D-402A-80BE-9615113D68D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"49261cbbd2f3b64e072aca4630c2592536037a47","datavalue":{"value":"05C83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172385$F8F3A93E-908A-428D-AE15-73B00A246179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172385$7D12F851-D00F-450C-9F55-BEEB2EC3114E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1bcdc2a107fd2414d151e8610f3471a8784e75bf","datavalue":{"value":"68W01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172385$C0185EDB-1BBD-48A4-AB49-E449741F3B81","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70e7a0737f52b2dfe205fe0887e43d9e59bd4abe","datavalue":{"value":"5954207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172385$1C9F1247-4DB0-430B-BB45-FEE632502EAD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"137d6794a6efe35571397acc6ff9f6acadf30893","datavalue":{"value":"survey paper","type":"string"},"datatype":"string"},"type":"statement","id":"Q3172385$F5CC3713-4571-4B52-AA77-134669DAECE4","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":"Q3172385$880C7D1E-6483-442C-9C30-ACCC791BC16C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ebb6798c08dcc6f5d1fe6a681f07c801ff88386","datavalue":{"value":{"entity-type":"item","numeric-id":3086928,"id":"Q3086928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa8229bfa05061075c32daa63204e00f4b49366c","datavalue":{"value":{"amount":"+0.9126264452934264","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":"Q3172385$3814660D-3398-4CF3-AE53-D8BE3EB6800C","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":"24c622a7467638cfe33a59af1e80cdaf9f72835a","datavalue":{"value":{"amount":"+0.9062961339950562","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":"Q3172385$62BB6F0B-B593-4EC9-B5B8-C43836D3A773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c58a61dec834f4b7f9c3b95a266a25aad8b2d03","datavalue":{"value":{"entity-type":"item","numeric-id":4981144,"id":"Q4981144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69ebe1f827ba08f0551348d68b262285080d460e","datavalue":{"value":{"amount":"+0.896144449710846","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":"Q3172385$0075B920-73A4-4053-942E-A508FA2EF0CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a19d4ee1c8d717033665a1ca06f02bc430c4efe","datavalue":{"value":{"entity-type":"item","numeric-id":3503574,"id":"Q3503574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f56222f27890d08a3ec6a57f75480fe8d285bbb0","datavalue":{"value":{"amount":"+0.8921192288398743","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":"Q3172385$1DD8E01D-4FE4-47B6-AFF5-C2076220C10C","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":"01634bbb67a33a3db43df42af120ca27ca391214","datavalue":{"value":{"amount":"+0.8417312502861023","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":"Q3172385$C1A07CDF-A125-466E-A9B3-65741EDEEBDA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3172385","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3172385"}}}}}