{"entities":{"Q1908354":{"pageid":1919096,"ns":120,"title":"Item:Q1908354","lastrevid":69079611,"modified":"2026-04-13T04:33:12Z","type":"item","id":"Q1908354","labels":{"en":{"language":"en","value":"A typed pattern calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 847835"}},"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":"Q1908354$83D34293-15AF-4BA2-8FEC-E72CD146FD65","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bb526c19b02923995343ab997261b166b923c0b9","datavalue":{"value":{"text":"A typed pattern calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1908354$6C53D73A-565F-437E-8C0E-AA56C2DC2969","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ec346a094d33f916fb779238e27cb096c724f53","datavalue":{"value":"0844.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908354$B612DE81-0B53-4BB2-A15B-E82CC7A6F7B4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1dca62213c403be08a72765d5013cff559684e6","datavalue":{"value":{"entity-type":"item","numeric-id":654905,"id":"Q654905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908354$3943926E-EAD6-4A40-B0F9-ADD5C615D5FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ecb7dd8f294a869555be9c745d2e1373d849ec7b","datavalue":{"value":{"entity-type":"item","numeric-id":1122596,"id":"Q1122596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908354$A2FBCB86-88E2-4A27-B6EB-F39E9C30D195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a4039d3faa52091ecc0d9cf3f44185773b9deb1","datavalue":{"value":{"entity-type":"item","numeric-id":555768,"id":"Q555768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908354$D38AA6AC-1E3A-4DBA-A897-0FB114851C26","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908354$99518F61-C14D-49F9-8083-E3AC3F931124","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb3fd24908ce68799244ebdfe7a5876886c122fb","datavalue":{"value":{"time":"+1996-03-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1908354$F431F1EC-1AB2-4C63-B602-F97F97B68A09","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dcda58825a81cf794d12d28e364dd3df8d80eb32","datavalue":{"value":"https://semanticscholar.org/paper/2368d236374d5333983df34d8b5954e496e38f1d","type":"string"},"datatype":"url"},"type":"statement","id":"Q1908354$DE8E1786-15C1-437F-A882-6F176E42BE6F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908354$6D56FC3B-508D-4F8D-8E8D-87637ED27EF3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6adb944a4c80346dcc1f368dbac0387d53086317","datavalue":{"value":"847835","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908354$717C91AD-762C-457B-A57E-A396B86171A0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f887788209674f1144539319ba7890b396745d2d","datavalue":{"value":"pattern-matching function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908354$84736FA2-1F71-4EEF-B8FB-8058B912751E","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":"Q1908354$EAE83309-DCAD-471D-80AD-9F0BDD3033A7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bc8f96999d05b45ec76bc730a933bfaaa9ea0486","datavalue":{"value":"W2145044561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908354$5955A6AD-61BB-47D6-89E1-3F6C591994CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cd84c79bd5a81764e448b5378828380467f28648","datavalue":{"value":"10.1006/INCO.1996.0004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908354$6C407AE2-139B-45F2-9F57-4F401676C9AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14984f3cb58c984e4b4abbabec043fee8d0da6c7","datavalue":{"value":{"entity-type":"item","numeric-id":5958759,"id":"Q5958759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fc96785760d46a597a8b64e38872a4d4f6f340e","datavalue":{"value":{"amount":"+0.90673786","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1908354$3C3B7919-992A-4079-A8D9-AB7B79AAF6DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"073e2a2a12b14f511cfd797572320c0e004ab360","datavalue":{"value":{"entity-type":"item","numeric-id":4703039,"id":"Q4703039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fc96785760d46a597a8b64e38872a4d4f6f340e","datavalue":{"value":{"amount":"+0.90673786","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1908354$58848368-409E-49D3-B63A-DA0A06F119D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebb659874dd1c4dd244645c9a91fd0be0b9cb3b8","datavalue":{"value":{"entity-type":"item","numeric-id":2942930,"id":"Q2942930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9f9cd9150e5284da406d872c928f9441d281bae","datavalue":{"value":{"amount":"+0.8987841","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1908354$DBE694EE-E1ED-4AE9-B56F-6A4335A724F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be43b2971e0f053af8f4332ae40481fcc15a3421","datavalue":{"value":{"entity-type":"item","numeric-id":3025159,"id":"Q3025159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5242f9a1af7669e71b573aff681c0252a2ba3e2","datavalue":{"value":{"amount":"+0.89742917","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1908354$E3EC6513-18EA-4E94-AFCC-43C76AF469FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80447432b051bb4c1859bcb7a482f1adb3143c91","datavalue":{"value":{"entity-type":"item","numeric-id":5015103,"id":"Q5015103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21945677def1b275f2989331c1b195d7cf7078ad","datavalue":{"value":{"amount":"+0.89559865","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1908354$1324768A-E2D6-4016-90A6-45360B7A9F05","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":"1d7dbef6b734d6655bc29258fa9b5d6085fc6a9a","datavalue":{"value":{"amount":"+0.89316994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1908354$31865402-DB14-4842-A812-A45D5E8E194F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc09e83de3c0c1572983fb2e1a422c0ff5f3123e","datavalue":{"value":{"entity-type":"item","numeric-id":2878758,"id":"Q2878758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83e513dd1f9bf9f52fc4b70a9a557cbd040f08ee","datavalue":{"value":{"amount":"+0.8926776","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1908354$CF12737D-7931-47B5-A935-4C30EEDF26D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8ebf67a4e637a649a416f9e87ca0e4e1d7c4800","datavalue":{"value":{"entity-type":"item","numeric-id":3616444,"id":"Q3616444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8957cf01adc381b3cfe20c66f7f2abf1e4655e83","datavalue":{"value":{"amount":"+0.8842299","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1908354$8778F737-CF43-412E-BD9C-CCBCB970627B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a37191b1d2a12c44e4df5292e57ba83c618184c","datavalue":{"value":{"entity-type":"item","numeric-id":5712432,"id":"Q5712432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e7d7aa1db9fddec93724e9de2fe1099a14e7856","datavalue":{"value":{"amount":"+0.8737731","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1908354$516310A8-3D39-4104-BC75-2B30C98C8D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff5c726b0add03572e8b3285b9075bc6bd5c3b62","datavalue":{"value":{"entity-type":"item","numeric-id":3142165,"id":"Q3142165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90cd5f1893bed83e3da0233687caf9050f96085e","datavalue":{"value":{"amount":"+0.87006164","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1908354$4F2BECA0-9BBB-4364-B486-D1AFDFA8A333","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908354$42D12B43-0D8B-4EDD-95FE-80B1F2A807C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A typed pattern calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_typed_pattern_calculus"}}}}}