{"entities":{"Q3118384":{"pageid":3129100,"ns":120,"title":"Item:Q3118384","lastrevid":51427556,"modified":"2026-01-18T04:49:37Z","type":"item","id":"Q3118384","labels":{"en":{"language":"en","value":"Methods for algorithmic meta theorems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6011028"}},"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":"Q3118384$D45D422D-23D8-45A0-9C45-936DEDBA60F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a38727a87a84c06b91e03cfb737c8cefbb8c213c","datavalue":{"value":"1278.68099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3118384$CB77CBED-C990-4587-88D3-B3438A15AF1C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e472eff586da807ef811f77707a93e380b6a974","datavalue":{"value":{"entity-type":"item","numeric-id":414932,"id":"Q414932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3118384$D4CAF4A6-A38A-4877-9CB7-6AEEAE2DD9CF","rank":"normal"},{"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":"Q3118384$DE98CA87-16CE-45E7-A302-70691F1DF5FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7dbc7b8b645134a5ef8ae89c64a2b1886d53abc0","datavalue":{"value":{"time":"+2012-03-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3118384$D5C6ACC8-9F57-4618-9CAA-E5206FBF3303","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3118384$421FE09E-65CE-49CB-BF1A-8566CAF5BA7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3118384$18651ECE-2790-42B0-A67A-A312A3747793","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7c2529e483caa6e4a4061ab02384d8ba6d64c31","datavalue":{"value":"6011028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3118384$4E408468-6A04-4FB6-BE9D-6EB8D24A1399","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d04a45d8c175ef3a9272448d5a5ec15d2d1d2d2e","datavalue":{"value":"algorithmic meta-theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3118384$D28F02EF-775C-4027-A793-39C5A6B79909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8aa823381996fcc0ccd3a2cba10b758f14d14704","datavalue":{"value":"graph classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3118384$28EE7CD3-1CB3-4E6A-9FF5-9C45FB5ABC52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60f2b371da261ce657695112649d2e2367492503","datavalue":{"value":"first-order logic on graph classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3118384$DDFFC29C-1E3D-4BEF-BC99-DA9F2E197185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61c77bd6b101f8dd87c8e3d4696fcf4fedd8e095","datavalue":{"value":"monadic second-order logic on graph classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3118384$69E3BBCA-7AF1-4B54-9008-F7F1412E900C","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":"Q3118384$0D1EA06A-4677-443C-AA66-F83641A14D1E","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":"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":"Q3118384$FFCA6C48-D279-4F47-9E45-89BF83A3AA0E","rank":"normal"},{"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":"eb64a351549b1f27837c918183f3fb8fc5e169fd","datavalue":{"value":{"amount":"+0.8779929280281067","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":"Q3118384$9FA1A1F7-F23A-42E9-A795-7C76C5705B55","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":"b0af55cbbb9fc83215a81c97f5a8826995e9df96","datavalue":{"value":{"amount":"+0.8704618215560913","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":"Q3118384$3362E02F-6290-48DC-8B95-E7CD9E11CB07","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":"44d7eb31bc35627b5df0cc4d9e78adf7ea40e5f3","datavalue":{"value":{"amount":"+0.8366010785102844","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":"Q3118384$FEB7E8FD-35B5-4C9C-B869-59551FD652FC","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":"5e33cb8c19c6e82496b87eb5c2d68f4b426ed0ac","datavalue":{"value":{"amount":"+0.8190488219261169","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":"Q3118384$92D7D53B-570C-4002-93EF-05D9D17165BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3118384","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3118384"}}}}}