{"entities":{"Q5900680":{"pageid":8006838,"ns":120,"title":"Item:Q5900680","lastrevid":50958473,"modified":"2026-01-15T22:40:40Z","type":"item","id":"Q5900680","labels":{"en":{"language":"en","value":"Iterating transducers in the large (extended abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5695368"}},"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":"Q5900680$6F898077-0B5C-496A-827D-3CBB14B03FFD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73bd069b212797cd1b716ecedbde3c2b856d1f40","datavalue":{"value":{"text":"Computer Aided Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5900680$C31860EC-052A-49B5-94B5-2586817DD7B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"81f2b87b8ee6e53862e15b5c3bf0cd9077a45b4b","datavalue":{"value":"1278.68157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900680$D46F07EF-796E-4FE6-832E-C10C623CA4E3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0aa0bbc60cbf0355cddd545775bf106af185734a","datavalue":{"value":{"entity-type":"item","numeric-id":1014640,"id":"Q1014640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900680$7C1D2291-6F59-44D0-82C8-8B9307BB9A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"daef8f966b1875cfc7b5cd4224180401b2f679f3","datavalue":{"value":{"entity-type":"item","numeric-id":243964,"id":"Q243964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900680$7CDB05B4-502D-49BD-83B0-1DC436903B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebafce9516d4c14b715c69adea30ca40313f766f","datavalue":{"value":{"entity-type":"item","numeric-id":930284,"id":"Q930284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900680$9EA135AB-B36C-4860-9081-8167F37E1038","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900680$8428B709-4670-4FE6-BCF0-977F93D9C3A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c61bb6d282cc95675f5b726985d020f8b0e6f23","datavalue":{"value":{"time":"+2010-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5900680$CE3E874D-3928-49A0-8091-3D593E79C6F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900680$74BBC0A2-B602-4A99-BAAE-53514C675D1C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d12c657f1404c2374d4fd3244f14b420470b15b6","datavalue":{"value":"5695368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900680$65067C23-FCFA-400D-AED9-CC2748F105A6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"12faf0197c8eccd5f33a8e2b581ff39c1d8a00ed","datavalue":{"value":{"entity-type":"item","numeric-id":33079,"id":"Q33079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900680$0CA959BE-C4C3-416C-8D0D-39E6561C3BC6","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":"Q5900680$C121102C-9C16-491D-9C33-E99C1BAA1D93","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"050caeb9facfc2b37142c301b40d1dfd9dbf1be9","datavalue":{"value":"https://doi.org/10.1007/b11831","type":"string"},"datatype":"url"},"type":"statement","id":"Q5900680$0A5DF8E5-4401-45ED-8199-CAA801FE58AD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca9b9df0d9ff4e5d8e3d66da51426dae32b7ea5b","datavalue":{"value":"W1571340194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900680$CE67044B-9011-44C2-BA54-B281D65ACC67","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0bc3be280ea47ce2c61f3b7e2b376b1d1ce60a5c","datavalue":{"value":"10.1007/B11831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900680$0134F93C-C677-455E-B7C3-6A58FDC3215E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"930b05d6b762a4258476740cc7bc1c299fb62f63","datavalue":{"value":{"entity-type":"item","numeric-id":2946619,"id":"Q2946619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"220496729a5e5ea5c9f78d2990d360234ce37cce","datavalue":{"value":{"amount":"+0.9199129343032836","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":"Q5900680$9248DCAB-4C87-44B5-B7D6-3E511E4EF365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3361b967095002d9b481fffbccffc032e7bb497","datavalue":{"value":{"entity-type":"item","numeric-id":1858440,"id":"Q1858440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cdafac5bb245200d366f79fc6557d630f9d6ea5","datavalue":{"value":{"amount":"+0.8545474410057068","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":"Q5900680$58239A96-F5B5-478B-B5FD-2B3F239518CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5dbd6d200923ed16eb47fad9f540e56f8296c78","datavalue":{"value":{"entity-type":"item","numeric-id":4551159,"id":"Q4551159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36838601013f1f80ef3a60db6156e171dce28f43","datavalue":{"value":{"amount":"+0.8513811230659485","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":"Q5900680$195B0056-D7A5-4D76-BE14-3C595AA04A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"913a78966a73533b4c6f7369eeabc573b88f526c","datavalue":{"value":{"entity-type":"item","numeric-id":4518896,"id":"Q4518896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36838601013f1f80ef3a60db6156e171dce28f43","datavalue":{"value":{"amount":"+0.8513811230659485","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":"Q5900680$1A7F7C14-68B1-42FD-8A33-0FB3B42D1708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b8a63fed637f38fbd7e63346027f22cce5e55ad","datavalue":{"value":{"entity-type":"item","numeric-id":5308434,"id":"Q5308434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed99c9021b48d9fe64da9df9aaafde614e5608ed","datavalue":{"value":{"amount":"+0.8252840638160706","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":"Q5900680$5201C6BC-35D9-4EF7-ABA5-AB7A09DF48C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5900680","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5900680"}}}}}