{"entities":{"Q2931780":{"pageid":2942500,"ns":120,"title":"Item:Q2931780","lastrevid":52145723,"modified":"2026-01-21T00:56:22Z","type":"item","id":"Q2931780","labels":{"en":{"language":"en","value":"Copatterns, programming infinite structures by observations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6374660"}},"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":"Q2931780$50AE2F9C-D5B0-42CA-B090-FF5B3886949F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b4fc1de6034aaecb2bf65bc0d1c7fadb63538c60","datavalue":{"value":{"text":"Copatterns","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2931780$A3BB94D4-6D65-4C1B-914C-83B6FAC87468","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c26c54eff30306b93b11116489428f260ed3779","datavalue":{"value":"1301.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931780$4535BB0B-5B81-4015-9F5B-5C686ABBDAF5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a8a20f56878c0b1ce6a1c316164c7becf6a86c85","datavalue":{"value":"10.1145/2429069.2429075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931780$C1543CDD-8B01-411F-9C7D-C8214ABB0195","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fd295c773add0c694cee3f65e8e7cf93dc4bc27","datavalue":{"value":{"entity-type":"item","numeric-id":923882,"id":"Q923882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931780$3CFE1580-D153-4AEE-BEC8-CD97F1A588FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8825a5f48e59e5b1e1510e59d52fce48da47c37b","datavalue":{"value":{"entity-type":"item","numeric-id":229739,"id":"Q229739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931780$2F498952-87F8-4DEC-B24C-1FD35BA4D792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"737d28b070ce0e465798910a7ca8a8d691df24ea","datavalue":{"value":{"entity-type":"item","numeric-id":2931779,"id":"Q2931779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931780$CAC9DC4C-AEFC-4948-BDB2-5799CCB52DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"726d6d17ffd7097481aaa7acac69959461b65139","datavalue":{"value":{"entity-type":"item","numeric-id":587965,"id":"Q587965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931780$BAC13280-A275-4312-858D-AE7E1AA5E52A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d480da44355e1cba6f97eb0f61979a1910561f9a","datavalue":{"value":{"entity-type":"item","numeric-id":2931775,"id":"Q2931775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931780$7A9266B9-9806-4422-BEE5-BEF20CCBA4C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2caf1be9256fb0d3734f25532efe298070e0f96","datavalue":{"value":{"time":"+2014-11-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":"Q2931780$7B697C56-68D4-4844-BEA2-B54EEEF03682","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931780$DA014DEA-B569-433B-B145-8D886AB34ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931780$F4754F5A-6ABC-4398-9B21-825048787522","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff134f5252d0304c8cdabc951baac08c577bd0c5","datavalue":{"value":"6374660","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931780$7AE0BBAE-C293-4027-A5B8-40C260AD45C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafcf953018573f92a433319a1c11197d7661331","datavalue":{"value":"coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931780$01085C95-5B5D-4D0B-A2CB-393C01812C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931780$2168B842-A22B-4D63-A908-1C85F7EC93DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da4af4675e278a606e91134f25e2d14f596732ee","datavalue":{"value":"introduction vs. elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931780$2271A5DF-EB1D-4358-878A-3297CD5657E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12cc05bccfdd81cd938c0809ce06c418d2fb13db","datavalue":{"value":"message passing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931780$1B5F1364-B971-48A1-858F-856CFF39C41D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2450e02f50939b46b52c3140c8d1d485cebe36e5","datavalue":{"value":"pattern matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931780$4971BD49-3C5C-455C-A801-1439434828E9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931780$9DE8112E-6C15-4A80-9937-079B31A632BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931780$84872A49-8EF0-4967-BC4F-9D1E759AF1CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931780$3A558038-87D0-4FD0-A835-F61339BCDAEB","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":"Q2931780$FA318CEA-CAB5-4543-A937-D42132AD5C83","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d2c6b6091f75b5efb481456f125b715dffa4b50d","datavalue":{"value":"https://doi.org/10.1145/2429069.2429075","type":"string"},"datatype":"url"},"type":"statement","id":"Q2931780$45AB4ECE-C29B-4065-A801-CFE3FFA97345","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2060f8f727982c126938baa42f84517c697bcf2a","datavalue":{"value":"W2074592053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931780$18EB3487-3481-4D83-8CA6-60D114884B55","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5499b217b58c97db44424dfe6ed33efffd93bd8f","datavalue":{"value":{"entity-type":"item","numeric-id":2985784,"id":"Q2985784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a1549d816401aa9a1499753fd420310e9b76454","datavalue":{"value":{"amount":"+0.8128525614738464","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":"Q2931780$5B6DD228-5E80-4432-BD12-184871D17E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a23b3b3ea5a458ddb28c7edf2008e72b5f4b2eea","datavalue":{"value":{"entity-type":"item","numeric-id":5170805,"id":"Q5170805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21d9a7e5455e5635ea9439547fd710a0f6361a80","datavalue":{"value":{"amount":"+0.8038713932037354","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":"Q2931780$352F0284-8813-4055-B144-99C1827B352A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f4cdadcecb6c0cf8bb953f535f4d9c9ac53812f","datavalue":{"value":{"entity-type":"item","numeric-id":5371960,"id":"Q5371960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fa3c2ef68ed2249625fb3b382c968e1cdcd6da4","datavalue":{"value":{"amount":"+0.7914102077484131","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":"Q2931780$8494E836-4F6C-4BE5-9386-4F697B838097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"334dd8cfa911ce6bc39c4ab6b1d3c14866c21a40","datavalue":{"value":{"entity-type":"item","numeric-id":5244799,"id":"Q5244799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6336eecccf8fa4205e46c4c2ec61ee05eaa0f03","datavalue":{"value":{"amount":"+0.7855576872825623","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":"Q2931780$89B1DEB8-967F-4063-9903-14D7C43CD65F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b46f89790ac94347ac0394482b5c39e63a890b9","datavalue":{"value":{"entity-type":"item","numeric-id":2888481,"id":"Q2888481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d3f0b2120e085dd394f4c42b68c29d73adfd75a","datavalue":{"value":{"amount":"+0.7296038866043091","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":"Q2931780$30C13E7C-77A8-4B74-AEEC-78B4AC44BCC2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2931780","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2931780"}}}}}