{"entities":{"Q2035650":{"pageid":2046392,"ns":120,"title":"Item:Q2035650","lastrevid":54029249,"modified":"2026-01-26T03:15:37Z","type":"item","id":"Q2035650","labels":{"en":{"language":"en","value":"Matching logic explained"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7363403"}},"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":"Q2035650$05028071-50A3-479E-97B8-0831FCFB0443","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf508ff1be0653fbfaf4303a0b88040b4dc1e070","datavalue":{"value":{"text":"Matching logic explained","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2035650$31213B4B-8757-44CB-9CC7-A2D2A1CF61B7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035650$5F5D8514-3B0B-44CC-AB06-4FA76754EF25","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035650$593E72E2-3614-430A-9057-99F417D4189F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f808cd8ede5cddae3cd8b5e13616f018d09899f8","datavalue":{"value":{"time":"+2021-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2035650$C34F92B4-CBAB-498C-956B-F74D5E17B4EA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a641c9ce6286d7d3e22f0854c65bdf574302c750","datavalue":{"value":"http://hdl.handle.net/2142/107794","type":"string"},"datatype":"url"},"type":"statement","id":"Q2035650$5B71CEBD-4015-4218-898B-6B92EA082230","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2035650$E7E9F343-9B88-41D0-9628-C8F1D5B62CE1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2302f20bbc5a0af392a08b2762bd3320c10095ec","datavalue":{"value":"7363403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2035650$0DA761A8-6535-47AE-BFD8-9E8C63FD9F81","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f989fba8bb93a2cba76765f66ae6bdaf7b8eba8","datavalue":{"value":"matching logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2035650$9774F4AF-E2BF-4006-8813-29D900246B38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea0d299920022edce35db71b9ef58e865e2cd3d4","datavalue":{"value":"program logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2035650$AB735A42-AA88-465F-A473-B9DF22E5EA32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43cfd3c95a876c75908ef5e2dda9dda431811175","datavalue":{"value":"(co)inductive data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2035650$81A02038-6C87-475C-BEF1-59096FC7C2F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2035650$A71FC278-D0DA-4F00-A413-3D5446AC4B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d459a7a1c96c98084b5fe88a7c79a92b6ad4602","datavalue":{"value":"specification of transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2035650$F66EB487-69DD-4401-B099-7F57F47A7563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"114b956891e9db8c70d7d82c58fbb0ae2f9c9e8f","datavalue":{"value":"(co)monad specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2035650$6B470D31-5828-4EB9-AA98-D9633A428FA5","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":"Q2035650$BACB0E1A-1DFF-4EF6-B108-797619C28F09","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":"Q2035650$6FD041AF-C2FA-49B9-B5AC-B1656D3FA2CF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9fd7949bd67c6f4f924dbc886ca70b9f768c3670","datavalue":{"value":"W3082019786","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2035650$93150A77-6E0C-40F4-9848-3CA8F66CF452","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3ac21557d803c5a4877d0b0335294fac14ee919","datavalue":{"value":{"entity-type":"item","numeric-id":4600770,"id":"Q4600770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035650$83D65238-A170-43FD-B71B-E75198010A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035650$BE56FDAA-5F4F-424B-86A2-D59DE0DA989E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035650$CB004366-188F-4DED-942B-C78439A90D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87a2f99768ff1da949299cef13b498d5a9c3a16a","datavalue":{"value":{"entity-type":"item","numeric-id":2888482,"id":"Q2888482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035650$E08BF49E-39E1-459F-BD32-189133E4C9B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b8c3a63f5113f0209622b58f18640a08a06fa7","datavalue":{"value":{"entity-type":"item","numeric-id":1887151,"id":"Q1887151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035650$2213C30F-DC9F-469C-86CC-1A6F7D71A039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035650$DA8DB212-B003-48C0-9142-9161BBE16C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035650$353DC62C-6BC7-4D43-B843-E26CC095B5F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035650$D9C1B892-F342-420D-AA7F-04E536FE2B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035650$7AE3308E-5CEB-4316-95C2-A184BF84502F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a513c45897b31ffec63e5469a25464b2be8ac4b7","datavalue":{"value":{"entity-type":"item","numeric-id":4941495,"id":"Q4941495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035650$A9259827-B9AF-4FF2-B8A4-7E2DEE691BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bd28852b9fa82aee195b6b013c46503ab17cd68","datavalue":{"value":{"entity-type":"item","numeric-id":2873672,"id":"Q2873672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035650$111CB0CA-C8AC-4E91-A74A-9638B9696BC6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ca17bf45f43bd2c43aebd146bc42ea3b5e27928","datavalue":{"value":"10.1016/J.JLAMP.2021.100638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2035650$ADAC42E2-A727-477D-A472-ABC1088FE1F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95562d50198b3a44f584238817ac937c2d20377a","datavalue":{"value":{"entity-type":"item","numeric-id":5277868,"id":"Q5277868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47f4af7fa14b256ea8a6ffb419284e2091f11f29","datavalue":{"value":{"amount":"+0.8852656483650208","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":"Q2035650$F8C56977-B12D-4EDC-A320-9F70A6DA0C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee1822155691b95685a9519f9f48b18e2a29a302","datavalue":{"value":{"entity-type":"item","numeric-id":4600770,"id":"Q4600770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1e2864a06d8a5888c377e00aa975a23d975db25","datavalue":{"value":{"amount":"+0.8834195137023926","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":"Q2035650$3C3B4B54-3A4C-488E-8056-A972C791D383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d07f4ff472e77d3c2ee5dfdfef8d78656a9b9dd9","datavalue":{"value":{"entity-type":"item","numeric-id":3067473,"id":"Q3067473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"063ec856e0a7614a5f9568bb272da0e7b7fdfcb1","datavalue":{"value":{"amount":"+0.8048369288444519","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":"Q2035650$7FD7F737-CD00-4D41-9528-B1BA9C009442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70383910b2fac956b1c2dcda857a4fad5a393ad7","datavalue":{"value":{"entity-type":"item","numeric-id":6486031,"id":"Q6486031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c47d2565856860884efd4402553da05ce699e664","datavalue":{"value":{"amount":"+0.7419669032096863","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":"Q2035650$A4EC634F-4EFE-41E3-A5F1-DCE5910BBB9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d09e8cd97f2a4f97e75ef444f2b9d8bef58b447b","datavalue":{"value":{"entity-type":"item","numeric-id":4647855,"id":"Q4647855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52fd27a6a51cb67d4ac7836c2a0287ceeb186e7c","datavalue":{"value":{"amount":"+0.7171857953071594","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":"Q2035650$F2BE2E67-27BD-411A-A2B2-128FB026484D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2035650","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2035650"}}}}}