{"entities":{"Q1600652":{"pageid":1611392,"ns":120,"title":"Item:Q1600652","lastrevid":70940763,"modified":"2026-04-13T18:23:16Z","type":"item","id":"Q1600652","labels":{"en":{"language":"en","value":"An efficient partial order reduction algorithm with an alternative proviso implementation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1756335"}},"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":"Q1600652$434B6116-70DA-47A8-8089-A85370FCA2A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"427556133f27337e76f663fdf3c8b5366f4410bb","datavalue":{"value":{"text":"An efficient partial order reduction algorithm with an alternative proviso implementation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1600652$8E0EA3E9-8E27-4497-8DF2-DC8E2DD537D8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8be1796e99b233fdc863254e51af46df023276e5","datavalue":{"value":"1017.68069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1600652$B923FAD8-4D4F-4EC0-9984-12C58FE78E8E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ff76aff77132917c6d0a25a588cc098c32ad32e","datavalue":{"value":"10.1023/A:1014728912264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1600652$1AC0EC88-02ED-4004-AE4A-0232B50360DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"539b27571f241af9e545d8224de4600f8d08b7fe","datavalue":{"value":{"entity-type":"item","numeric-id":239160,"id":"Q239160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1600652$7DB71937-1670-45DC-82E1-EAAC05029ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bb25cd5bff61dd98c69faa32322d3d5f5b3963d","datavalue":{"value":{"entity-type":"item","numeric-id":239161,"id":"Q239161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1600652$E5A11576-3A79-4C6F-AEB3-8F1992DF91F1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1600652$95A01CE1-F73A-4FD3-A0C0-C962C4E831D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"456c8c6068f5f9f6deacb4e2d51a2b9ec66d8bdc","datavalue":{"value":{"time":"+2002-06-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1600652$071129A8-595C-4C5D-87F3-88B1D2986216","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1600652$91B9C1E6-51E4-4EC0-B1F3-13A241B7BC0D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03b2a0dc0efa7e8b0f69680d25870479cd99ec0f","datavalue":{"value":"1756335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1600652$AFD24510-FB5D-416E-960E-578A2E9F6172","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8de21c1f2c35b53aeb4fbe9ef2bc619d772652a","datavalue":{"value":"protocol verifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q1600652$4D17BF14-63CE-4F8D-BAC5-807FEB2125EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39a90e92250c5e026dd1960d6fb3bd04ddc6209f","datavalue":{"value":"Twophase","type":"string"},"datatype":"string"},"type":"statement","id":"Q1600652$E58FE25A-B18D-49E6-B363-9DBE30D1D6C4","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":"Q1600652$2EA92153-9107-46E1-B9CB-8B90EA3E74B4","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":"Q1600652$579B7FA2-CE51-4F7C-92F2-B0289E388B3B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"552d35c6b77b218646c309fc6a1c17d2bae4fc3d","datavalue":{"value":"https://doi.org/10.1023/a:1014728912264","type":"string"},"datatype":"url"},"type":"statement","id":"Q1600652$7181F701-0E5A-4222-A49C-ABAC1625BC22","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2798c98df6b2607e013b086cab6e3582620a7e16","datavalue":{"value":"W1481204670","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1600652$D686D40D-07F9-4D6E-9220-54894082C64F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"050b4a2623d15e751baed2a171c14980626a591a","datavalue":{"value":{"entity-type":"item","numeric-id":960506,"id":"Q960506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2fff17cff0c131287161eeb8d1a601dc55f19b9","datavalue":{"value":{"amount":"+0.8026599884033203","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":"Q1600652$A056B2CC-7DDC-4AC8-A380-0C5BCFF9CE67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa249723b20db37e55d380c11ee874bb1346fc69","datavalue":{"value":{"entity-type":"item","numeric-id":4422094,"id":"Q4422094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de1cd21bb130b03b80fb38e3823bdcb5cd6ca99b","datavalue":{"value":{"amount":"+0.802505612373352","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":"Q1600652$859ED691-CA12-48C9-AD62-8E8984AFE4A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b2b68a1f81bfc98fa2d5e05b495a90d8056f719","datavalue":{"value":{"entity-type":"item","numeric-id":5899046,"id":"Q5899046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea572ed4fb3369825ebe22ee2bb14865a497468e","datavalue":{"value":{"amount":"+0.8003242015838623","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":"Q1600652$22492C56-0CDE-4D49-9A94-D9FBA17FEE65","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":"31c417ced5ed37a7c5e1eb56f61dcedf72b202aa","datavalue":{"value":{"amount":"+0.7722330689430237","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":"Q1600652$BC6AF79C-8A5B-46ED-9D16-9BDE35995049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10b8af454ec2af791b492aaf4ed14827a82eb1ff","datavalue":{"value":{"entity-type":"item","numeric-id":4738472,"id":"Q4738472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdb60ffa3b1c4d3f16e19bb30c6c770d1a623e16","datavalue":{"value":{"amount":"+0.7653304934501648","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":"Q1600652$09812004-ED9C-4EB6-A318-3FD993FCC66B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An efficient partial order reduction algorithm with an alternative proviso implementation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_efficient_partial_order_reduction_algorithm_with_an_alternative_proviso_implementation"}}}}}