{"entities":{"Q5408580":{"pageid":7438154,"ns":120,"title":"Item:Q5408580","lastrevid":58558767,"modified":"2026-04-05T18:14:40Z","type":"item","id":"Q5408580","labels":{"en":{"language":"en","value":"Streaming transducers for algorithmic verification of single-pass list-processing programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6282637"}},"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":"Q5408580$802BEE6D-24A7-4F60-BC17-5FD34BEB0F0D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed0774030bba46f79af03e9be27eef236f505126","datavalue":{"value":{"text":"Streaming transducers for algorithmic verification of single-pass list-processing programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5408580$7D203798-A951-4490-8114-904A2B46402F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ecdfd24b40d6c8b58132a84095b97cc84e7ff821","datavalue":{"value":"1284.68159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408580$A11274BC-3C30-4AB3-9900-04B98FB027BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"56b44072cffbfb05dd6efa5b8370fe1c8b788451","datavalue":{"value":"10.1145/1926385.1926454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408580$3B547197-3EBB-44AE-8B5C-D50208A599BC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42555107275c15893120c7cc39741fb0ca2e4591","datavalue":{"value":{"entity-type":"item","numeric-id":477209,"id":"Q477209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408580$8592572D-031F-4D5D-9A98-36CF0D743291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e23e254236a8294ef997c8803c32040e3643f2b","datavalue":{"value":{"entity-type":"item","numeric-id":294639,"id":"Q294639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408580$CECBA1D7-28A9-4D65-BABE-B28B6E3CE354","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"724e86f0a622186aef680198e4fbf5470f7a0c57","datavalue":{"value":{"entity-type":"item","numeric-id":5408524,"id":"Q5408524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408580$FD01F1BF-2F8D-48D6-9481-3676C0AD4C7A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d29d162184913e14034b04455ad3f441d2a1856b","datavalue":{"value":{"time":"+2014-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5408580$1948C36C-0216-48D5-B83E-473AC40C607E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"888a51b83006dae6ee13289e57bfced87bb5cfa5","datavalue":{"value":"https://arxiv.org/abs/1007.4958","type":"string"},"datatype":"url"},"type":"statement","id":"Q5408580$CF1DA686-0AFE-4EFC-BA60-62682EDE4528","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408580$16DCEA11-383C-4EB0-941B-34A3B495F725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408580$591F8C99-C3DC-4BDD-857E-541B5D49E3B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408580$C7F398D4-F4A1-4FAA-A323-E5E79DE9DB53","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"354befe240b93defa36827ed33380e944c346ad1","datavalue":{"value":"6282637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408580$0651D582-CA97-4CB8-B241-8F8555C392C7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0a509d90fbeede3e6c9d158eec59669eb849866","datavalue":{"value":"algorithmic software verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408580$9E8B9E87-C057-4E4D-ABCA-206FC74ED002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1b1b57278dbfe0191664931a2598a7540b5af04","datavalue":{"value":"lists","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408580$EE781C48-E534-4EDE-9E63-88061E21C49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b960583538d59069a8653c1bd9432554833c09a4","datavalue":{"value":"transducers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408580$178554D3-414F-44BC-982A-3358A0ECAB66","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":"Q5408580$914CCEC0-B88D-4ACD-A977-7B716818EBB6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fd642cc0be37af8ce57434f23d03458b1bbd88a9","datavalue":{"value":"W4251691259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408580$5E68A1E7-8E00-4B72-8680-CEACF2E78F74","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"284920bc56bd4b83ec5cd71e536b8ad1da43b3eb","datavalue":{"value":{"entity-type":"item","numeric-id":2908833,"id":"Q2908833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26ea2302965627a4ae64dbe0cfff6673ff5a6595","datavalue":{"value":{"amount":"+0.8546414971351624","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":"Q5408580$7C2DEE8A-BDE0-4F91-950D-53D3885CC16B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54ddabd8de14157e2ab3c262250c01daa62cb32a","datavalue":{"value":{"entity-type":"item","numeric-id":3012906,"id":"Q3012906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"067407266d30766c366e6c070372a6b15cd8d0e3","datavalue":{"value":{"amount":"+0.7214040756225586","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":"Q5408580$B5CF43B9-78CE-49BA-9779-B445F1129830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"729e79767545f609b075ebf599fde0e17216a282","datavalue":{"value":{"entity-type":"item","numeric-id":5918805,"id":"Q5918805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e542e294938378406276efd38fc671a07397c996","datavalue":{"value":{"amount":"+0.6981426477432251","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":"Q5408580$386AD83E-115F-46F8-9F07-9D6FA155153C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5408580","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5408580"}}}}}