{"entities":{"Q5458339":{"pageid":7487898,"ns":120,"title":"Item:Q5458339","lastrevid":50333837,"modified":"2026-01-13T20:27:14Z","type":"item","id":"Q5458339","labels":{"en":{"language":"en","value":"Peephole Partial Order Reduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5262384"}},"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":"Q5458339$C1E8740B-157A-4E14-9CD5-F1572C27A8AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1faa4dd9b1ba38931691627fd6acb3ef681b309","datavalue":{"value":{"text":"Peephole Partial Order Reduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458339$23F83E8A-24B9-4ED3-B116-0AB1E4BB025B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c1ad5a0242f2bbc8fdb03c4af35058c24e16d38","datavalue":{"value":"1134.68421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458339$B29F4EE6-D54A-45E9-A359-66B74BD48FB4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"421340314cb223318cb49b11dd02bc8475d5074b","datavalue":{"value":"10.1007/978-3-540-78800-3_29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458339$5F324B95-3812-4442-83EC-DA8D56389386","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d1bd835aad3f28b70e4d220903c239104ceef70","datavalue":{"value":{"entity-type":"item","numeric-id":432141,"id":"Q432141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458339$A36236B7-1508-4A5A-883A-7695D9F13CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d28c0a406f6ee99cd8f5e212965690a891ace79f","datavalue":{"value":{"entity-type":"item","numeric-id":193842,"id":"Q193842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458339$8C2742F0-40C6-472E-A6A4-DF55F7C6B81B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"59dccd13a2e71c75b860bf298c2386cebf24a966","datavalue":{"value":{"entity-type":"item","numeric-id":2723422,"id":"Q2723422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458339$88884D21-896A-4312-9822-BEED5F8DFBCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"267769ee025773c3257f441a0558f5f2a60f51b9","datavalue":{"value":{"entity-type":"item","numeric-id":432145,"id":"Q432145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458339$D1B88DAA-A207-409A-A9F1-4D35FC13902E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458339$76DEB67D-8172-41E8-9549-87B34230E37B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de5306c1211a7dcd78b6214088eb3e5b7092fd16","datavalue":{"value":{"time":"+2008-04-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5458339$356B6217-ACB0-4D90-9A1E-AE133BB1F882","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458339$4CDD951C-9691-4728-89BC-003D23167EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458339$6C93963C-A2A3-40BA-AE96-788B12D94C6B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"541bbbe7e6c2455e6a3a1a75b9af7f0976015fba","datavalue":{"value":"5262384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458339$688BEA11-FCCF-4C70-8BF0-BFF1877F55FB","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":"Q5458339$CA61911D-FCFD-4A9D-B6E2-04088A4C64AD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2897bf9f8e63cea13fdca754fbe190d634d2f468","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78800-3_29","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458339$A553E03C-A8E0-4A48-91F0-F49B0716166C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b47f6546f34140072e2837c5e473704406e5478d","datavalue":{"value":"W1850312962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458339$C43800D3-3F1F-4B6F-B18D-94E8CE8E1758","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9b14cf743ab3eb0e00763b7d86e0dd46e4047ab","datavalue":{"value":{"entity-type":"item","numeric-id":3636875,"id":"Q3636875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c73dc87f367cfae9939bade2b2190d222f221a0","datavalue":{"value":{"amount":"+0.8260411024093628","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":"Q5458339$E55C07EB-0FA8-4E61-8321-D58709B7D69F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20f710f1cb19bc2f692bd1c525fa93a6dbf7bdae","datavalue":{"value":{"entity-type":"item","numeric-id":5276139,"id":"Q5276139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c54955b707da6fe1b7f33e009529a4d7b0adac9e","datavalue":{"value":{"amount":"+0.8056362867355347","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":"Q5458339$D7A3E719-5611-4974-AA3F-49771F3617EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"053c83158ff52c82be086916b19ed1c1da73d629","datavalue":{"value":{"entity-type":"item","numeric-id":2961569,"id":"Q2961569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c32ef3d717aa290ed197c6212dbcafc1edcc713","datavalue":{"value":{"amount":"+0.7924926280975342","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":"Q5458339$4CE7BE10-B3C0-49A9-AFCC-3DDACA7C55C8","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":"59e7f35f93a912139e4d88daf47a085464f1859c","datavalue":{"value":{"amount":"+0.7848459482192993","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":"Q5458339$0BF8D10F-05A8-4B01-97A6-F63FD6EA2F42","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":"46ae1297c4986c1e473fbc48084e9a9989541ca0","datavalue":{"value":{"amount":"+0.7817150354385376","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":"Q5458339$D9F47315-97E1-4100-84F6-28C9A35D59B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5458339","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5458339"}}}}}