{"entities":{"Q5429322":{"pageid":7458896,"ns":120,"title":"Item:Q5429322","lastrevid":50224679,"modified":"2026-01-13T14:00:37Z","type":"item","id":"Q5429322","labels":{"en":{"language":"en","value":"Array Abstractions from Proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5216228"}},"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":"Q5429322$E6278B1D-8D02-495B-879E-9E9B2DF44EDE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"009deafe6f89d44a08c3cb99cd2c2c0666e29124","datavalue":{"value":{"text":"Array Abstractions from Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5429322$03B25B4C-D37A-476A-8179-7BC002E29FEE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"958e1d4775bdcd7afd886106b00a9c19adcb71a6","datavalue":{"value":"1135.68474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429322$92912D9B-DB6F-4689-B513-A8EEE859271E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"924f44218e86e67a7faaa9e5315e9f5b84b005fc","datavalue":{"value":"10.1007/978-3-540-73368-3_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429322$19AB1605-047B-47B5-AE56-D1D4399749DA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2109ea3ab29767c79eca725b68331d0c21a9a6f0","datavalue":{"value":{"entity-type":"item","numeric-id":2225085,"id":"Q2225085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429322$8B551B18-B153-453D-B6C2-6BAC88DF122C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"57a84b3343ed70002617a9eb1439c18c15bac9ff","datavalue":{"value":{"entity-type":"item","numeric-id":934708,"id":"Q934708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429322$62043189-09F8-4FD2-B33C-0C6E504CA7DF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429322$A3589072-8F49-4026-B74F-3967566952E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c737e3e623cd7b1b8045894b1a70da6ed5c2134","datavalue":{"value":{"time":"+2007-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5429322$42BA1329-1849-4393-8435-6FF60CDC957F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429322$A647EAF0-506B-44D5-9C3C-69B86617DE46","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d16d697f780b3920788076bc3b996adec1d17818","datavalue":{"value":"5216228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429322$F15BF6F9-ABE0-40FF-A0C0-86CC1DD8CA6A","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":"Q5429322$1E30D69C-CDC0-4557-82D2-4DC652AB2EB7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7035a6b1e7f3b2064696f7ec0e709d98799a3cd1","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73368-3_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q5429322$64235E29-5535-4E52-92A2-B631C32A51D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f5a2028fa1dbf53b7f1266814c9fb2f0347dcf0c","datavalue":{"value":"W171295454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429322$8DE2A8BE-7B69-4DCA-B50A-73DD58CA2F0F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"814e1bf29690df9d43d5cafd9de771b09b30bb68","datavalue":{"value":{"entity-type":"item","numeric-id":5178906,"id":"Q5178906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad1f419ff9da28d22281e98ee1fd8c1da43a8ad0","datavalue":{"value":{"amount":"+0.765516459941864","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":"Q5429322$838A75D9-4FFF-45E8-856E-0167C58C88E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43e86e4866d63f946a9dce0ff82cf98a3b2b8ce6","datavalue":{"value":{"entity-type":"item","numeric-id":5464711,"id":"Q5464711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ea1691f35da8c13e3a64d88f10185c413119afe","datavalue":{"value":{"amount":"+0.7650244832038879","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":"Q5429322$BF943D91-B0DF-47FC-89E2-62DEB2BD68B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ba84101757f901fdc7a5743110873411af78d7c","datavalue":{"value":{"entity-type":"item","numeric-id":2891439,"id":"Q2891439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9cbb9b439eef5a06143395281f1e21cb1609bac","datavalue":{"value":{"amount":"+0.7554196715354919","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":"Q5429322$E8DE6C4A-7D40-40DB-9076-6A4B869335BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae1ce7c36cb4433e3b70369b96f6c76af9c0b0f0","datavalue":{"value":{"entity-type":"item","numeric-id":3392917,"id":"Q3392917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfaad38997f9a4e5d0d991ad25012286e44f9af9","datavalue":{"value":{"amount":"+0.7540046572685242","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":"Q5429322$184302B5-9142-4176-A3AC-F44A03B3501F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdd4cf7bbbfb99f3d4855a1a4e443e817c997ae8","datavalue":{"value":{"entity-type":"item","numeric-id":3452263,"id":"Q3452263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7b13bda33c3c169f8251eeeb84d0a285eed9bb1","datavalue":{"value":{"amount":"+0.7513630390167236","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":"Q5429322$CC5598FA-9738-479E-92AE-0B53BCA168B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5429322","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5429322"}}}}}