{"entities":{"Q3522894":{"pageid":5552798,"ns":120,"title":"Item:Q3522894","lastrevid":50445989,"modified":"2026-01-14T01:59:40Z","type":"item","id":"Q3522894","labels":{"en":{"language":"en","value":"A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5321052"}},"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":"Q3522894$83698F2E-2D42-4F23-A207-12DCBB06D112","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"14731ebc03c182525430acd11dda7ff8ee5b42d0","datavalue":{"value":{"text":"A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability Analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3522894$95A00D1B-B9A7-435F-8D3C-EC6F7179395E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"85466e0608b13e70d2879d93415396fe55f5c872","datavalue":{"value":"1161.68561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522894$78AC3ACB-BDE7-4E67-AC3C-754B084EEA56","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fbf8d63114a88c6d7ba178732f065b6e83c4c8ce","datavalue":{"value":"10.1007/11901914_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522894$2F7085B6-A31E-4B64-BDF5-C40495F037D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f59c5f40ffc9818cb3b507dcfc882b5d6a8482ee","datavalue":{"value":{"entity-type":"item","numeric-id":2848664,"id":"Q2848664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522894$A85291BA-7482-47E2-B785-7F082424C3E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f4a9452230b48b25729b39bc47037fb4f65b446","datavalue":{"value":{"entity-type":"item","numeric-id":2158284,"id":"Q2158284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522894$C41D3043-64A7-47E3-A145-DD58A65C80DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b4c6ee9b33f753ccef69398bb700fc3cf67aa4f","datavalue":{"value":{"entity-type":"item","numeric-id":3522893,"id":"Q3522893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522894$695B0E1C-9193-4ECA-A5F9-9E73E48C747D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522894$BCA31757-E968-41B5-8A96-4EFE511C4F95","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2bf0f0ee9c49018dff9c641c5da1a78a5da873e5","datavalue":{"value":{"time":"+2008-09-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":"Q3522894$7C4D30F9-C81D-4669-B495-11D36FD9EB1C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522894$4DF2010D-7250-4DE3-8CAD-EA2CBE3E992B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522894$578F70E9-3079-49A3-B864-E91DEA2A7800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522894$7BA307C1-6522-4C4D-9CA3-10F87EA712D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b8e43a5c340909de8b725f987eb0d1107867203","datavalue":{"value":"5321052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522894$CAF03822-BA0C-458B-ACDC-E77BDA98F403","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":"Q3522894$EF5C08D2-D916-4C5E-B704-A3402CA5903A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"34d542904db7a66046f274e0765ff1fd2fce78e0","datavalue":{"value":"https://doi.org/10.1007/11901914_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3522894$D4BB8131-464F-4C82-A00A-BB56688C9F2C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"64dc30800b61f4049803ab614810e5c73de8fad6","datavalue":{"value":"W1576346079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522894$8058F406-D2CC-40AB-8C60-5614247A74C9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f07a362b1de0c6e4b50f4544d982bf6bbad87100","datavalue":{"value":{"entity-type":"item","numeric-id":5493224,"id":"Q5493224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c483623bc0f0d160b8f7c010aedf22c5e48be36","datavalue":{"value":{"amount":"+0.7447905540466309","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":"Q3522894$6B3178BC-D6F9-4F78-8230-672D4BC41DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"866791785f510bb82cbc4809360e45214f7927e9","datavalue":{"value":{"entity-type":"item","numeric-id":5712340,"id":"Q5712340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d050bf4230fb01704b76a0787b2d14141ebea907","datavalue":{"value":{"amount":"+0.7304130792617798","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":"Q3522894$7E5DE027-0BA4-4258-8504-B9119401154C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cef618344d3a9613d63552d649db4feadbfd239","datavalue":{"value":{"entity-type":"item","numeric-id":2769596,"id":"Q2769596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79298e3693bcc0c440616121d56221f1085c2b9d","datavalue":{"value":{"amount":"+0.7219921946525574","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":"Q3522894$5D8D5D0B-9C96-4686-8116-FE9E308613B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71b0093b2d20b1a12f28e95a14d7825e6b930755","datavalue":{"value":{"entity-type":"item","numeric-id":4417940,"id":"Q4417940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a7cf018216f99c6db48269f71e3f375a1b5e0c8","datavalue":{"value":{"amount":"+0.7150588035583496","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":"Q3522894$8E404C21-974F-4B56-8806-0E547759AD23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"668834c8aa0ca84a733fac36729bbe7a7180cd0c","datavalue":{"value":{"entity-type":"item","numeric-id":3564025,"id":"Q3564025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3c63a8d91ebb77d3364497aa20fd681e541fc7b","datavalue":{"value":{"amount":"+0.7114419937133789","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":"Q3522894$1757C157-FD19-4554-A403-4EAF8885A5A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3522894","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3522894"}}}}}