{"entities":{"Q4085221":{"pageid":6114821,"ns":120,"title":"Item:Q4085221","lastrevid":40860183,"modified":"2025-04-12T01:41:14Z","type":"item","id":"Q4085221","labels":{"en":{"language":"en","value":"Verifying properties of parallel programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3504432"}},"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":"Q4085221$0A5BD029-A15A-432E-AB30-E2DC482F05DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5d80d86ef3cb24e24520f78a68effd6744e4f9f5","datavalue":{"value":{"text":"Verifying properties of parallel programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4085221$D9D4D7B3-E64F-45B7-B653-752BAC8E55F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"282dca940bf05c12600c7edec976eda0c289f893","datavalue":{"value":"0322.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4085221$DA5ABC84-3B53-4E02-9DB1-C73BD8C6E06B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"456519833da5d2582871d98a22165e0785900027","datavalue":{"value":"10.1145/360051.360224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4085221$3D9F1EAC-1CDE-4C7A-89D6-0C595AE73454","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":"Q4085221$411AF1CE-6A47-40D4-AFED-97E06966EF1D","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":"Q4085221$F1382929-9703-40EE-9F1D-24BF81D2DEB8","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":"Q4085221$CC3D11A0-DE16-4C98-B389-57A360B5ECAB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4085221$156F5250-52E8-4839-9A97-EB37B32617FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ed1e3c6cced595a05b8ae19055521b22405b78a","datavalue":{"value":"68W99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4085221$45866138-5CBE-477C-810B-999238FF621D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4085221$4B7DF18E-16AE-4347-B131-AC5C8029F640","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f736a6f39c4ca0316e6f26a431b58867e7592add","datavalue":{"value":"3504432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4085221$A32F00B3-4C46-4850-B110-D13E107E7BED","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":"Q4085221$29E13199-B35C-4A48-8501-51CEF77407E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b4d5630f712bd932374d8160bf3f8eed606bdd26","datavalue":{"value":"https://doi.org/10.1145/360051.360224","type":"string"},"datatype":"url"},"type":"statement","id":"Q4085221$44A6E7EF-E5E4-4EE2-86EF-CA477962FAEB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a73cbde7afd1056d32208a2e7bbba4253e984385","datavalue":{"value":"W1965662337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4085221$D7FD9C39-B5C3-48EF-A116-2ACF358603E0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087426e75e65ba42be09a15851f31de13b7aa5f3","datavalue":{"value":{"entity-type":"item","numeric-id":56730,"id":"Q56730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4085221$9A637F7A-33FD-4120-9DE6-7CC5DEFCEB62","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4085221","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4085221"}}}}}