{"entities":{"Q1219675":{"pageid":1230424,"ns":120,"title":"Item:Q1219675","lastrevid":70336854,"modified":"2026-04-13T14:05:21Z","type":"item","id":"Q1219675","labels":{"en":{"language":"en","value":"An axiomatic proof technique for parallel programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3488599"}},"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":"Q1219675$5E29E0B5-6953-46C6-8BA8-AC83A7440E9D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"35b0d52adf86d10af47b73dbe88f211884aeebdf","datavalue":{"value":{"text":"An axiomatic proof technique for parallel programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1219675$4CC007D6-7D87-4F6E-A2A4-FB5A6EA8B34E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6db9a91766821035715d545d48c8185e004865e2","datavalue":{"value":"0312.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1219675$B7518DA7-4D2A-4B7F-B0F1-7BC139A54308","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"87beb8024b209d1d64d7845bcfe252710cbb65d5","datavalue":{"value":"10.1007/BF00268134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1219675$396007C3-FE53-43AC-9FE9-FCB0F512FC94","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2556e282b7fba76d3a7161570ae4b4bd6328e54","datavalue":{"value":{"entity-type":"item","numeric-id":1219674,"id":"Q1219674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1219675$4B91D227-22AD-4C1B-BEB9-316B7D3BCA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87201105ab9aadf571db6479712327a7fc2e406d","datavalue":{"value":{"entity-type":"item","numeric-id":287253,"id":"Q287253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1219675$4017025B-8EDC-4ECD-AA16-71A92BEC077C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1219675$4F43799B-AEE8-4689-A416-5622DB71CAE3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"974fa8a46aa40326fb3113b279589eb02559bb73","datavalue":{"value":{"time":"+1976-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":"Q1219675$1B4E0879-4B4B-48DB-BEDD-12E534C130B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1219675$49871CE2-1181-4EBD-B61C-EFDEB436208C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"52df39ba0614ceb2e087fdf4b1ac633e3b765f18","datavalue":{"value":"3488599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1219675$55807C7A-6EFC-4FB5-B9C8-20C3A2D29AD2","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":"Q1219675$92556186-DF2F-417D-8442-505BEACC146F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"df755177511a4a382e9fd897da9fe34d7e867ddc","datavalue":{"value":{"entity-type":"item","numeric-id":5679697,"id":"Q5679697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1219675$90C38299-A72F-4E71-8D31-756A8C7950C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dafc05edf5c32c816a5ee48939a3f1bdfaac25fa","datavalue":{"value":{"entity-type":"item","numeric-id":4117366,"id":"Q4117366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1219675$56B9FA5C-0662-43BC-ADE8-3E6A4FD93573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd52d7e4f268a04596fca14f9c726a403d101b08","datavalue":{"value":{"entity-type":"item","numeric-id":4134900,"id":"Q4134900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1219675$A222F980-430F-40BA-B140-2374DEA04B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1219675$81B92770-92D8-4213-8B49-EB27E50D7755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e724d846111e1f98a2ba316d968f43250ea55fac","datavalue":{"value":{"entity-type":"item","numeric-id":5684221,"id":"Q5684221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1219675$461916AF-CEDD-4D35-8514-D3C3C599A9DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb3ca9fc3aae0e682a4fb157c408b25328a8cbcf","datavalue":{"value":{"entity-type":"item","numeric-id":2561836,"id":"Q2561836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1219675$41197591-3A4B-4688-9DDD-5E3DCF64829C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f7dc108eec2475f4c2bea11889387d32807459f","datavalue":{"value":{"entity-type":"item","numeric-id":4068103,"id":"Q4068103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1219675$3B13E069-3172-4BA1-87E8-A190A987B925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e5de071acf74d41c88984aebb1ab91a8eefe805","datavalue":{"value":{"entity-type":"item","numeric-id":1216173,"id":"Q1216173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1219675$DC2F6B49-4ED2-4CA1-80E4-A0B4A6B3B56C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd14ecb8d9b01fcf432d7dcc1ccb01a23ee02c8","datavalue":{"value":{"entity-type":"item","numeric-id":1241051,"id":"Q1241051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1219675$C8041DF4-214E-41AA-BD95-AC592DFEC922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed32be8eebfa939344026e8c9cb301f260248e08","datavalue":{"value":{"entity-type":"item","numeric-id":5548674,"id":"Q5548674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1219675$EAF0F0F9-F8F3-48D7-93B5-92C207E1545F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd2791da5b87f3897ecd063b68e70aea276f020b","datavalue":{"value":{"entity-type":"item","numeric-id":4178461,"id":"Q4178461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1219675$09CD1EC3-F964-4D80-AD74-477CFDF7760E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An axiomatic proof technique for parallel programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_axiomatic_proof_technique_for_parallel_programs"}}}}}