{"entities":{"Q5187828":{"pageid":7217400,"ns":120,"title":"Item:Q5187828","lastrevid":50923733,"modified":"2026-01-15T18:48:37Z","type":"item","id":"Q5187828","labels":{"en":{"language":"en","value":"A proof system for a PGAS language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5679035"}},"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":"Q5187828$58A9D77C-241D-4A99-88E8-9AC5334D7CC1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"557a3074805b0c4f87e5d0add1f369eb61e4b82f","datavalue":{"value":{"text":"A Proof System for a PGAS Language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5187828$4F23408D-B259-4E28-B280-15E4C48E4144","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c58eb350aa4034108973a79ee822c3037e25ff9","datavalue":{"value":"1274.68038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187828$B48190F4-FB2B-4C39-ABA4-9BBCCD47B7D5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"df30bc094c0ee48e8220fc5238cb11b1f0436181","datavalue":{"value":"10.1007/978-3-642-11512-7_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187828$51B14E9D-C930-4ABC-9A57-180ACEAE99E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91092ba4855fb1ff0c54ff69895e716398d2b687","datavalue":{"value":{"entity-type":"item","numeric-id":5187827,"id":"Q5187827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5187828$099BE277-906A-4831-B8E0-6133564B30CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6e169b57195ba199568844c5f0329cd366749c5","datavalue":{"value":{"entity-type":"item","numeric-id":553360,"id":"Q553360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5187828$72111DC6-2CCB-4BF8-A14F-720AABA382B3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0e5b4d5402b3754a6053a15bbac33af0e505e060","datavalue":{"value":{"entity-type":"item","numeric-id":5187815,"id":"Q5187815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5187828$560C31A3-C4DC-4ECD-A6EE-88F35B118123","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"10dcb20d02ba2b80ffd27851e30b5d754f8113d8","datavalue":{"value":{"time":"+2010-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5187828$78B257DD-43A0-4089-9DDD-9DD80331498B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187828$BA59480B-B57F-4B75-BB4A-D30DB342A1A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187828$1B44B84A-BA02-4501-A5D4-8E657777C2C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d9fce0d4248ca04625ab04cd4c790e29ad57a433","datavalue":{"value":"5679035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187828$59C85AA6-4812-452E-A2B8-3ED342A38A49","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":"Q5187828$83BD5C7F-FD29-4AD3-8009-CEFEED09BFA7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"44c4e13a46e716a01132eba82661f26b20b341e4","datavalue":{"value":"https://doi.org/10.1007/978-3-642-11512-7_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q5187828$BEA46795-1A5B-427E-9686-498225E2B2EC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"977ed5bf0e7c0418f54f408b7e1c43ea1508733c","datavalue":{"value":"W2117262103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187828$FE60EAB9-D577-410C-B976-1F671C798921","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0662e84b582f303e195cd1c71939304ef423cf70","datavalue":{"value":{"entity-type":"item","numeric-id":1770359,"id":"Q1770359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5187828$93976F47-0AE4-40EE-956E-BD1EDE89E452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ec3996c14b206674e33c3ff3678191b3d324529","datavalue":{"value":{"entity-type":"item","numeric-id":3922144,"id":"Q3922144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5187828$12AD5441-8876-4344-A03F-604EACAC00DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c39f41d52ff5e280daed5eda3593ba1616c383d1","datavalue":{"value":{"entity-type":"item","numeric-id":5756504,"id":"Q5756504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5187828$A9D74796-74F6-4087-840A-B969832A9FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1a7e4b474158f147651cf0ba89e06743562a007","datavalue":{"value":{"entity-type":"item","numeric-id":4256146,"id":"Q4256146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5187828$ADAEE369-D0DD-4704-95EF-35AB7D72F46A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8823a77e51a0bf94509ba0c0821f0fbcfc8cc646","datavalue":{"value":{"entity-type":"item","numeric-id":1119027,"id":"Q1119027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5187828$62EF95BF-1725-4135-AE0D-72E8E996547C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"559baae2954474e4eff2c2b8ba085a50a41a6d76","datavalue":{"value":{"entity-type":"item","numeric-id":2368949,"id":"Q2368949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5187828$07925336-BCCB-4F63-A3AB-BA5097171F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41301839acd5ddfa312e450662b86da4e07cfb3f","datavalue":{"value":{"entity-type":"item","numeric-id":5178853,"id":"Q5178853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5187828$72A0EA0D-719E-4E8A-B081-BEF8E95321D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"796364eeefb9789a01eab3a144d0337d6c23ee01","datavalue":{"value":{"entity-type":"item","numeric-id":1219675,"id":"Q1219675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5187828$EAF94350-6AC3-41A9-9A3E-7259ABA47DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6dc28488571be6774c2372b9eaa77a1c681d43f","datavalue":{"value":{"entity-type":"item","numeric-id":5897494,"id":"Q5897494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5187828$3ECBDB50-ABEA-43BB-A622-BDDD4D133830","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33ccf9a8f4e11fcfd1f251f0f1a073e32f691e67","datavalue":{"value":{"entity-type":"item","numeric-id":2963905,"id":"Q2963905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55cb975fbe0db91ce8ed95b1a1ff195c96859153","datavalue":{"value":{"amount":"+0.8199827075004578","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":"Q5187828$8A49CF41-74F2-4B28-A3A2-7A38B521B295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c418b33dde17bcddf9976d4509d702f28837347","datavalue":{"value":{"entity-type":"item","numeric-id":5897494,"id":"Q5897494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e21bb9414f1765f9662111c1d1b5d09154700984","datavalue":{"value":{"amount":"+0.7146739959716797","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":"Q5187828$50AA0B28-E23A-471E-8725-954BC0DF2BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79ff84f8d0f4db8e5d356753cda328996449a307","datavalue":{"value":{"entity-type":"item","numeric-id":796292,"id":"Q796292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9598a413eb9852fd070cdc3aa96108821103d975","datavalue":{"value":{"amount":"+0.681832492351532","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":"Q5187828$F320D7CA-F8FE-466B-AF35-667DDA781294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45dfce59aae4ec646dac718eb035843a4d41980e","datavalue":{"value":{"entity-type":"item","numeric-id":1389681,"id":"Q1389681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"752e21c7e308de4648be9054aa0037a7536d223f","datavalue":{"value":{"amount":"+0.6796949505805969","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":"Q5187828$D9D2F6FF-856A-45B9-8CE5-C603CAD737F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf95712cd61486cce6e10eae28ff17b416268869","datavalue":{"value":{"entity-type":"item","numeric-id":3685165,"id":"Q3685165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"110956aca70598087104070cf531ed47f613ea4d","datavalue":{"value":{"amount":"+0.6771861910820007","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":"Q5187828$0FB13354-5DC8-4340-92A5-81B0EB58D847","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5187828","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5187828"}}}}}