{"entities":{"Q5217316":{"pageid":7246886,"ns":120,"title":"Item:Q5217316","lastrevid":40765031,"modified":"2025-04-04T15:02:50Z","type":"item","id":"Q5217316","labels":{"en":{"language":"en","value":"Comparing Source Sets and Persistent Sets for Partial Order Reduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7172783"}},"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":"Q5217316$570CCCF2-A5BE-44EF-9CC6-9E960A90EE27","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d3edef54cc05b76d603f45c55b32b6735d0d8526","datavalue":{"value":{"text":"Comparing Source Sets and Persistent Sets for Partial Order Reduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5217316$7994EA67-737E-4775-8DA6-61C01B5A480F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"02064f010aaa0a27612643df8e6529c367f7165a","datavalue":{"value":"1431.68062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5217316$3F0FE4C9-A0E9-4AED-94ED-5E36BC815045","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0aca05d0fe09b14706e37ffb9d460667deb7ea19","datavalue":{"value":"10.1007/978-3-319-63121-9_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5217316$E2245982-E203-4945-BBB8-FCCFD3069DB5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"46fc33b415c532ede61ce83b8f7d95780ce1064f","datavalue":{"value":{"entity-type":"item","numeric-id":1683931,"id":"Q1683931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5217316$BD1C8C90-2F2B-4301-A44D-A1E25FA58A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da3257392c6ffa563f5e454ba2a32388db4ce02a","datavalue":{"value":{"entity-type":"item","numeric-id":300408,"id":"Q300408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5217316$4204DD04-63F2-46F6-8489-7D807DA11234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b20b81a7d340bb11545f18691561a3ea86d216a1","datavalue":{"value":{"entity-type":"item","numeric-id":300410,"id":"Q300410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5217316$526B3424-50A3-4D62-ACD1-369111D876A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba6a5352415e5620331ed484966e52e3a16a0b01","datavalue":{"value":{"entity-type":"item","numeric-id":1683933,"id":"Q1683933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5217316$ECFBE534-5CB6-4EDF-A436-2FEAC312AC5A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5217316$318C6865-6EA4-4B72-846E-32FB91050404","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff603527318cba6b7a9cd3458e2a545d41485a6d","datavalue":{"value":{"time":"+2020-02-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":"Q5217316$FC7A51AB-C961-4C4C-A06C-811D23E11BF6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5217316$9A0BDDC9-04C9-4B53-A122-9720AD45BC37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5217316$EC2C1B4D-9D5A-4641-AC37-103099E8A7AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5fd6ee5bf376c515ef4c2f5df11871313b14384","datavalue":{"value":"7172783","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5217316$4BADD08C-98B6-4714-A17A-7D80A0F2A434","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":"Q5217316$C4A445B4-C94C-4D45-8F59-45F8E60168FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e207e8471472b5f2e94b2357fab59a2b441eb794","datavalue":{"value":"https://doi.org/10.1007/978-3-319-63121-9_26","type":"string"},"datatype":"url"},"type":"statement","id":"Q5217316$7716AE58-02F3-4AF0-AD6C-8AE248A83AA5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8233b373205334fbb09142c11792e30c3174c19f","datavalue":{"value":"W2739356170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5217316$0E5F22DA-1155-4DF2-B00D-CBE93A08EC6B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f62643361c99d368cddf0e381394e0dbd711d4ee","datavalue":{"value":{"entity-type":"item","numeric-id":4640276,"id":"Q4640276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cb256acac54d31115fa2e6ee11c1a830abf174d","datavalue":{"value":{"amount":"+0.8980835","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5217316$45BC0894-AE1F-4E84-8C7C-C012586A2D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b2ce23f23c330b9d46ca06409eca342a0d099c3","datavalue":{"value":{"entity-type":"item","numeric-id":3541021,"id":"Q3541021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc100e7946de47966da41493f51f6a80b5636ec0","datavalue":{"value":{"amount":"+0.8425668","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5217316$19550DCA-BDEB-4D35-8E66-BEF463325768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c954ca3ed50aeb452b4597897181996d522cdcf","datavalue":{"value":{"entity-type":"item","numeric-id":3648689,"id":"Q3648689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8359a179e1066064bae1de7a9326cd4e2d69f3a1","datavalue":{"value":{"amount":"+0.8412984","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5217316$ACCA5264-2D97-4A94-AE9E-60764F7C05AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fab2e5c70270d79cfe882ef6a5e36c8016f52918","datavalue":{"value":{"entity-type":"item","numeric-id":2151268,"id":"Q2151268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d94e16e7043572eea83cd87d62e03483811462c","datavalue":{"value":{"amount":"+0.8247249","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5217316$1AAD4E31-63B6-4A7C-ADB5-A52CC8D7BF21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4ab2a2800d318bfebe60af199e1e3bdd16617e0","datavalue":{"value":{"entity-type":"item","numeric-id":3176364,"id":"Q3176364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6bcb3812d14d291b67851498074a922bac2f314","datavalue":{"value":{"amount":"+0.8217883","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5217316$5C32FC9E-4DDB-4D02-B99A-46787EC04162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b60597d81e4f1efa84fd71a0c1deea0f67cc5a2","datavalue":{"value":{"entity-type":"item","numeric-id":5357723,"id":"Q5357723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd72c9734a8178af41075dd572f600c0c24e3773","datavalue":{"value":{"amount":"+0.8212881","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5217316$E8B0F63D-0BA0-43F5-957A-77C2C90DC456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3172bb0227eadc6dca911d4f117dc5eb67e259cb","datavalue":{"value":{"entity-type":"item","numeric-id":1600652,"id":"Q1600652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc482c4f117b2d0e37ac222e77b0f2ec460ad1a2","datavalue":{"value":{"amount":"+0.81987494","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5217316$813A131B-1ED4-4230-B509-800ADAF23885","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5217316","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5217316"}}}}}