{"entities":{"Q5389096":{"pageid":7418670,"ns":120,"title":"Item:Q5389096","lastrevid":51453653,"modified":"2026-01-18T07:44:44Z","type":"item","id":"Q5389096","labels":{"en":{"language":"en","value":"Proving equality of streams automatically"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6027851"}},"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":"Q5389096$D39A3B5B-B03E-4C7B-BA81-342D322E652A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de33d40da08341acc048467df49eb5351b7f0883","datavalue":{"value":"1236.68159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389096$7A822D7A-5BE4-49FE-8B90-13B0F1150616","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fca1c19bbfb0afe27e2894d7aa8bc5bfdf949d86","datavalue":{"value":{"entity-type":"item","numeric-id":549183,"id":"Q549183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389096$EF4CBA47-99DC-4BAA-A62E-77CAFEF211C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76fe5c2c0ffa1d2d66cabf0c3214c913c44ecffb","datavalue":{"value":{"entity-type":"item","numeric-id":505038,"id":"Q505038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389096$68C2FD5F-977E-4545-8D28-6555A0F6F139","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"85ed9f287d2ea9a2dac92419860840c9949df976","datavalue":{"value":{"time":"+2012-04-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5389096$9416CE06-4D98-446C-9167-1707EF936A80","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e5d5bb44468b52bd19c59493eafd77c4c62e1245","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_9af9.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q5389096$D28F1C3C-E204-4116-BAD6-9DC1AE8234E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389096$93DEB2D2-9659-407E-A17E-21C927609003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a762d1a2468ec8882180d0d1124f12b94f8eb1b0","datavalue":{"value":"68P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389096$ED5C32DC-4AF2-4931-AAC4-5F73C148D380","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c493ebd9bb81c8b43f7d24c555ea169bce9ce0d","datavalue":{"value":"6027851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389096$8CC1F1C5-EEAA-43A0-B712-97BE3456D423","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcb6cfd82e4f7f4d67e785307127da4b6fc881c2","datavalue":{"value":"streams","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389096$91C001B0-1255-4775-A3AB-6A7F982543B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf10813786c14b0a3518dfdfcc5dd63fc2c7b5eb","datavalue":{"value":"stream specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389096$00B42C7F-4767-4B94-A718-02BE53E2F22C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1fd428d210854da75b0d59bc24100d98e44de41","datavalue":{"value":"Streambox","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389096$E15732F9-8FE3-43E0-A8FB-CB2A3D4A7516","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bccc2ffd670b43e26d7109c31b58efdd4cd25790","datavalue":{"value":{"entity-type":"item","numeric-id":18336,"id":"Q18336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389096$A83370EF-201F-4905-8DAE-6E428C698A98","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":"Q5389096$8BB15D4D-FEC5-4979-A5F1-A1E838AABD30","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fa8f1ad6d7668d8130b657779ff23e3c82321754","datavalue":{"value":"W2168454138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389096$3865BE32-CCDC-41B0-AFCF-0E37FF29B966","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"39efc158c701467e0d9601d1bed1fba6e5764688","datavalue":{"value":{"text":"Proving equality of streams automatically","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5389096$6EEB48F0-562E-412D-95AB-D73629B42E0E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d30b3e5afed6160a4af03560b4480e3392ef54c","datavalue":{"value":"10.4230/LIPICS.RTA.2011.393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389096$31B0356C-312E-4F3D-8317-E5C13E682374","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"453052794caa9f3a91446d745b355f91fc780b4c","datavalue":{"value":{"entity-type":"item","numeric-id":3636825,"id":"Q3636825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"358a039e6c3014b102028a9d2ecde72319cbcc28","datavalue":{"value":{"amount":"+0.8284379243850708","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":"Q5389096$F327D595-85B0-4655-AA1B-9FC4D967C1E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e95f807b09108e5b56304cd48192269e868e01b1","datavalue":{"value":{"entity-type":"item","numeric-id":2888504,"id":"Q2888504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62cfe4c9aba7842e466744784fe9d04dbcce446e","datavalue":{"value":{"amount":"+0.8180433511734009","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":"Q5389096$2A7F4DBC-EFA7-45C2-AF67-961690803393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51e45312b902d4b388c09e8ac8aab7723d5e6c90","datavalue":{"value":{"entity-type":"item","numeric-id":2786138,"id":"Q2786138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5618dd29f342182b5345e9ec34193c880693838","datavalue":{"value":{"amount":"+0.8005762100219727","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":"Q5389096$675A6721-CF94-45CB-96E0-FF34BF77F980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73efa6e85b05491b74af355dc813fc07836a3ddb","datavalue":{"value":{"entity-type":"item","numeric-id":2875229,"id":"Q2875229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82b7b9f28a818cfd6875a920b49978c90b5ab86f","datavalue":{"value":{"amount":"+0.7989569306373596","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":"Q5389096$D42AD61A-33EB-41F8-8250-066AB2ED3B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a34fcf50e58e708c98c58779c92a2db2878c645f","datavalue":{"value":{"entity-type":"item","numeric-id":5501465,"id":"Q5501465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b305350028dcfee697ba95d29c48181d052fe85d","datavalue":{"value":{"amount":"+0.7753376364707947","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":"Q5389096$047818F1-8D00-44B5-AE76-8619E5CDF5A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5389096","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5389096"}}}}}