{"entities":{"Q2892732":{"pageid":2903457,"ns":120,"title":"Item:Q2892732","lastrevid":58053840,"modified":"2026-04-03T15:11:26Z","type":"item","id":"Q2892732","labels":{"en":{"language":"en","value":"Trace spaces: an efficient new technique for state-space reduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6049269"}},"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":"Q2892732$87468001-6ACE-48A7-ADB9-49A6EDE148D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd15c5fd8ec9641b2b577b646de38628d5e7dcab","datavalue":{"value":{"text":"Trace Spaces: An Efficient New Technique for State-Space Reduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2892732$4AD5268B-392F-4C45-AA79-BAFF5059A674","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ab8abc99b7cdebbfd3d7bf3b21e7591f4ba47ce","datavalue":{"value":"1352.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892732$93F27BB3-0CA0-480D-A3C2-7880F9FEB877","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef6865689d4aa85ff041e6b9bde581dd772adadb","datavalue":{"value":"10.1007/978-3-642-28869-2_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892732$72FB0C1B-FF12-4DC3-8C2F-9B7DF3EDF853","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab7ac1ca68a2b127e3baee248bed8fd7ca569e50","datavalue":{"value":{"entity-type":"item","numeric-id":523152,"id":"Q523152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892732$D705A2CF-141D-4682-96C5-5BFB0CEF8BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0d92f428d699274a229faa3ab95d1f469858165","datavalue":{"value":{"entity-type":"item","numeric-id":246147,"id":"Q246147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892732$7A5D499D-1187-434C-A9AE-B1EBE4F71A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c901d109014bd08d79f3cb872f4c26a8bcc7eb6","datavalue":{"value":{"entity-type":"item","numeric-id":1431356,"id":"Q1431356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892732$D5D8F2A3-F44C-4487-BD3D-4FD3211AD592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a43cf0a9bf485d009abdf07da36233316c201547","datavalue":{"value":{"entity-type":"item","numeric-id":265806,"id":"Q265806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892732$F21AB774-B371-4EDB-AB59-9885779680E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"321befac68c4e618bf5ca79e2b5929f3a02dca2e","datavalue":{"value":{"entity-type":"item","numeric-id":269626,"id":"Q269626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892732$5CEA00E9-897D-42DD-8F23-ABD8C10DFB52","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892732$09C634A2-3FD4-4704-ACB8-765DC9F16433","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07eaa53cd09094048e0acc4ff8bce144ed1564df","datavalue":{"value":{"time":"+2012-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2892732$061A55D2-4EF2-4307-A7B4-CA1B5CED5298","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"92953ce3a0525b3f9c922c074b3d719717c68013","datavalue":{"value":"https://arxiv.org/abs/1204.0414","type":"string"},"datatype":"url"},"type":"statement","id":"Q2892732$DDD9956A-F4CA-4013-9122-66F97D1ED522","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892732$EFB7D4E6-FA4E-455C-92E7-FE5D4B48774F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892732$8EDC6A80-FDD9-438B-9EFE-1B83460D31CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892732$1ABB72D3-170A-464C-A04A-D2B28534DD0C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"72734159571d31ba7d42090f912648603c2df2c4","datavalue":{"value":"6049269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892732$77C14928-B4B1-477C-880D-9D7A0E332CF3","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":"Q2892732$945B2566-280D-4C32-8D3E-84BBA7F44102","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d5d61dad01b4da89e22748a59d5110d0d13f2fb9","datavalue":{"value":"W2951912410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892732$D7C61197-7996-46C3-B8C7-2C8DD8A46C9D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fbb906dcc5242549a44d85ba83386b27161446f","datavalue":{"value":{"entity-type":"item","numeric-id":265807,"id":"Q265807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b882d3677aae97514aa58d2fecba6aa6176edca","datavalue":{"value":{"amount":"+0.782896876335144","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":"Q2892732$5FA577BD-6D5F-4568-AAF0-AC81C6158622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d4cc3b957fee28e812a6d90197c8aae0f3811c2","datavalue":{"value":{"entity-type":"item","numeric-id":4503926,"id":"Q4503926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cba89f7c9bc783f5d46181f8266b7751c5d06bc1","datavalue":{"value":{"amount":"+0.7813864350318909","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":"Q2892732$9FD35820-7EC8-4C97-8E86-BA861B88DC12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cb4879af344e75ecf8499ab14c51f463923666d","datavalue":{"value":{"entity-type":"item","numeric-id":1397806,"id":"Q1397806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65861c2c16139510854089e78da45aead1af1980","datavalue":{"value":{"amount":"+0.7614726424217224","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":"Q2892732$03C5E7D9-FEC4-4C12-B81B-9CBA5E49984D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"627ba4387f742c5d23b1be138dcc40a489b1369c","datavalue":{"value":{"entity-type":"item","numeric-id":4806211,"id":"Q4806211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b6e88ffb96294171059d84132891a18b0a1a34f","datavalue":{"value":{"amount":"+0.756830096244812","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":"Q2892732$8D617D56-74E8-4E66-BBAE-028127453311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a869d7bba5b398b20a3fb2403c7d75ecd928d7e3","datavalue":{"value":{"entity-type":"item","numeric-id":4536374,"id":"Q4536374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcfc16cee587f2c8d364022f1ea07607a7839bb9","datavalue":{"value":{"amount":"+0.7565914392471313","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":"Q2892732$BD53BCF7-F747-4B1A-9A03-9A356D13B2E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2892732","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2892732"}}}}}