{"entities":{"Q5166497":{"pageid":7196069,"ns":120,"title":"Item:Q5166497","lastrevid":52026563,"modified":"2026-01-20T19:06:57Z","type":"item","id":"Q5166497","labels":{"en":{"language":"en","value":"Managing proof documents for asynchronous processing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6309203"}},"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":"Q5166497$2C6E93D6-7D4F-4C5C-A2B8-008CBEE8BACB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e65ff127405820a9d8552794c5ee48f673992d4","datavalue":{"value":{"text":"Managing Proof Documents for Asynchronous Processing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5166497$2BDF6124-2B35-4A56-8D23-721C2CC8C1B5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a157c7ac39fa51839e455f3f0cba0f4364242e26","datavalue":{"value":"1291.68342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166497$0295BA94-1C70-4EC5-9CFF-BE06CDF323E0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fd8afd9564dce291ae3a4708fd20834b82d39dd","datavalue":{"value":{"entity-type":"item","numeric-id":633297,"id":"Q633297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166497$6B959208-7BB1-40B2-AFBC-3E069D471FA9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166497$82453DB1-CC95-4152-8C5F-12C14224E963","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"251e0e848447c04df22617da60cec84f2100f397","datavalue":{"value":{"time":"+2014-06-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":"Q5166497$0A1E4622-9EED-445B-AC95-479E93D24BE6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166497$8CB3123D-E58B-4097-A479-6540BAB82051","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7cb4a10c9a9ecbb710e6727c0acad94d583fc422","datavalue":{"value":"6309203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166497$EFF8F586-33BE-446B-940A-0AC45A6737CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"146414f550eb9346a1586996000d53e192311b6b","datavalue":{"value":"asynchronous proof processing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166497$929B0E50-1C7B-4FFD-9EB2-A53418C3395B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bf59daa4cef2b38af314b4760b671c1169746b3","datavalue":{"value":"usability of interactive provers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166497$C218CF89-73CD-4687-A265-D6D9ADED40E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d88ab1b30928f1d8bcedeeb0baaeafd45b2afca","datavalue":{"value":"software architecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166497$C6D28579-6D4F-4CB1-A054-5FB8D3A1FD35","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bcaf3b20cd7fd897f2f47a708bad9d4f554cb6fa","datavalue":{"value":{"entity-type":"item","numeric-id":14553,"id":"Q14553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166497$67AB5D17-BAA4-4AF6-9307-A664425CD69A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166497$3F682B74-83C4-4EEE-A581-DA2F342E0A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9aeef25d5839625565921d83cf1c652bf6f2fbf6","datavalue":{"value":{"entity-type":"item","numeric-id":17052,"id":"Q17052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166497$CF33253D-EA2F-4C21-A1DF-B6457ECA5972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"03771e626c539bf51fae838f3c9a813f586007d3","datavalue":{"value":{"entity-type":"item","numeric-id":36393,"id":"Q36393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166497$B1B70AC9-FEBE-493A-8C20-1C7CC7E0945F","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":"Q5166497$A2818145-86FA-4CA8-B00B-2B44CF576727","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74dcbb50cd7665da7a24f5c3291fb351d9671d9f","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.12.097","type":"string"},"datatype":"url"},"type":"statement","id":"Q5166497$4A5CD3CD-7766-4EA2-AF83-7EFBB8046BCB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"84b45031ca0c5fc33b45e88b90533617f48b5306","datavalue":{"value":"W2127073439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166497$FD79082B-0339-4574-A74D-8BE0B5FA8797","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1196f5e17dff99bc1a9d16ec3c58ef966832597d","datavalue":{"value":{"entity-type":"item","numeric-id":2729065,"id":"Q2729065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166497$B952540A-047A-4B55-8E91-4FB668129C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5dd5cff963a4dd568db12d5c8dcad496d4f406b","datavalue":{"value":{"entity-type":"item","numeric-id":5898512,"id":"Q5898512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166497$35AE04D0-FCE9-43AB-BEE4-FA72124800B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eca2a34fcf2f6beaa6c37b7cf3a15d197a2f43f9","datavalue":{"value":{"entity-type":"item","numeric-id":5505520,"id":"Q5505520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166497$D8830FA0-850A-48B0-BBF7-62BA41D4909A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d10987b4086019deb8eb668b9c9d4084a5a9a6ca","datavalue":{"value":{"entity-type":"item","numeric-id":4335814,"id":"Q4335814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166497$F380F45C-62EB-4E66-A540-67F804CC155F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cd1b9b8dfa727aa22cfd5060c41df10aaf8a04e","datavalue":{"value":{"entity-type":"item","numeric-id":3122691,"id":"Q3122691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166497$159B527F-CD65-4502-8CD3-B3601016DAF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54610551b079750a1912b04c566b7c8cb84a1b21","datavalue":{"value":{"entity-type":"item","numeric-id":4809051,"id":"Q4809051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166497$4107CCDD-4552-4910-993F-B151DD65FAFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"820f78fc4380d89a5cc993a2f43becf0a674d065","datavalue":{"value":{"entity-type":"item","numeric-id":2867939,"id":"Q2867939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166497$291BB79B-0DF9-4C31-BDFB-72E3E2E52801","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aedb8b99e13f63c196fa4187e6e22a41c2aaef2f","datavalue":{"value":"10.1016/J.ENTCS.2008.12.097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166497$03EE4D8A-E212-4572-AE23-E9685A522823","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bfe76c583713b55eadf25fa3d88d354ebc06b63","datavalue":{"value":{"entity-type":"item","numeric-id":2879273,"id":"Q2879273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6da8795114266f85786127842efda75390b16a54","datavalue":{"value":{"amount":"+0.8125990629196167","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":"Q5166497$C9AEA4FC-7E8B-49D3-B757-4B6FF1FE9EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61fb833a21b2a93e4568632476e1dbf2bc6e76b5","datavalue":{"value":{"entity-type":"item","numeric-id":2945623,"id":"Q2945623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"214ee0c77d2e69fc91c1c42781ead612f609aa2f","datavalue":{"value":{"amount":"+0.7961989641189575","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":"Q5166497$C45EDC54-0DA7-4F85-94DB-D576F9A53CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27ce0dd68c34fee86dbc0dcdfb4e22edb9578ee4","datavalue":{"value":{"entity-type":"item","numeric-id":5170238,"id":"Q5170238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4effaa705cdabf736c187aa7c1f939fc8d6ad07","datavalue":{"value":{"amount":"+0.7651729583740234","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":"Q5166497$70B576AD-674E-4D1C-A2FE-61138788F530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df287ba4711af7eb66eb6c4530853de65788cc26","datavalue":{"value":{"entity-type":"item","numeric-id":2287890,"id":"Q2287890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61ee5bb403f49fc5147f36cd95ec36166ef7e60f","datavalue":{"value":{"amount":"+0.6997173428535461","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":"Q5166497$267EC624-3858-4A96-A356-20FFF4835380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a02b2bfea1c5f47cd601f5ce8d9525ee86d87fe","datavalue":{"value":{"entity-type":"item","numeric-id":5219926,"id":"Q5219926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f52a5889d46d875746cafd5718f8274171d17296","datavalue":{"value":{"amount":"+0.697635293006897","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":"Q5166497$90AC54EE-6ED6-4ECC-ACD6-3F70DA98E9C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5166497","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5166497"}}}}}