{"entities":{"Q3636875":{"pageid":5666781,"ns":120,"title":"Item:Q3636875","lastrevid":50694830,"modified":"2026-01-14T20:15:19Z","type":"item","id":"Q3636875","labels":{"en":{"language":"en","value":"Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5571912"}},"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":"Q3636875$D99C90FC-2E13-46A3-8ECF-AB168DADA34A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dcd91f41f400f4dc57aa6c21931f8730af8665bb","datavalue":{"value":{"text":"Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3636875$73072F2C-41D0-4E90-B1A6-BC995A822E85","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae95abfc01942511f0bab1cb85e7c49710edf4c6","datavalue":{"value":"1242.68166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636875$DF0CF775-AF6F-4BA1-96B3-EB4273EAF822","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e518c7fb6b9944bdda1f778f87ac0033ae4d162","datavalue":{"value":"10.1007/978-3-642-02658-4_31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636875$6F2AAAD5-F573-45D3-BA98-357E4DE8B4F8","rank":"normal"}],"P16":[{"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":"Q3636875$DF3409BE-78DC-44CF-8D2E-B9172B01F407","rank":"normal"},{"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":"Q3636875$C3E43DB0-4744-400F-AA37-E194F70C5734","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":"Q3636875$3B90FEA6-10E5-43B3-BE44-4EFFC14BA202","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636875$2240C237-58B1-4041-9017-86A659B8C446","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09df791b31880a83cb69102ced8fef72b45dd8e8","datavalue":{"value":{"time":"+2009-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3636875$4B427B9D-545F-4319-9534-93B1B043C2EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636875$C9DF47F3-D4AA-4EEB-B300-018F572CB660","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0123d5696bc26c03a532cbb2d2b6988723c40ad9","datavalue":{"value":"5571912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636875$6CF0C38C-CD27-48C5-9491-99BFC943C67B","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":"Q3636875$F4EA6A13-1734-4DDD-A39B-44E5BEF9927D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8af22a4c03bb8da936f13937bb5b4670c7d3f393","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02658-4_31","type":"string"},"datatype":"url"},"type":"statement","id":"Q3636875$8468C944-5F26-4D40-91AF-DCB79F019D44","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7eefd4f575ece48fe93cfdd77e52b1a7dd18e91f","datavalue":{"value":"W1549714654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636875$24F3C628-0021-41F8-9B44-0F4B9779FEAD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f4c676dc048547999a54a203e9646d84b731faa","datavalue":{"value":{"entity-type":"item","numeric-id":5458339,"id":"Q5458339"},"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":"Q3636875$F54B0D40-E0A0-4E9D-BA2E-350942297799","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":"ab53ef5ccead06119f6f60cf30691a7f173f98fe","datavalue":{"value":{"amount":"+0.8175979852676392","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":"Q3636875$97F6F304-7A47-4232-9944-8718FD350BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8f766ba683f784b16376028708eddb08ae91e1e","datavalue":{"value":{"entity-type":"item","numeric-id":2050101,"id":"Q2050101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16c4c71bbcc7bf5fd5eb9e0438c9f9f5f3308273","datavalue":{"value":{"amount":"+0.815208375453949","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":"Q3636875$6E3DEC45-0AF1-4DB4-8F9B-E24A815EAC20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff8eebe83a285a552217b0790a2a806b29d6192c","datavalue":{"value":{"entity-type":"item","numeric-id":6043165,"id":"Q6043165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5473fdf9a552b270ab595e676223fe2539f06344","datavalue":{"value":{"amount":"+0.8123225569725037","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":"Q3636875$7FBDCF93-B890-4C51-B4AC-8AB4FC34DA6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d3568527f8a2276bd6707602dc03e2bb47e0715","datavalue":{"value":{"entity-type":"item","numeric-id":5408432,"id":"Q5408432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c805c935074b61fa5cbbd13590feb1f029c14ed1","datavalue":{"value":{"amount":"+0.8088604807853699","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":"Q3636875$E749D785-F9B0-482E-9382-6172A9362597","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3636875","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3636875"}}}}}