{"entities":{"Q3585053":{"pageid":5614957,"ns":120,"title":"Item:Q3585053","lastrevid":87471887,"modified":"2026-06-04T11:46:00Z","type":"item","id":"Q3585053","labels":{"en":{"language":"en","value":"Mechanized verification with sharing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5776717"}},"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":"Q3585053$8A1D7BCE-A997-4B54-8ABA-DC6A4BDB4B27","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a3b6b5ccc75d0a60501b3412e549e3c4c11b834","datavalue":{"value":{"text":"Mechanized Verification with Sharing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3585053$9A9CE12D-8684-429B-A93C-092AC2279A9D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a8a9f5277050788d35a7883023961c1404e0c717","datavalue":{"value":"1286.68321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585053$370A4E0D-85A3-457B-92D6-641F65C2EAE5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a149b13e258b5aca7be8f822e886f0ecae316bfc","datavalue":{"value":"10.1007/978-3-642-14808-8_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585053$340D6835-77BD-464C-909D-7A8D589DE0C0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"37c934bcf8e2c9b0dbbfdff9b30323524a23c9d7","datavalue":{"value":{"entity-type":"item","numeric-id":609754,"id":"Q609754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585053$CD0DCCA6-EC4A-43A8-B807-A313399EE87A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1380f7d0e077e40df5a34bb335939f3c6ce8766c","datavalue":{"value":{"entity-type":"item","numeric-id":617975,"id":"Q617975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585053$22F3626C-F50E-45BB-8978-816947FB07C8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585053$C736FB05-7B62-4A69-8254-AB9C9390CA7B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb30be9aa52453b28e16b3393b2ab68c6420e54e","datavalue":{"value":{"time":"+2010-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3585053$0761831F-4B1F-49E6-93DE-1DBEACC46B98","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0d503c8f228c360dcb76fde289720a2de33df5a0","datavalue":{"value":"http://nrs.harvard.edu/urn-3:HUL.InstRepos:10860121","type":"string"},"datatype":"url"},"type":"statement","id":"Q3585053$1B5860D5-4F45-4E75-A8D1-30DDEF791F63","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585053$73E0AE61-767F-4FD3-A8CD-834CCE7148A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585053$CDD6A7D2-F5B0-4D67-B7A8-B768613993FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df9101a762d888d87773453fafe69b2ee6ffa8f7","datavalue":{"value":"5776717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585053$26ADE501-00D0-4098-9D2B-7A5CC3763370","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":"Q3585053$BED525F0-7523-466C-8493-2D6A79068A3B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b68b7ba2dd57e999c88fc8def02ab437286a9763","datavalue":{"value":"W2136096746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585053$D4467429-C8B7-4E9D-B007-ED95A917E2BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"653bb42b19be8ce2e8f831ce06cf512b9e69994f","datavalue":{"value":{"entity-type":"item","numeric-id":5311261,"id":"Q5311261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bef73542876943993d683645d3f4d578159398dd","datavalue":{"value":{"amount":"+0.8057416677474976","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":"Q3585053$73AE6204-5693-4FD9-A592-B52FF68728D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2a53d7b2c78c2069a84ba252b83f411ffe80440","datavalue":{"value":{"entity-type":"item","numeric-id":2931837,"id":"Q2931837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69bd9a3aa31ccb23b3d2a84d0dff41cdcc2829df","datavalue":{"value":{"amount":"+0.7631092667579651","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":"Q3585053$4CDAF956-CD03-44DB-A3F8-25FFE9F8D9D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"302effae99d5b630a1a547d06432f2bd4b8bfd35","datavalue":{"value":{"entity-type":"item","numeric-id":3613364,"id":"Q3613364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbb49d6da9ec0c2b2c6dbb471495126acd3dff0e","datavalue":{"value":{"amount":"+0.7605146169662476","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":"Q3585053$589D1240-8CFD-4D40-ABDB-3302ABF890CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e313e67e788d93ea5e4e8053f1254e988aa2f4c","datavalue":{"value":{"entity-type":"item","numeric-id":5255079,"id":"Q5255079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96e8074988ecb9797f661254921bc76e432b4024","datavalue":{"value":{"amount":"+0.7521933913230896","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":"Q3585053$14DF7B80-86D6-46FB-965E-E4413DAF111A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d62a3e1ad6d3adcef7c858b6dc71b22aec9d1f7b","datavalue":{"value":{"entity-type":"item","numeric-id":2936804,"id":"Q2936804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dd9b84cc0571154b83e76a15280b445c3e231a8","datavalue":{"value":{"amount":"+0.7503132224082947","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":"Q3585053$4D793BBB-7FDC-4C7D-B6EE-9DF35F304135","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mechanized verification with sharing","badges":[]}}}}}