{"entities":{"Q4524776":{"pageid":6554368,"ns":120,"title":"Item:Q4524776","lastrevid":47558953,"modified":"2026-01-02T02:05:25Z","type":"item","id":"Q4524776","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1552517"}},"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":"Q4524776$7488A27D-7AD6-4918-8958-D79F8FF380E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c3270afbc387f002b0396e3f72d6d307f75a9665","datavalue":{"value":"0970.68155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4524776$EACAE7C0-D959-4139-ABD5-39043591FFD2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8112127c0d8cfe8be19516662fa2ba3c423248b1","datavalue":{"value":{"entity-type":"item","numeric-id":434441,"id":"Q434441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4524776$AAC9CB5D-D674-4319-AE3C-3B350B5DEF29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2594f89e73b893268f06163b097b703c8578beae","datavalue":{"value":{"entity-type":"item","numeric-id":2721214,"id":"Q2721214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4524776$AAA70DDD-9209-42B8-B1AF-671603A6C997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"88aab822a803d4995d8fec4a18a0120485b693ff","datavalue":{"value":{"entity-type":"item","numeric-id":1272605,"id":"Q1272605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4524776$94233620-570E-4120-996E-DC080C0E47F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df6a2e2d83cd24c9e72d2bfe0bf7d46179db7fd5","datavalue":{"value":{"time":"+2001-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4524776$0EEBC1F8-756D-4BC6-B82D-223BA34B81A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4524776$B3A9B8B5-4EF0-4E92-B4D3-031FF0337F05","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"143ae8209acc80f91b527431dd10eb6e7c9b231c","datavalue":{"value":"1552517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4524776$C4424C6C-FC12-4FF5-B81C-E48B239AC253","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bedd3323a2336895c57e697db34f5ffdfc09590c","datavalue":{"value":"parallel theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4524776$83F85C31-8BB7-444B-81E4-9DBC8872B698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3030e358233d2ba122c6ce6e46d01f41abdcec7","datavalue":{"value":"SETHEO","type":"string"},"datatype":"string"},"type":"statement","id":"Q4524776$BE7534BF-47BE-425F-B9EC-FE284C354D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aafc458c08d16792857573de23452d1c2ebce963","datavalue":{"value":"PARTHEO","type":"string"},"datatype":"string"},"type":"statement","id":"Q4524776$9C9CE4BD-1724-45BA-B874-26800165CC6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0260e79dc2278100d99da799749ab5955ed23121","datavalue":{"value":"SPTHEO","type":"string"},"datatype":"string"},"type":"statement","id":"Q4524776$08159613-F339-4D47-A478-D715CFF964E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a00b5b290a8eb15cc0dc57469e250be8a0f8f8ec","datavalue":{"value":"RCTHEO","type":"string"},"datatype":"string"},"type":"statement","id":"Q4524776$04A1040A-1FE7-42E0-B616-3F1E4EC72EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24aa18df8b4d30070a644ad2ea1ca604e4428cdf","datavalue":{"value":"p-SETHEO","type":"string"},"datatype":"string"},"type":"statement","id":"Q4524776$9D044D32-5746-41C1-B92C-65D9CAF63DC1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c845b927c7c8299e3e10848fbe9373f51ae3559b","datavalue":{"value":{"entity-type":"item","numeric-id":13461,"id":"Q13461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4524776$163DAE68-F4BF-450A-9F22-7902D9AFD3D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"227cbd526ea4eef217fd567ef0b89e17137b97b4","datavalue":{"value":{"entity-type":"item","numeric-id":21959,"id":"Q21959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4524776$8861AEF1-8F2D-4266-BB08-6733FE0BD649","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":"Q4524776$F10B7A01-BF5F-4A15-9C49-93062B5B45C9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93750ee58f6dcd6681edfe9526f18aa372d0d65d","datavalue":{"value":{"entity-type":"item","numeric-id":1284705,"id":"Q1284705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c48003a9ca0b4751bcb9a97cddbacce0f8f91ce2","datavalue":{"value":{"amount":"+0.8997901082038879","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":"Q4524776$C79EBBA9-9393-4B95-B9C3-CCB2709D0DD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37e17781bce1ee102887185e1b39d38b59fe7e87","datavalue":{"value":{"entity-type":"item","numeric-id":6488521,"id":"Q6488521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ce12c46642689ec2414734615e6cb9a2ed02a73","datavalue":{"value":{"amount":"+0.8787504434585571","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":"Q4524776$3D8D1190-99E2-41B4-BF03-B87F5894BC0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a971cb69f3ee325b28cb4cd3052ed1093d23738","datavalue":{"value":{"entity-type":"item","numeric-id":1189725,"id":"Q1189725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9bb4888ec6a9e4a9220969529fdebb588322df3","datavalue":{"value":{"amount":"+0.844765841960907","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":"Q4524776$EA8DF5C9-36F5-4E5C-8197-DC67CB0E6FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd0dbf6de875b2deecc322a14efb9e5b03609ece","datavalue":{"value":{"entity-type":"item","numeric-id":3204066,"id":"Q3204066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bc9cdf9a486a2afcde47a5e617e5abd4205320b","datavalue":{"value":{"amount":"+0.8439334630966187","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":"Q4524776$6A3E0A73-005B-409B-BAA6-E85732278D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d75b0de3eaf6679dda011cd141a8b7574811f0db","datavalue":{"value":{"entity-type":"item","numeric-id":3491009,"id":"Q3491009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"731f8cd8f6b9c50987b5e8959eb81304aaf70d76","datavalue":{"value":{"amount":"+0.8411741852760315","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":"Q4524776$27ED8009-5B9D-48AD-8C33-5346141E01BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4524776","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4524776"}}}}}