{"entities":{"Q3133156":{"pageid":3143872,"ns":120,"title":"Item:Q3133156","lastrevid":86287100,"modified":"2026-06-03T17:39:37Z","type":"item","id":"Q3133156","labels":{"en":{"language":"en","value":"Implementing Courcelle's theorem in a declarative framework for dynamic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6837729"}},"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":"Q3133156$0951453A-1212-4800-9BEF-BFCED7DD2655","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fae8b5c10e2aafc2eabb59b3f459e4a2ed63688f","datavalue":{"value":{"text":"Implementing Courcelle's Theorem in a declarative framework for dynamic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3133156$C63D8799-BE1E-4E2F-9C27-663EC6965926","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0381dbbff45dbf7c64bebb44a52f1506a12b68af","datavalue":{"value":"1380.68215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133156$F0A5E750-6101-495B-BC4E-48091EDA9FC5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"14a8e2ad2a343a146faef0e28ad73a2f482c0e7f","datavalue":{"value":{"entity-type":"item","numeric-id":722533,"id":"Q722533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3133156$3EDA3229-18F4-4542-8C6A-6BA901E87029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ecf11585c0f8197c3896e9084b32b8690fac029","datavalue":{"value":{"entity-type":"item","numeric-id":167065,"id":"Q167065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3133156$5C4AB30F-40F7-4D98-9353-A5B61C262B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d60945846f47c381f94a775b3774656e226de61","datavalue":{"value":{"entity-type":"item","numeric-id":334819,"id":"Q334819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3133156$764A70B7-4C8B-4C31-B695-0B2DA0F84713","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee53210b31b3a9f4fe71da2550e4c06c4d383198","datavalue":{"value":{"time":"+2018-02-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3133156$6558A8F5-847E-45A0-8ACC-E9E287C78433","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133156$9A76C159-DB14-4573-8CB3-219DCB096643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133156$2A1D9822-8583-487C-8E6E-7A60A3F7B83F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133156$230503EC-804E-4B04-B0D6-9409185B29C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa3ca91474fff28e420d9cace433f8447ec799b0","datavalue":{"value":"90C39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133156$404CC246-608A-44E8-8127-FFB886125850","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dddf2dfe832726211c207a89ad43d3cf5ea4fb25","datavalue":{"value":"6837729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133156$1510EA0A-D645-4EE8-8E9B-7B035B956E49","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":"Q3133156$6B698FED-AAF8-48EF-8C82-AC1B4FC80527","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9c835a7f2836da5bd48325d09af9352d85877751","datavalue":{"value":"https://doi.org/10.1093/logcom/exv089","type":"string"},"datatype":"url"},"type":"statement","id":"Q3133156$AD07AB8B-0D84-4368-B158-9BD7DC3E8A44","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5198acc0a94e54f6e21bf65e115bed1ddde7bbca","datavalue":{"value":"W2407301128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133156$D741B629-7999-402F-B6C1-C7F9261B3E97","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f8c5cf6b2649bebd7c5e75979535cd377694a6b","datavalue":{"value":"10.1093/LOGCOM/EXV089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133156$E25EBA04-CD60-4F69-8D1D-D04F9D9A14F8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3133156$4F3B6F95-AC20-43D9-BB70-DE2AE25474D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"330d7b32e88fc6e06a6836fd953a399337334569","datavalue":{"value":{"entity-type":"item","numeric-id":2867070,"id":"Q2867070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1a214b607eadeada443843853efe75bc4fa0b54","datavalue":{"value":{"amount":"+0.9604384303092957","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":"Q3133156$199FC8A9-294A-4864-A1F7-E84A1B13F011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"415ff47be9ec56b016102a0f6c79d59107a4a4a3","datavalue":{"value":{"entity-type":"item","numeric-id":5170276,"id":"Q5170276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fcf05809f6f5b3856c89b65032d70a0494c5f76","datavalue":{"value":{"amount":"+0.8161755204200745","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":"Q3133156$39FA84F5-B93E-4CD2-B29F-EB4DA863FE55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"531845188788ef617d6e240ecdaec284c37bd514","datavalue":{"value":{"entity-type":"item","numeric-id":2005578,"id":"Q2005578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9eb41a58d961b2eca1d5691f22fd5c43d1fe8f8","datavalue":{"value":{"amount":"+0.8003401160240173","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":"Q3133156$4C4A854A-F8E0-4C00-9307-5CF181B8EEB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffdc766552bff6cf930c1cc8628ae995faa1b613","datavalue":{"value":{"entity-type":"item","numeric-id":5009563,"id":"Q5009563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13b555b6fddbfa3a476691be7785fae31bb31236","datavalue":{"value":{"amount":"+0.7996824383735657","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":"Q3133156$5261ACD8-893C-4CB4-B81E-54404C541E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d21c0eb39fe610f599d6a7b05d153c1bb6179be","datavalue":{"value":{"entity-type":"item","numeric-id":408375,"id":"Q408375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9817492a4542de520bc2e6b0a49c9623d2254ccb","datavalue":{"value":{"amount":"+0.7747772932052612","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":"Q3133156$BABFB742-A54A-4332-9E24-938134E9B848","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Implementing Courcelle's theorem in a declarative framework for dynamic programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Implementing_Courcelle%27s_theorem_in_a_declarative_framework_for_dynamic_programming"}}}}}