{"entities":{"Q1050109":{"pageid":1051957,"ns":120,"title":"Item:Q1050109","lastrevid":66040629,"modified":"2026-04-12T07:08:10Z","type":"item","id":"Q1050109","labels":{"en":{"language":"en","value":"Proof rules and transformations dealing with fairness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3808930"}},"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":"Q1050109$834C2995-5967-4E86-AB60-9139A32E9899","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"166d2aa4f0f017a38d6a5536763103b397b0d483","datavalue":{"value":{"text":"Proof rules and transformations dealing with fairness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1050109$57DFCF71-405F-4457-87D5-292C7DCBCFDB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"67fd7698cd6164936507620a5a9fd77f3dad37a8","datavalue":{"value":"0512.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1050109$5797F7DA-1D6E-4EC8-B440-634D9670EF14","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac4e685ea0128b9c723b45b9f825a5f170174fe7","datavalue":{"value":"10.1016/0167-6423(83)90004-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1050109$43E83976-81FA-41A5-BA19-F5E9C9D66C3B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6066cea2292dad22804c025246b70830e1a1139","datavalue":{"value":{"entity-type":"item","numeric-id":439941,"id":"Q439941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1050109$1B4B2847-7708-491E-921D-53EA5F3329FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"144020476487cf65953e80776af1d8c90afa5bd7","datavalue":{"value":{"entity-type":"item","numeric-id":1838824,"id":"Q1838824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1050109$092E151B-ACF7-4B18-AFFA-7A1CEB2BC7E3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1050109$C098560A-DACB-4272-B116-E0E1DE6417CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1050109$FE9E1794-8B43-41A8-9414-7D1AC9D9FB62","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"24efc7a277ad70061d5c68a99079253f90084351","datavalue":{"value":"https://ir.cwi.nl/pub/10274","type":"string"},"datatype":"url"},"type":"statement","id":"Q1050109$22F1BB0D-72F1-482F-8830-355113E94964","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1050109$3F657EFA-63C9-4128-B78D-330FB3047CF5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf44bbe2cda76b10508a4c50d2fc3ea5e5f970cc","datavalue":{"value":"3808930","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1050109$C6AE0017-2818-4520-84BB-61C3F9136695","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f86c6fbfcf83d98f5d30aa43e03318d7a8f68652","datavalue":{"value":"Dijkstra's do-od-programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1050109$A49479C1-473A-49AE-82BF-E6AB00062565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3719ed41893672db063f7cdecb5bcd68172db4a4","datavalue":{"value":"proof rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1050109$D2E872D1-6941-4D3F-A86E-CA7AAD5C4747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cf7c57a2cc3ae7a916da273056923739a9bf7a0","datavalue":{"value":"nondeterministic and parallel programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1050109$45F50234-20A9-4CC4-9933-672CF51F2246","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":"Q1050109$D304FE9D-52F0-46E6-B2AA-3F05B0C3A515","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5c60c29f8e3972a5491173db34b246add2c2e7ad","datavalue":{"value":"W2149325295","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1050109$7209BAE0-FD93-4D55-BA95-3E4BB04CE726","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof rules and transformations dealing with fairness","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof_rules_and_transformations_dealing_with_fairness"}}}}}