{"entities":{"Q3184684":{"pageid":3195392,"ns":120,"title":"Item:Q3184684","lastrevid":50792798,"modified":"2026-01-15T04:57:23Z","type":"item","id":"Q3184684","labels":{"en":{"language":"en","value":"Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5619392"}},"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":"Q3184684$756836DE-7B9A-4C71-9122-B305A3CD7335","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"94203ce243ac52ad8f8038ecd71e5cd62457f3e4","datavalue":{"value":{"text":"Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3184684$BB34F029-CD23-4348-B419-31F07DB81602","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c32b809f4c6dfd606cd4591738d6c08706c8a0b3","datavalue":{"value":"1254.68149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184684$70DAAAD1-CFAB-4078-9FAC-8EFD7150A4C1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dfb931eeb299af039e927e54f07a38d4688c4c3e","datavalue":{"value":"10.1007/978-3-642-04081-8_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184684$0A8F2AC7-D3D7-4E85-8503-3393F3E1307D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c5a88c9258d1d7eeba3f936cd26eef9a02ebfd9","datavalue":{"value":{"entity-type":"item","numeric-id":2453110,"id":"Q2453110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184684$245645C3-C6B2-478E-9D3A-0F7F1775F189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"20729f229ffec9de81c066537b24905752a0ed56","datavalue":{"value":{"entity-type":"item","numeric-id":282102,"id":"Q282102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184684$9F633E02-B7B9-4AEE-825A-D83E02D29B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44fbc514ac4414d1f77b758348bbf20c72a9d00a","datavalue":{"value":{"entity-type":"item","numeric-id":1391790,"id":"Q1391790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184684$80C38267-FD3A-487A-9BC9-A2AC849E1DD3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"37a5b16070d1a7c8f4badd285c0dae4b0cb4feac","datavalue":{"value":{"entity-type":"item","numeric-id":3184660,"id":"Q3184660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184684$DB8DF526-96D4-4BCB-9EF9-63E63632AC77","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c2de73c647c0262c334db84c7701bb7132e3320","datavalue":{"value":{"time":"+2009-10-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":"Q3184684$7EB6CDD6-9AA8-4302-BBE1-68730F41FD97","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184684$B88A265C-390B-46A9-9611-ACCDD656C921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184684$65D844E4-72C2-489C-8CF1-AB8AF1DAF85D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a75972856aa6245eb9495c181744371085a6af9","datavalue":{"value":"5619392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184684$EDEECE75-BF5B-49DA-931A-9D9AD24CEA57","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184684$84191FB9-D711-43DD-AE16-9557A38F2CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19ea0268485aa3f9787caf2b44c02b981e5e73ce","datavalue":{"value":{"entity-type":"item","numeric-id":16320,"id":"Q16320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184684$AEA6E052-E36F-4F77-A8D6-B2B9F55AAFC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184684$361C01C2-72C8-4013-8596-E81FB24587DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c06a33c278eed233c05a54d68350ade466ab2326","datavalue":{"value":{"entity-type":"item","numeric-id":25323,"id":"Q25323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184684$8C67A5DC-A5F7-4823-A41C-3148B5744103","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":"Q3184684$2FF98C2D-F24F-4394-B2C7-9EF2EB70AE5A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f21315f5f845ca08d52b923460892e122455dab1","datavalue":{"value":"https://doi.org/10.1007/978-3-642-04081-8_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q3184684$C45D05DF-D076-49A5-BA9A-3E20FFBBCD60","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4a5da23b3c9c6bb17a9974e8f0f307b91aa229bd","datavalue":{"value":"W1488955409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184684$8C7A2BD1-646D-47D4-A5A2-A8856BEB6D00","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d907737c66d08b95175bf8a8b72f2c2923800fef","datavalue":{"value":{"entity-type":"item","numeric-id":5943258,"id":"Q5943258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184684$EB52E140-13BA-403C-846B-CEA93BCD182E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ce71a5e212a8c5cd65d66580e9075eb5aa319ca","datavalue":{"value":{"entity-type":"item","numeric-id":2956706,"id":"Q2956706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184684$BEB2D04C-1E4D-4E16-9B3C-2B7B5B92422D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05348a557d2dd187a82890860a29298cc18e12f9","datavalue":{"value":{"entity-type":"item","numeric-id":1109008,"id":"Q1109008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184684$4E141AD4-B37A-41B1-B070-554733D6DE64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1e2ff3238024c9d4e0622cc7af43a6eece9606d","datavalue":{"value":{"entity-type":"item","numeric-id":854167,"id":"Q854167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184684$4BAB450B-5FFA-4499-90BE-3CCDF5612A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7efd0c3e6421fda2217c2b48d9294e9f8d8d757","datavalue":{"value":{"entity-type":"item","numeric-id":4791844,"id":"Q4791844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184684$21053BFC-58BB-4DBE-AF39-873D19700085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46fc33915bf9516cd5a0b09d5dba368c086c7dee","datavalue":{"value":{"entity-type":"item","numeric-id":3510843,"id":"Q3510843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184684$0BD48BCE-B55D-4C8A-BA29-75C7A42FC60D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c038b8dac9451f007d0167ee6a8b5f37a4c69a0a","datavalue":{"value":{"entity-type":"item","numeric-id":1898113,"id":"Q1898113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184684$59AC6369-2BA4-4497-B367-618DDCFE77E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4cb6e9c0b46157901d6782f85c0164bfbf3d86","datavalue":{"value":{"entity-type":"item","numeric-id":1910794,"id":"Q1910794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184684$31260345-D566-4210-9085-FFFFAC1BC32E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94f0b52267ac5834f67f270f147032241093568d","datavalue":{"value":{"entity-type":"item","numeric-id":2453112,"id":"Q2453112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab7d939cd6e0295b56ef096ea97847d855f79c7d","datavalue":{"value":{"amount":"+0.8197610378265381","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":"Q3184684$AE45A96E-DBF7-4393-9CA0-D5D6BD840FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceb69d8da3c536cc58778586bd7d011b5355d4ba","datavalue":{"value":{"entity-type":"item","numeric-id":3591387,"id":"Q3591387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"516b9431c4e31aca210c7bac8ce4a0fb6826233c","datavalue":{"value":{"amount":"+0.8180496096611023","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":"Q3184684$21C1D031-1448-4D2E-8A67-E74FEA227AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8e41e11b55706db3aa67de98ac1c80e47db2dd1","datavalue":{"value":{"entity-type":"item","numeric-id":453518,"id":"Q453518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c1b594c8b53f6123aacdb536cc3b20d2e7fe1bc","datavalue":{"value":{"amount":"+0.7988735437393188","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":"Q3184684$AB8194CA-2B1D-43E8-8F94-8039EA01A092","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":"4b26569c1e6173d6955e40baf2a63182279578c6","datavalue":{"value":{"amount":"+0.7749160528182983","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":"Q3184684$4EB6FC31-39CF-4B17-BF18-1180B361403B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86562c958104bf722071c62758cd224a8594421f","datavalue":{"value":{"entity-type":"item","numeric-id":2848148,"id":"Q2848148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf0872b2eb8bcf1bb3e1b035cc35751958e3ade5","datavalue":{"value":{"amount":"+0.766462504863739","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":"Q3184684$2162E60B-1A2D-4477-AE55-1B426B5578EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3184684","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3184684"}}}}}