{"entities":{"Q4819652":{"pageid":6849232,"ns":120,"title":"Item:Q4819652","lastrevid":48351073,"modified":"2026-01-04T11:05:49Z","type":"item","id":"Q4819652","labels":{"en":{"language":"en","value":"Building reliable, high-performance networks with the Nuprl proof development system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2103600"}},"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":"Q4819652$4404652E-1E17-4814-B703-5100B455B51D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a9ef55d895588ac819fb297b15be65cfbc6c0c6","datavalue":{"value":{"text":"Building reliable, high-performance networks with the Nuprl proof development system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4819652$04EB078B-6347-47F9-A4AB-9740537B2A37","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b023e4ddf1a3adad21d9da2712bb555ec735785a","datavalue":{"value":"1083.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4819652$5328D2FF-DB23-458E-B9E5-349372F8F9D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b50b5455788f3096c9c400c8d6f4900e171bb92","datavalue":{"value":"10.1017/S0956796803004854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4819652$B0A1DF44-6EC2-4B21-BABD-B944103904DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f5895b753a2581412a8b72570b484e8af47e3a8","datavalue":{"value":{"entity-type":"item","numeric-id":229738,"id":"Q229738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4819652$4C410DFC-69FC-45CE-95F9-C166DBE7E279","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4819652$39EA0F6D-E456-44FA-A992-D4C3F2B589D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c579a77f29b7ac96f11aba598ad1f9fc03906015","datavalue":{"value":{"time":"+2004-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4819652$42EA45DC-218B-4769-8A82-18891152D38C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4819652$94795FD8-7EB3-4166-9C93-BDCF9D38EADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4819652$BE4A159B-6877-41AA-913C-C4B0BB5CE598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4819652$7D9C7C57-48CE-49C7-979A-BCD818E01AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4819652$203E46CD-9638-4337-A9FB-6B42E2A450AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18c96cf93efa12cf3cb04c99352f25d911cc2f8c","datavalue":{"value":"2103600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4819652$4C51E2C8-93DC-4C85-8415-A58A12C7638C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ccc835e0a8e8cc3d18de29524c9b3729f324d45c","datavalue":{"value":{"entity-type":"item","numeric-id":21955,"id":"Q21955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4819652$12B222CA-B269-49EC-A054-0610EB3133F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"eb9f239c20e39259a420e68c66d4f251305d84b4","datavalue":{"value":{"entity-type":"item","numeric-id":22254,"id":"Q22254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4819652$7FB59E62-452E-4A93-A173-D0D0CE20476E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c40cf9a35904f638a7cabef2bc178bad46391f7","datavalue":{"value":{"entity-type":"item","numeric-id":13717,"id":"Q13717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4819652$4547188A-A9D0-4623-AEF3-C17CC44CDD26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"beb205139d0971fca32ffa61e5b55aaac31a7181","datavalue":{"value":{"entity-type":"item","numeric-id":16768,"id":"Q16768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4819652$7588DAEE-E12A-454F-9DCB-2D431D60582E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fef5f048f2ff970244195639e7bcf4e64ea5e666","datavalue":{"value":{"entity-type":"item","numeric-id":16795,"id":"Q16795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4819652$AB61A05D-8C1C-425C-BA24-3369B95F9772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73bf07fb0985efe0166024eb806e5cf2244671a5","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4819652$3321F04E-77FD-4987-B768-8CFA6CDBA171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4819652$C6022F7C-233B-4C99-BB5B-D99AF639D8A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4819652$4F1AC9CC-CD8E-4143-8068-85200FC137E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4819652$EDFA426A-799C-4AE9-8F00-9C9E9F12493D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4819652$373FDCDD-3FC0-4539-ABFF-9B8767F41495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"feb4e459d2abea7714a32144c0ab27240e9c04c9","datavalue":{"value":{"entity-type":"item","numeric-id":23655,"id":"Q23655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4819652$8FAB7095-1DB0-41D8-9EFC-227DCCF08FEC","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":"Q4819652$81774DC2-F70B-4C53-8549-6277889F9175","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71db8748d8931093cb4d67ac8e92c09b21d35995","datavalue":{"value":{"entity-type":"item","numeric-id":5327349,"id":"Q5327349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c704c6ae7d6b22a2456284d57ef475686cc7cb9","datavalue":{"value":{"amount":"+0.7354594469070435","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":"Q4819652$98FD7CA7-748D-44A7-90B5-62CE8B22DA6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30ae62e6dcd3306000dd1aa55b55e08a9450fbcb","datavalue":{"value":{"entity-type":"item","numeric-id":4028373,"id":"Q4028373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f88cc9dbd62504a231533329ad4af51d060f946","datavalue":{"value":{"amount":"+0.7129717469215393","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":"Q4819652$F37E8A21-86B5-45F0-819E-A78C7C9ECFD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90e296abe4c88cb213ab55539925a11592987bcb","datavalue":{"value":{"entity-type":"item","numeric-id":3681905,"id":"Q3681905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f88cc9dbd62504a231533329ad4af51d060f946","datavalue":{"value":{"amount":"+0.7129717469215393","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":"Q4819652$C51E8DD4-8E4D-4EB6-A445-C41D54EC8E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc4ae6d3573fc781820560c92325d71225a2df39","datavalue":{"value":{"entity-type":"item","numeric-id":2938038,"id":"Q2938038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b85aaa8b0774e7f026fc83720ffff3e026eeaace","datavalue":{"value":{"amount":"+0.7102558016777039","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":"Q4819652$BBA158F6-3624-4EE4-8BE6-E68C94980B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb9707e33700967679010ac1d47d134b3b741111","datavalue":{"value":{"entity-type":"item","numeric-id":2879241,"id":"Q2879241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35400b5bff7fc8caa502efd37a4fe6418767d4dc","datavalue":{"value":{"amount":"+0.7098055481910706","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":"Q4819652$A5588744-C06B-431F-9ABC-1B015030EE1C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4819652","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4819652"}}}}}