{"entities":{"Q2225129":{"pageid":2235872,"ns":120,"title":"Item:Q2225129","lastrevid":57685851,"modified":"2026-03-31T22:04:08Z","type":"item","id":"Q2225129","labels":{"en":{"language":"en","value":"Reachability analysis using message passing over tree decompositions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7306431"}},"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":"Q2225129$BA4CE804-DB9A-4CEB-A751-AF695FA0DA13","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"310c5a08065bf78525322bc30c79d53d7cd55da1","datavalue":{"value":{"text":"Reachability analysis using message passing over tree decompositions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2225129$B3A3CA55-D6E4-430B-8EAA-DAB3AEED9BA4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1484496b55b9b4676480f2e6b96234949e5ca21d","datavalue":{"value":"1478.68173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225129$F6755A50-C450-4041-8316-B6EA586844EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0118c6ddb2d79cbd4a00ad99740e231cfb0ff50d","datavalue":{"value":"10.1007/978-3-030-53288-8_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225129$42E26C17-B384-44A3-A2E0-DFE9DA741118","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d916c113e94bbfbdfe223618580740bb723d1be","datavalue":{"value":{"entity-type":"item","numeric-id":812049,"id":"Q812049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225129$08503413-BBD4-4F46-972D-AAEEC1F7968B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d6a456e0bab179ca64e4b2223a94b5349f4a541","datavalue":{"value":{"time":"+2021-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2225129$76890CB1-5F55-481F-A49D-E5DC342039E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225129$159B22DB-4012-4900-B867-247ACC432E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b559307b5b2969939e6945d65ee127220f8f6f4b","datavalue":{"value":"37B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225129$B12B8F24-2FAA-41FB-B34D-4137AE51E9E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225129$94C613BE-053B-4AC0-91A5-54DE8489470F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"32410cecd67261fd0c4b64ab235adc14aab8d32e","datavalue":{"value":"93B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225129$B407DEAF-6770-4C23-981A-2D133EE97E03","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"383732f6bf52bcaaadff59901dc5b66efee77a94","datavalue":{"value":"7306431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225129$67666217-735B-4ADA-9E8F-7ACD3BA022E2","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":"Q2225129$58B1BC45-5625-422C-90A0-A0D63F064826","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dd71a44f56a99ea542155a41aa4a91b713bce6f4","datavalue":{"value":"https://doi.org/10.1007/978-3-030-53288-8_30","type":"string"},"datatype":"url"},"type":"statement","id":"Q2225129$7075D5B9-FAF0-4E49-B9A6-99B965BB491F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e7dde445bcb5326ef22f3b385ea7494dc3f9ba0","datavalue":{"value":"W3042780501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225129$7679A2A8-B843-45F6-8BD0-E200D1B333AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68b141dd9f765576cbdf415a9726759d0fc4c11b","datavalue":{"value":{"entity-type":"item","numeric-id":2986920,"id":"Q2986920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b37012eff54093292dcb65c58409718990c47b0a","datavalue":{"value":{"amount":"+0.7240584492683411","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":"Q2225129$30AAE3F2-39E5-4365-A15C-C779CF6CC90D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62f0e5c6c3d90c15676d7b10a252a806fb161d05","datavalue":{"value":{"entity-type":"item","numeric-id":4561431,"id":"Q4561431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a16a43fafb690b481fd50873aa30b4cf86480fe1","datavalue":{"value":{"amount":"+0.7210062742233276","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":"Q2225129$1BA0DB37-DE33-400F-9826-37C531B05BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9b9b8c00de0a52bea3015fec77597fdebfae87c","datavalue":{"value":{"entity-type":"item","numeric-id":2894564,"id":"Q2894564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c11100e5154fc68711f7a550b91e7b223316ecb","datavalue":{"value":{"amount":"+0.7113164067268372","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":"Q2225129$9ED9AEE1-1BAA-4AC8-BAF2-1999B57D2F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37bfd3bf7acf66669831da12c2fc5590b340ea59","datavalue":{"value":{"entity-type":"item","numeric-id":5307955,"id":"Q5307955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"910f1dafbc58201121e0726b1d7c5088d917fca5","datavalue":{"value":{"amount":"+0.7088502049446106","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":"Q2225129$EEFDEA92-C802-444E-ABB7-2CBA504A20B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05c3df94f5c207596d5d70b2509de6585ff521d3","datavalue":{"value":{"entity-type":"item","numeric-id":4649293,"id":"Q4649293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21ae4a2a766e093b004987d82fe40095d35560d8","datavalue":{"value":{"amount":"+0.703430712223053","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":"Q2225129$5BBB9CB0-C5B3-49B0-9DA7-81B729198878","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225129$053EEEC4-FC2E-4C07-8252-D60B864C5A95","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2225129","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2225129"}}}}}