{"entities":{"Q3102200":{"pageid":3112915,"ns":120,"title":"Item:Q3102200","lastrevid":51380108,"modified":"2026-01-18T00:24:19Z","type":"item","id":"Q3102200","labels":{"en":{"language":"en","value":"Two provers in isolation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5985189"}},"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":"Q3102200$D5F5AF16-D9FB-4B04-930F-74D040F6B6BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f085b0c4ce3695b54fb9fd794a20e29ca491b2bd","datavalue":{"value":{"text":"Two Provers in Isolation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3102200$8EDBA2D2-533B-4B7F-B7AC-24F6B6A494DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec305d7011e979c0cc85103fa767271521bacf15","datavalue":{"value":"1227.94040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3102200$DB9DB502-FBDF-413D-B86D-26A8EEEC4E3B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0872c33e74fac40855e54d5ecb55725505a723fc","datavalue":{"value":"10.1007/978-3-642-25385-0_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3102200$7F68EB59-E328-4614-9F64-04A8E4E2B74E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8771a7f041363b4fbd8d551b49de55568d7b7c09","datavalue":{"value":{"entity-type":"item","numeric-id":808239,"id":"Q808239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102200$B6410E32-321B-45AB-AFD9-D43D2CC35ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5651da17331170c14f3a5546550a9293c62a471","datavalue":{"value":{"entity-type":"item","numeric-id":268460,"id":"Q268460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102200$9E282BDC-54CA-444C-9046-023C435C7A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"acabb129b32a02f9414128dbcfd45e92d0fef15b","datavalue":{"value":{"entity-type":"item","numeric-id":3102199,"id":"Q3102199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102200$1C99CD21-B97C-46D9-B4F0-22E38D4CFA7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4991635705ddb60f4bcf202491dbb21a85057070","datavalue":{"value":{"entity-type":"item","numeric-id":387019,"id":"Q387019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102200$44A5BCDA-9077-45C3-ACE7-70B43FAF7D6A","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":"Q3102200$E8768D4F-DFA2-4D47-A514-FAF99F94602A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9bde3f29c583f771125c439f8e23fad3b2150c7f","datavalue":{"value":{"time":"+2011-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3102200$56E9E56A-B349-49D6-8974-DD6355857291","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3102200$ECC15F61-973F-4749-8B99-FE654F0035EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0bf481bbc7d230293cdb3899c23a8f9d6af05bfd","datavalue":{"value":"5985189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3102200$3F8CE367-4137-416F-9B53-BECB87D7958D","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":"Q3102200$26A3629E-A23D-46E7-96AA-B84533CA02EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"abacd64dd48b34b0acfe8d76fbc7dc28053b3258","datavalue":{"value":"https://doi.org/10.1007/978-3-642-25385-0_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q3102200$7773E008-2722-4291-B2FC-1A708859CDF1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5eb8370d2ee1af4a4628819405cb04288c3bb67d","datavalue":{"value":"W1861107511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3102200$3CD07E08-3D91-4EA9-8685-6F3E7A025A66","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c200c255a49a458f7d8d92886e7b93bb44b0724","datavalue":{"value":{"entity-type":"item","numeric-id":3457076,"id":"Q3457076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd6f76b4434b2d27a151a2f75b6b3bc1e38cc234","datavalue":{"value":{"amount":"+0.8561868667602539","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":"Q3102200$27D4B33A-C667-41E7-BFC0-00B98815D5CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ea3c80c89a6eb92ef34dd82f74d384b962f7339","datavalue":{"value":{"entity-type":"item","numeric-id":4249343,"id":"Q4249343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2fda908488dd1b2970bdc75cf3171b649b0d897","datavalue":{"value":{"amount":"+0.7970259189605713","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":"Q3102200$B389C937-28FD-40DB-920E-8B8E485B102B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12a50e89b0ea196a8bfd4ee8ebce2328b8f8b497","datavalue":{"value":{"entity-type":"item","numeric-id":3459894,"id":"Q3459894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afbe103d31312645e272da70d162069de4e3a08b","datavalue":{"value":{"amount":"+0.7882215976715088","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":"Q3102200$26320F7A-995F-4213-85D8-93E7B64D025B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5560b547ef6e67f782b76b17a7e57b0060a1a66","datavalue":{"value":{"entity-type":"item","numeric-id":5739212,"id":"Q5739212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c25baa141120ac76ba4f2f9d412cabe937620451","datavalue":{"value":{"amount":"+0.7860457301139832","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":"Q3102200$7FF50113-B66F-4894-8466-BE5FAB977D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fcd3c1c8bf75591bc003976244454b64ee2ff50","datavalue":{"value":{"entity-type":"item","numeric-id":4240337,"id":"Q4240337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"827c24f4d98fc099a8b930390967a23558bada3b","datavalue":{"value":{"amount":"+0.7837402820587158","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":"Q3102200$BEBB135A-143C-4EFF-A662-D06666AC816A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3102200","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3102200"}}}}}