{"entities":{"Q5233256":{"pageid":7262824,"ns":120,"title":"Item:Q5233256","lastrevid":58490742,"modified":"2026-04-05T11:01:47Z","type":"item","id":"Q5233256","labels":{"en":{"language":"en","value":"Verifying array manipulating programs by tiling"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7105477"}},"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":"Q5233256$8FD9AA54-380E-4358-91F2-ECD0187EA8EF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"94bf96c6863c94b47a5fffd59df9848490019549","datavalue":{"value":{"text":"Verifying Array Manipulating Programs by Tiling","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5233256$C4F5EC6F-41B3-49F5-9F81-A38F5F1DDD49","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a95dc5130f9c70b41bd022231e5590519bdba729","datavalue":{"value":"1420.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5233256$322BB88F-D6D1-4C55-B6B9-4C007683B8C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4328961102998bfad26cc489134c40e8980da586","datavalue":{"value":"10.1007/978-3-319-66706-5_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5233256$92F57CF2-AA7D-4C46-82DC-CB31BE18E50A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9402163f6499a1d088bfc900c18810df19851ad9","datavalue":{"value":{"entity-type":"item","numeric-id":526772,"id":"Q526772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5233256$9781A96D-493F-4A1A-83EC-10D44F6F3EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cefe2994cd2e378e79e344a451c126379a495f1d","datavalue":{"value":{"entity-type":"item","numeric-id":630709,"id":"Q630709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5233256$542E5341-93DA-40BC-8CE9-5BD8D50DC82B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a229c5eba8b458580a3a543442fd24f0e965fc2d","datavalue":{"value":{"entity-type":"item","numeric-id":832319,"id":"Q832319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5233256$F438C19C-EE2A-479F-AA93-8CABBB79CAD1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5233256$59FBC6D0-9F3A-4FD8-909E-01726923FACE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"96391af82153a94a4af2a0e4c8ac60042cea1674","datavalue":{"value":{"time":"+2019-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5233256$D3FAA66D-E033-41FC-B5D7-E986F45B5138","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0cb4593021f446bb0188692c00909dd82a556b43","datavalue":{"value":"https://arxiv.org/abs/1707.03555","type":"string"},"datatype":"url"},"type":"statement","id":"Q5233256$2624EB8A-DDF2-460F-9621-1163C5C0E80D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5233256$9D24CC4C-E39E-4637-8E57-F8CD53EAF4F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5233256$3E20CFAF-7451-4868-B326-72481A7FFFC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e2fbc6f09ef5c9ad0add299afd0e6c74e31202af","datavalue":{"value":"7105477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5233256$ED9513B9-786D-4292-887E-313A02EC7583","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":"Q5233256$1BFD2E44-A6C7-4B7D-B2FB-6AE1B5B2AFE1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"23a2c47a878dcc97eb44108bad2321f6ea34826b","datavalue":{"value":"W3101568729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5233256$0D574AF6-0A22-43A2-A559-C2C8930986D4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ade7e9871d3b7237ee26a5d7af7fab4ebaecb5e","datavalue":{"value":{"entity-type":"item","numeric-id":5039501,"id":"Q5039501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29f9b5e575f96a7ad8cfcffd6bf0a343d59aa295","datavalue":{"value":{"amount":"+0.7747620344161987","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":"Q5233256$26C08CDC-643F-46E3-A2C9-E42F8BDC035B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5563b95faa1b44f2d752ed5cbaa7a33e4344ac20","datavalue":{"value":{"entity-type":"item","numeric-id":3636859,"id":"Q3636859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea55827c4a8ea1812ed9be2c5f09e3caf3e41f40","datavalue":{"value":{"amount":"+0.7646887898445129","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":"Q5233256$D63611D9-B45B-4F00-8060-AE5185B9A185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52f8ea1e808d67e60c7597974a18e0ac160aa143","datavalue":{"value":{"entity-type":"item","numeric-id":2324216,"id":"Q2324216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4027e5e7bfd2014b33bb6a7efaa4971d49d3bc5","datavalue":{"value":{"amount":"+0.7544869780540466","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":"Q5233256$2AFFCC41-E465-426A-B09E-D8E29B1E313D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8aa375c02a28c1e1bb936b979f466528418cce8","datavalue":{"value":{"entity-type":"item","numeric-id":3187012,"id":"Q3187012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d71d6e676fe6ddab67a882afe55bd691b5c59f5","datavalue":{"value":{"amount":"+0.7460074424743652","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":"Q5233256$F1780267-C8E8-46B3-82FC-8EDE07F697D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f7bf2d7fdcea1493e50fa7a5e719edd02efd2fe","datavalue":{"value":{"entity-type":"item","numeric-id":2938066,"id":"Q2938066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"236718c17a7aa25541e65b52a7526e1238b22994","datavalue":{"value":{"amount":"+0.7387253046035767","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":"Q5233256$B201804D-00A9-42A7-8100-667EFA3FD2EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5233256","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5233256"}}}}}