{"entities":{"Q3618827":{"pageid":5648733,"ns":120,"title":"Item:Q3618827","lastrevid":50623142,"modified":"2026-01-14T14:42:58Z","type":"item","id":"Q3618827","labels":{"en":{"language":"en","value":"Bimonadic Semantics for Basic Pattern Matching Calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5539336"}},"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":"Q3618827$EB6A65B8-A513-4B3C-A58B-55E74C100C23","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c3a98f5169c65a64229ea1c8a9cec755a122e298","datavalue":{"value":{"text":"Bimonadic Semantics for Basic Pattern Matching Calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3618827$040A7038-60A6-4E75-A8FC-95A2E6F3A979","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9383404fca9e563fc416c3904aa25934bed1c96d","datavalue":{"value":"1235.68046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3618827$DFF2EFB2-C3AA-4FE8-B711-6DD92E03056A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"58eea475a99e990a91fe66398c36b21d6f25924f","datavalue":{"value":"10.1007/11783596_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3618827$0291314F-7CD8-4AE4-9FA1-8285AF79925C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e0d1feb73bc6dc1f21f46312ef6e54527d133b3","datavalue":{"value":{"entity-type":"item","numeric-id":406452,"id":"Q406452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3618827$98C0FEF6-CCA8-45F0-977C-3C19B9DA24E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"24a39cd6203830ba7256d1741173f3d6696f619a","datavalue":{"value":{"entity-type":"item","numeric-id":532397,"id":"Q532397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3618827$68299756-8728-494B-81A4-D9DF02365E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8e96fdb2e20b68dd5bbfb9d26f16d465e1b1446","datavalue":{"value":{"entity-type":"item","numeric-id":3618826,"id":"Q3618826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3618827$A7F00A15-3009-4079-A7FB-DFEF5C8ABF5C","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":"Q3618827$070F850B-E650-4CA5-823B-5130133D41AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d42f886a65a82f1ab69b7a851b32028cf5a4bbbc","datavalue":{"value":{"time":"+2009-04-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3618827$46385474-57DF-412A-B16D-FFE513A58DF0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3618827$5AE68E3B-2D63-4967-AC54-217764CC5A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3618827$274531C4-030F-441C-A0AE-51E53CA78B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3618827$45B0CD9C-D956-4DB7-81F9-4F2936462036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3618827$CA4567C4-FFCB-44DA-BC03-78EB1B91DA36","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c3684f81d1bbe5115c37659c3bea9d9d39507325","datavalue":{"value":"5539336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3618827$6E1583EA-0EC5-4696-9DBC-B9799B6BD01D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a126aabb479e9b7190146375fca5f067f2a77567","datavalue":{"value":"Q60712744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3618827$5D160F36-3DE8-4C5D-BC19-0D54697C4C45","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":"Q3618827$04F40C62-A1EF-46CA-AD74-AA27BEDEE114","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"37f1aec7798e667a97885cc04a354aeeb01b6389","datavalue":{"value":"https://doi.org/10.1007/11783596_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q3618827$719FE9EA-E112-47E8-8CB3-ADAEEC2EF257","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d65f1ac557a0af1c077a2eb6e472ec4c3885b6d9","datavalue":{"value":"W1840288141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3618827$AADF02CD-71BA-4215-A760-D18C1E6DD99C","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"439093a835fb1a8e6739316f6f658bc81fea5efd","datavalue":{"value":"conf/mpc/KahlCJ06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3618827$82C4361B-7015-4610-A0CC-F908D07781BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6596de7b41746be289370683837c955a55249c21","datavalue":{"value":{"entity-type":"item","numeric-id":5308027,"id":"Q5308027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70947dca7a0f52850faeb2b317e42f276496e750","datavalue":{"value":{"amount":"+0.8564032912254333","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":"Q3618827$12CAD7EE-B165-4EAF-BFCE-1363F7B7392D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d06b84330c1b912dbb9ad0b61b5b4abb72b73284","datavalue":{"value":{"entity-type":"item","numeric-id":1908354,"id":"Q1908354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8062ac0ea9e2c1234c87c42f09272e80c1140715","datavalue":{"value":{"amount":"+0.7465870976448059","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":"Q3618827$853C3969-A3EF-49F8-9162-CD7700EE2302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6972bfd541bb5957afa6cf512c231f6020b6949f","datavalue":{"value":{"entity-type":"item","numeric-id":5899011,"id":"Q5899011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6503b85138bbeeb972c7999ad5ebcb2113862f56","datavalue":{"value":{"amount":"+0.73642897605896","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":"Q3618827$14DAE1A5-2A69-4F51-AA6B-29526D5FD4D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"372fd1db9ce987ad3b3295b9d206206a8cb2cc8c","datavalue":{"value":{"entity-type":"item","numeric-id":3616447,"id":"Q3616447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d4a3476c939bae41ec370d7953b7fa52601b18f","datavalue":{"value":{"amount":"+0.7303030490875244","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":"Q3618827$A9B0D949-B90A-4D81-AF3C-320A9AABD735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f3d4136fc70e52bc543a68fd3a1ea892728d11a","datavalue":{"value":{"entity-type":"item","numeric-id":5095633,"id":"Q5095633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52c086c1ea382b9ad886f37415f9ee625bec8f75","datavalue":{"value":{"amount":"+0.721484363079071","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":"Q3618827$92519E34-B443-4F20-A2C3-0EF739A10174","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3618827","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3618827"}}}}}