{"entities":{"Q2873775":{"pageid":2884495,"ns":120,"title":"Item:Q2873775","lastrevid":51912794,"modified":"2026-01-20T12:54:47Z","type":"item","id":"Q2873775","labels":{"en":{"language":"en","value":"Partial order reduction for rewriting semantics of programming languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6250528"}},"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":"Q2873775$3ABC9EDF-A5D7-48F5-8F2F-1DAB09C7572C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d8eaa6cbb855de31deaa4b2931c45f2504dfb227","datavalue":{"value":"1279.68207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873775$74A67D12-8730-4CC0-95EF-E6BCD521B27E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"447b7ccb3b44606d06749a82accbbc81e15a98a8","datavalue":{"value":{"entity-type":"item","numeric-id":832231,"id":"Q832231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873775$C75E90E5-8C99-4234-B9A6-F2E28309EB09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873775$7FC81D1D-51E9-44BB-A3E8-80295430BD74","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873775$9AF97A41-653E-4E2E-8AF5-6976C714AE02","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ec1d1b5de12363b743dc1edf0b2d387c6f9a8806","datavalue":{"value":{"time":"+2014-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2873775$F4DCCE97-A41C-40CB-B2D1-3869E78F2FE8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873775$C7942A95-33E4-41A1-992F-8F3CCDE9EAE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873775$6EDBA3BD-16EB-4798-A284-E66ABA4AEB93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873775$B485BCFB-FDD2-4AE9-959D-153430E7DE84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873775$2AF03A27-F9B7-4B4B-A93A-57151B6C51C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"659105efd4a107c3136df37ee396f1b3d822be83","datavalue":{"value":"6250528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873775$ABAFCFE9-72E3-4E03-BF57-B017FAF5186B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4be0568078bdb23907326b194531a896f4c2e986","datavalue":{"value":"partial order reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873775$ED6BED04-D3D0-4B55-A6EA-C9CC2C81D7CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873775$0FFF18E5-A47E-4580-9E74-8CB0732CC717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb0efeaf96905c5dc2b2c7fc3fd8b202ea61a1a1","datavalue":{"value":"programming language semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873775$75CF1066-9551-4F12-8023-D060E19AC9A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302e7bd67d2646d1e0615c1195ca61ad56775360","datavalue":{"value":"rewriting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873775$3C50E478-334A-4C68-8A80-83AE880605E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7837ca7b4ed6a21f47990cc2562459286134de64","datavalue":{"value":"Maude","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873775$D2B01BEF-6319-4E26-A12A-615C1F152EE5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873775$D52F84C0-DF67-43F6-8FC1-63B880100E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bee5cb1919919ea97c6e467c1806a0893670d996","datavalue":{"value":{"entity-type":"item","numeric-id":14223,"id":"Q14223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873775$A769890E-251A-40C6-93E3-FAABF540A54F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3edcee9066c8af5560373e04318011aa326faffb","datavalue":{"value":{"entity-type":"item","numeric-id":14483,"id":"Q14483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873775$19C9D8CB-1B95-433B-A666-B759448CBBF7","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":"Q2873775$E0608DF1-39DB-4F9B-8908-E68B45023073","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"898f9d8864ff1b101c4acf0e9846454f4aa9807d","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.06.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q2873775$6AF9F76D-3729-4811-8D0A-20120694C09A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"764536300500df3e0e75e6b32c17b28528db6d2a","datavalue":{"value":"W2056106183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873775$FE4E513C-D292-44CB-BAA6-8FA8E46C3D67","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":"Q2873775$801BB04B-618B-46EB-8B95-0CD2243378CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cd325ed68a6335c3158303131fa38fcb65823a1","datavalue":{"value":{"entity-type":"item","numeric-id":1856177,"id":"Q1856177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873775$58D10A3B-65EF-4543-B1EE-EB1E333FDFF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e39b46036e0e44c388baf61cdcb5ecf5b5fa7252","datavalue":{"value":{"entity-type":"item","numeric-id":4447224,"id":"Q4447224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873775$34129099-F683-4B96-80F1-09D4DB0094D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca3b30d0a635de87e776bb5c6ce06af9f321896","datavalue":{"value":{"entity-type":"item","numeric-id":1608917,"id":"Q1608917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873775$CC9B09A1-0BBF-4CFD-9067-2487C38A855F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69e637664223baed82911ee36f1459cc7b609050","datavalue":{"value":{"entity-type":"item","numeric-id":1888204,"id":"Q1888204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873775$526BAF73-12E7-44C4-B48E-496EF4079454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0013c6f81277e70d32128704d20b7bb9010dc3e4","datavalue":{"value":{"entity-type":"item","numeric-id":4426386,"id":"Q4426386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873775$71C80B81-8B02-4A52-80B8-38B96C46BE6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2b02b0da49b64177e47031faaa0120c9d5d8da7","datavalue":{"value":{"entity-type":"item","numeric-id":5312939,"id":"Q5312939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873775$B66F857D-09FB-4333-8A27-7D9F51899581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a80a8f56558e83d7ae0691e1e0732ffa170b4c5e","datavalue":{"value":{"entity-type":"item","numeric-id":2873775,"id":"Q2873775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873775$AC3A766F-3E79-445C-B89D-762B88033795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6007691293185549382bd2150d0c35a27394ef21","datavalue":{"value":{"entity-type":"item","numeric-id":5312976,"id":"Q5312976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873775$2F60D676-005A-47D7-95D6-44E3350E7E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"311e68c347f63177296b5d7365c6fbdfbcb1a3bd","datavalue":{"value":{"entity-type":"item","numeric-id":5276139,"id":"Q5276139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873775$1AF7E6BA-BD6C-44C8-A606-3E8CEB28AB76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b11cfaf3c08b2363e6f56df2b74e6694032484e5","datavalue":{"value":{"entity-type":"item","numeric-id":2845505,"id":"Q2845505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873775$B5475A87-B5AE-4F88-A42A-47793AF61775","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":"Q2873775$56DD3D77-47B2-4FD8-AF24-8C5C6BE2E475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc95d446f80c52ed7453599d680e586168dabac7","datavalue":{"value":{"entity-type":"item","numeric-id":1327383,"id":"Q1327383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873775$22C9E2BE-5754-4953-83DE-6705E68FD420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a70145a65c17f218441b1c74c9ac9f02f2de86a","datavalue":{"value":{"entity-type":"item","numeric-id":1194331,"id":"Q1194331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873775$8E06E649-0F3D-40FB-AE45-D384551DA70B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873775$9DC0BDE9-4BDB-43F2-ADE2-58ADF80EFC63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52005969f544e86789c699964c666cdf2e0ad4be","datavalue":{"value":{"entity-type":"item","numeric-id":5307047,"id":"Q5307047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873775$E0D65F83-E91F-4097-ADFA-53C3EECE8C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d1341c46dddfaa46d5d0eae09298d3585eca714","datavalue":{"value":{"entity-type":"item","numeric-id":2753763,"id":"Q2753763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873775$909EAD16-D848-4940-BD5E-817874B6C18F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03ec02d8b891c336785f7e10a18e41b4382dcbcc","datavalue":{"value":{"entity-type":"item","numeric-id":4037380,"id":"Q4037380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873775$50947FCE-D574-4A23-BBBD-DD5A86A4EE19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d9525944835ab99fe0caee89af1d1c4f1696592","datavalue":{"value":{"entity-type":"item","numeric-id":1608925,"id":"Q1608925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873775$E8A168E1-EBF6-4980-AFD7-D6293E419411","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d45fe964ae9f94036a5e81a3bb4067f82290cb8","datavalue":{"value":"10.1016/J.ENTCS.2007.06.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873775$626DA2F1-52B9-417B-B974-2A1B416E2705","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d2ebe972ad2870d78be98e31d31f0d309f7ae45d","datavalue":{"value":{"text":"Partial order reduction for rewriting semantics of programming languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2873775$25DDD6E2-A2DE-45A0-900E-3DC956BEFA92","rank":"normal"}],"P1643":[{"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":"4a37ce4dfa838c3a815bc966ee27ab2c7bfb8500","datavalue":{"value":{"amount":"+0.7846406698226929","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":"Q2873775$5323C33D-C666-4E61-AD65-4C7A7EA35E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1124589407aabfdc5ce011f199f697dc8b5e040","datavalue":{"value":{"entity-type":"item","numeric-id":4353637,"id":"Q4353637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e336145c25157c34f709a461787ad06270c52964","datavalue":{"value":{"amount":"+0.7679427862167358","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":"Q2873775$56063125-4737-43EC-8D82-BDB9C7F84DDF","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":"6cc068153c96d49cffb2c7e121617f79be453171","datavalue":{"value":{"amount":"+0.7587488293647766","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":"Q2873775$EA18A574-3BF2-468B-9C2A-0018B5119B3B","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":"511ed2c3dc5ee19ae2cbd8aba3ec6e6a81c05323","datavalue":{"value":{"amount":"+0.7566341757774353","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":"Q2873775$36EDC992-2B0A-496C-866C-0266EDEBFAE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8da86bc4214d441bd69ca1e5734b810c6f1e015a","datavalue":{"value":{"entity-type":"item","numeric-id":5493237,"id":"Q5493237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"492beba179b0e5ae37f2cf639fd6c56257b99ec6","datavalue":{"value":{"amount":"+0.7497841715812683","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":"Q2873775$009785B6-0AC2-4639-94D2-737E6918EDFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2873775","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2873775"}}}}}