{"entities":{"Q5255064":{"pageid":7284632,"ns":120,"title":"Item:Q5255064","lastrevid":41582939,"modified":"2025-05-06T02:29:58Z","type":"item","id":"Q5255064","labels":{"en":{"language":"en","value":"A simple, verified validator for software pipelining"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6445086"}},"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":"Q5255064$9690B8EA-AAC6-46E5-A132-44C51DE173DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dace25ee72e1c59e72445f00f42f6b13377fc255","datavalue":{"value":{"text":"A simple, verified validator for software pipelining","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5255064$8098516E-F358-42C0-A7D7-BD6A604FB18F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e1dfc04840ce2e7eb96f4e5a6dd42613d1336ed","datavalue":{"value":"1312.68069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255064$D54DC95A-4C85-4E78-A3E4-AE27304F84B1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"647e48f1c5d77f97480df2ec5d6d67baea63255b","datavalue":{"value":"10.1145/1706299.1706311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255064$ADE0B681-BC2B-4EA7-B1CF-1F9D16E715B9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9250204b9cc070dfff59ad6b7f18798a2ef6937d","datavalue":{"value":{"entity-type":"item","numeric-id":3189821,"id":"Q3189821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5255064$543096C8-F8BE-47ED-B42D-5D1CB825A98E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4b1e35c1c4bff0a8e8e775e8600e2e952b118ae","datavalue":{"value":{"entity-type":"item","numeric-id":848738,"id":"Q848738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5255064$73004075-DEC1-4AD8-B763-D904C02D71A7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0a5bbee3666eee3a652778234a38c4005afc7cb6","datavalue":{"value":{"entity-type":"item","numeric-id":5255055,"id":"Q5255055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5255064$A3F4D325-3B7D-4221-B42B-08FB097EB9F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00c841ea08739fa38b76821129fbbdb6fe48b753","datavalue":{"value":{"time":"+2015-06-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5255064$DAD1E905-B916-4F68-A749-618FCFE67F29","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af57d544ba0b9ae1daa1b3eb442b9d55aadf2792","datavalue":{"value":"https://hal.inria.fr/inria-00529836/document","type":"string"},"datatype":"url"},"type":"statement","id":"Q5255064$76D6638A-4918-4721-8F6F-F3484ABF140C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255064$E2D58B49-30BA-4036-9395-67F3F8F65C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255064$3A46BCC9-8B71-414B-ABC1-43281BF61E4F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e0c4899cf2aa7da172b48f798f9a2090fe3be84","datavalue":{"value":"6445086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255064$CE0C51B1-D2AA-458F-922A-2AE5055DCC02","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b2c3896d798bd53c3b7a01cb428677705096f1b","datavalue":{"value":"software pipelining","type":"string"},"datatype":"string"},"type":"statement","id":"Q5255064$70DB39CC-994C-4DE7-9444-717188FE013D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b6a3fc341e1f579c18f7681e6ea2f8d6ac6e7e8","datavalue":{"value":"symbolic evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5255064$76C140CD-FCD2-4148-9384-06CCA79A2130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0431edf0fb60c2a23ef932b3f3d1331939ae37ad","datavalue":{"value":"translation validation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5255064$B9AA6203-A81E-4B15-B047-6A33078245A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a9c3430d5e5a5f5202d141e726acb974ca2a113","datavalue":{"value":"verified compilers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5255064$A4D7F817-4DF8-4E3E-9D08-5C465635B338","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce63d9106f2c1c934cab3902cda6a895f70e9488","datavalue":{"value":{"entity-type":"item","numeric-id":15060,"id":"Q15060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5255064$5A67C025-46F0-4A4C-93FB-E82AE0F07B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6d24ec78a261f49887cfb0ce166351e47e3f1e89","datavalue":{"value":{"entity-type":"item","numeric-id":21931,"id":"Q21931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5255064$9A696B63-1911-4071-B116-5B7065707454","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":"Q5255064$1D954117-ACF7-4441-8B75-59DAF9178934","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0adb702dd1d7524c305c9ad7952c0eda0cec95ad","datavalue":{"value":"W1988233180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255064$242C4396-12A9-4711-9E78-FDFAB068525D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7b97148ac17a4158636b28a0c57c327ff2aabd3","datavalue":{"value":{"entity-type":"item","numeric-id":1426941,"id":"Q1426941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e03e25ff5475c8ae53741663736c6987c55d21a9","datavalue":{"value":{"amount":"+0.8546352","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5255064$99610BA5-4D38-4EE8-BE4A-AF7E1889CF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb257d5ca45cae8f7e8842857727b654a07d1271","datavalue":{"value":{"entity-type":"item","numeric-id":5280729,"id":"Q5280729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55dcea639779c5c86519d0f7afcebd62291aa3d1","datavalue":{"value":{"amount":"+0.8441429","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5255064$AAF27E75-9B8D-4E31-A4A6-EFEA2E4DEB16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a71c2dcb7e91bdc10f02701b7e61d7d8c3208bf","datavalue":{"value":{"entity-type":"item","numeric-id":4471717,"id":"Q4471717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"346c8d409ebb3881f5c0832928729e121a293b9b","datavalue":{"value":{"amount":"+0.84237266","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5255064$76851213-E102-47B4-8508-2230A33A8C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3579b92783ac4c94b33f26f3d5ad05becdee062","datavalue":{"value":{"entity-type":"item","numeric-id":3999717,"id":"Q3999717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9877775e3f86ee8b635008e93d87bef4c1635ea1","datavalue":{"value":{"amount":"+0.83551204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5255064$2AFC7C8A-5E17-45CE-99D2-B6664D8450F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d923660b529be4de0709e4de6b0b139c9cd0582","datavalue":{"value":{"entity-type":"item","numeric-id":837527,"id":"Q837527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9877775e3f86ee8b635008e93d87bef4c1635ea1","datavalue":{"value":{"amount":"+0.83551204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5255064$7B901FA8-E325-46EA-B765-AEC83D072476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20f4c170b79e09ad78a840a7aaadd1f881f54a7c","datavalue":{"value":{"entity-type":"item","numeric-id":5312915,"id":"Q5312915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ea85af697713d79941305f04c48f15152daed6c","datavalue":{"value":{"amount":"+0.8316432","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5255064$9F7089E6-843C-4553-BBF4-684F95BAD994","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5255064","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5255064"}}}}}