{"entities":{"Q2287108":{"pageid":2297851,"ns":120,"title":"Item:Q2287108","lastrevid":71768130,"modified":"2026-04-14T00:25:08Z","type":"item","id":"Q2287108","labels":{"en":{"language":"en","value":"Syntactic partial order compression for probabilistic reachability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7157058"}},"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":"Q2287108$BF9D5398-8FAD-4DC2-B9ED-5ABCB1BF5C51","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"43a735b4975ac08c2ef8aaef746d575ca7bf23c1","datavalue":{"value":{"text":"Syntactic partial order compression for probabilistic reachability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2287108$0379D137-6FAE-4170-B56E-108FC2684A6B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ff92f066dd945cfedc28f7a8cb18a6573c2c60c","datavalue":{"value":"10.1007/978-3-030-11245-5_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287108$83ABEA99-C9DB-4BF6-B304-B22BB1A602F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e12efb8418beeaafe1a248a2d22adb09265d591a","datavalue":{"value":{"entity-type":"item","numeric-id":2287107,"id":"Q2287107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287108$3738350B-BC8B-4BE1-96EB-4FAEDB1C6A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"14e56827f06618d86e2b4607051191938dc12b14","datavalue":{"value":{"entity-type":"item","numeric-id":832264,"id":"Q832264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287108$D908E686-56FB-4F5D-B390-14D005170F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d570ab9528618e94eac06ac4735a35751c2a1ea4","datavalue":{"value":{"entity-type":"item","numeric-id":236071,"id":"Q236071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287108$7B56435E-C06C-4C74-BC1C-6A8E6D7633E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05e303adb2b0a1f1bcfef4359b3361358b8f766d","datavalue":{"value":{"time":"+2020-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2287108$8DF20BE5-8C3C-4D71-B174-090B8A6690EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287108$65761779-FDBD-4DD3-883D-AE296AAAE3A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f4fb5302fb6edd4eff49bd104106d823a001bdbf","datavalue":{"value":"7157058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287108$5AB66E30-6BF1-40B6-9F88-0354F12CE77D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b56d664759feaf523f20560e46308abc4f86bdd","datavalue":{"value":"state space explosion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2287108$C2DF2828-ABB8-4ED4-9341-DA59292EAC2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29285bdbfc7696cf08ae9d83dc80cad788f3cfa4","datavalue":{"value":"atomicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2287108$378A5E34-D51C-4EA5-85B2-9490CC4A8E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4be0568078bdb23907326b194531a896f4c2e986","datavalue":{"value":"partial order reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2287108$FB809C21-C024-484B-8733-664D7AFFEC69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2287108$8F7CA43C-0E38-4D04-ABF8-FB3E75061C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14ae070d231c1b943786936bae85bc75891631fd","datavalue":{"value":"interleavings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2287108$05BBB951-1B9F-437E-BB2B-31CBDF2B1307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2287108$C0F6587E-7EC3-4E20-B0E5-A809A8512024","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":"Q2287108$893E894A-B5D3-4FCC-8CAE-4550AACDD037","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"038b71288d82f05bcca70528acc83579151f6757","datavalue":{"value":"https://doi.org/10.1007/978-3-030-11245-5_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q2287108$6101928F-5DED-4099-8C8D-459A755809E2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a6c5a08fcdfd0fdb82bf7802d4f0513f5fa2dee7","datavalue":{"value":"W2909994498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287108$D98C1F63-E1EA-46FB-B75A-D1AF5829CC57","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"412e21895d466a2e5ca1cec9a80bb43c8c010a46","datavalue":{"value":{"entity-type":"item","numeric-id":5898162,"id":"Q5898162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96cda3a808cee98a0c2507d939d422e619f9ae96","datavalue":{"value":{"amount":"+0.8576319","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2287108$40506440-0E45-4E64-A564-E2B19F6F1BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47c091b590b782bd3df6c25b801aec6df5df4fa2","datavalue":{"value":{"entity-type":"item","numeric-id":4791267,"id":"Q4791267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cb9a2fb99a4cc06424933812230430ff6610205","datavalue":{"value":{"amount":"+0.855114","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2287108$2275245C-256D-44BD-A3E5-06E4C71E5996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6b33ca694b3a5a522579faf97ec3d4969868ccf","datavalue":{"value":{"entity-type":"item","numeric-id":1009237,"id":"Q1009237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10cd518b6c54d62bc2b9fe9633b009f9da94071c","datavalue":{"value":{"amount":"+0.8549491","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2287108$C7506E05-0178-44B4-B125-1959BF7D2950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3469a3d18b764a91eb7f34046613eadaace5a98","datavalue":{"value":{"entity-type":"item","numeric-id":2819834,"id":"Q2819834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"635420f899273964abbf3ca4e5539465ade07f55","datavalue":{"value":{"amount":"+0.8531806","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2287108$3EDAD2EA-3EF7-4E99-B088-90FF323C4BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5da30be3119feeb4fe0cb945cb7d65eaf2f8edef","datavalue":{"value":{"entity-type":"item","numeric-id":2915179,"id":"Q2915179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46ae26fba116c051b40422281a2d17b2a38fa227","datavalue":{"value":{"amount":"+0.853053","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2287108$73F57B31-A013-4529-A7EF-5ED622E021F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f335eb971219eb39fa29dc8c1009b491ab07b14f","datavalue":{"value":{"entity-type":"item","numeric-id":2873775,"id":"Q2873775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0e20ece4b328d9a5a1f84b174bdd42aaa012d92","datavalue":{"value":{"amount":"+0.84916645","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2287108$37074809-1A62-4951-BA7A-7C3978FD381F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97ed28a527e7ebd44ac735ba1af378f934e92e56","datavalue":{"value":{"entity-type":"item","numeric-id":5900567,"id":"Q5900567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57202d462afeffd5d4f8082009d97d64a7427b7b","datavalue":{"value":{"amount":"+0.84579134","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2287108$F14AD9BD-17AD-4A13-9319-B160B75ECAF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"495dbfb770b79668e0ea527569cb62377f83edef","datavalue":{"value":{"entity-type":"item","numeric-id":5956791,"id":"Q5956791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47ebfb6e8315c8d5e0b85ba0865cb5902576b2e2","datavalue":{"value":{"amount":"+0.8442546","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2287108$8A590EAC-B558-4B09-B445-69B48EE23367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df57f68849a56254d23d92239f68e6bf388f38a8","datavalue":{"value":{"entity-type":"item","numeric-id":4258573,"id":"Q4258573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47ebfb6e8315c8d5e0b85ba0865cb5902576b2e2","datavalue":{"value":{"amount":"+0.8442546","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2287108$AA27FA67-1EBD-4D2B-88B2-7A8B3634D296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d56eb813ad20c72e9c8b37230f89eb4950a2fbd","datavalue":{"value":{"entity-type":"item","numeric-id":4791844,"id":"Q4791844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"958f9cbeb36688f5752cec5dbdcd996785039383","datavalue":{"value":{"amount":"+0.8437469","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2287108$D9F6FE5C-B412-495C-A0D8-CFAB278FA2DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Syntactic partial order compression for probabilistic reachability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Syntactic_partial_order_compression_for_probabilistic_reachability"}}}}}