{"entities":{"Q1854490":{"pageid":1865232,"ns":120,"title":"Item:Q1854490","lastrevid":69361887,"modified":"2026-04-13T06:29:45Z","type":"item","id":"Q1854490","labels":{"en":{"language":"en","value":"Efficient and flexible matching of recursive types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1853228"}},"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":"Q1854490$636229FD-075C-413A-A38C-C426277EF283","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"42993c8a3e78d3e8e5c8393160e69c8b07c89efe","datavalue":{"value":{"text":"Efficient and flexible matching of recursive types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1854490$C51567B8-3305-4464-A6B7-427682F8BEA8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"97469240a08f18138d2860fcecf7eba72a2f16dc","datavalue":{"value":"1005.68043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854490$7FAA1E66-D202-461F-8F7D-774C2A4F336E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7f811e3f3dcab3f43bc2cac5f5c769c98be55f5","datavalue":{"value":{"entity-type":"item","numeric-id":672458,"id":"Q672458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854490$109ADC9A-6B1F-4D8C-93DD-5DF52310D45B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ceab8c004bde5a83743f6287a0710c623740b7d","datavalue":{"value":{"entity-type":"item","numeric-id":703847,"id":"Q703847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854490$4D9DED4F-7067-40B5-BACE-1B074D1EC0F0","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":"Q1854490$0D7FBB60-BD04-46A4-8464-49853A6D7C5C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a7e8d599a17c373ba2d71fc88b3043673b9f45a","datavalue":{"value":{"time":"+2003-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1854490$23D6B2AC-CE99-4048-A3F4-2E599AA8460A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4af1a00100cb42d4469990d970a3925b2c08a963","datavalue":{"value":"https://semanticscholar.org/paper/67580e7111a19aef2afd626433f2b911cd0da7b6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1854490$3AB82ADE-1336-4FD1-BA91-999E7B6CC128","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854490$E2E0B602-5584-4BCA-887C-3E5F9A2F3F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854490$5330F402-4FC7-4741-8E49-BFA69901F129","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33348966767caa2c72f72dd3a112867d47222ef9","datavalue":{"value":"1853228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854490$1D4093D1-0615-4827-AA7C-1E76E66E2C16","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":"Q1854490$419EA571-04F7-4FB7-A573-3B85B458CE7E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f1e9296f4f31b1b6193adab17947bd66f7212052","datavalue":{"value":"W2033763204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854490$8461D60B-8E56-4FC2-97BD-AF082F1B68D9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfc9f771f33968e91f519f7ae2d6ef764d76b087","datavalue":{"value":{"entity-type":"item","numeric-id":4362968,"id":"Q4362968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854490$ECB82487-8D44-48F4-B2EB-0D5CB5C5E6C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"686b11d54974361b543d100ab12d89c9574adcdf","datavalue":{"value":{"entity-type":"item","numeric-id":3024900,"id":"Q3024900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854490$8870A55A-9CFB-46D7-AB76-382671B1053F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"308895c836b930be70b0ca58cc1956e776eb29fa","datavalue":{"value":{"entity-type":"item","numeric-id":4017461,"id":"Q4017461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854490$FA71D569-C5DC-4666-87F3-BB2EA00B2167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fc01b32a39e6899d3fa4536d575826bd8363154","datavalue":{"value":{"entity-type":"item","numeric-id":673099,"id":"Q673099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854490$372C0EE2-1FE3-41E7-9EF3-4A39B68B5B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11eefd7e7dc86c1755a8db4c6825e6e9fdeb6d39","datavalue":{"value":{"entity-type":"item","numeric-id":3619797,"id":"Q3619797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854490$1186A4DF-7F03-409E-AB08-A3843BF465EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef2139b24faac29260605061d8111231a2904d6c","datavalue":{"value":{"entity-type":"item","numeric-id":4325974,"id":"Q4325974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854490$DE640784-09AB-4305-97CC-0D3B9D92AD4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b883aef2f89b9929efcf17e4c0c45eb5680b0008","datavalue":{"value":{"entity-type":"item","numeric-id":3922128,"id":"Q3922128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854490$908B1D3B-BF1F-40AF-AF4C-CFDC7A0FD737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a73f079fad88596351ff709cf186cec234a2805","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854490$6FC4BF1B-FC04-4BD6-B614-36937ED44BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"187e1fb158e6b4695b1eefc466a8e0535eaf95e7","datavalue":{"value":{"entity-type":"item","numeric-id":5682014,"id":"Q5682014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854490$B892FE19-50D3-4EA5-A4EE-5206B94AB473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e0a280284fb94c218ae4de7c9e272de0ae70429","datavalue":{"value":{"entity-type":"item","numeric-id":4365943,"id":"Q4365943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854490$66549B95-099A-40C4-81C9-D98A6D7B9401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ecdcca463445112101708876695eded3f30222","datavalue":{"value":{"entity-type":"item","numeric-id":1327385,"id":"Q1327385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854490$7A12FAFF-34AA-49C4-9A28-8B6F990A747D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea65036ecd194ff8221becdeb615d4d21186d775","datavalue":{"value":{"entity-type":"item","numeric-id":4847313,"id":"Q4847313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854490$898DFBD0-79AC-408F-91EE-88F99F7BF8EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37011f2d1f562172b8f9857d6459d11fb09eac21","datavalue":{"value":{"entity-type":"item","numeric-id":1057072,"id":"Q1057072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854490$5E766C3F-F8ED-4356-8343-B11C568239FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"068704cf4615da30a2835e3abea74899686e26a6","datavalue":{"value":{"entity-type":"item","numeric-id":2732171,"id":"Q2732171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854490$E5E594F3-DE86-4E2D-B3E9-26373206E954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c730ba20c9991a2568e17ae9a2be1ca0275d298e","datavalue":{"value":{"entity-type":"item","numeric-id":4939694,"id":"Q4939694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854490$292338B9-7180-4EF7-93DE-881E61B3D407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d40e37cc2852313e42b30a846d586a20994f3ad8","datavalue":{"value":{"entity-type":"item","numeric-id":4304554,"id":"Q4304554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854490$C059AC79-9ADA-4FD6-AC81-4F0C4BA7BDA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c9b591ca1ee94f5ee2baab81b962ea12b59f911","datavalue":{"value":{"entity-type":"item","numeric-id":4282541,"id":"Q4282541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854490$5633BB2B-728B-4D8D-8EBF-EB62D1589372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf2db2ba829b037cf2efb18b93f4aa34513a9246","datavalue":{"value":{"entity-type":"item","numeric-id":1838563,"id":"Q1838563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854490$61D307CA-87F1-4253-83B4-FB8BBB7B90D2","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":"Q1854490$E167E3B2-AF10-42CD-9E09-656080CAB52F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eec1396a43e040fa9655847cc89b616307ddbcc7","datavalue":{"value":{"entity-type":"item","numeric-id":6488563,"id":"Q6488563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854490$52F72792-C720-41F9-AE44-00F7376CCBCF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d9019a947c411ce1370cb7ad1846e41304d7592","datavalue":{"value":"10.1006/INCO.2001.3090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854490$B27E0736-9B8F-40DA-9B08-0176FAAA4276","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"301d0cacbbcb3d3112051cafee7d571022e385ab","datavalue":{"value":{"entity-type":"item","numeric-id":4738226,"id":"Q4738226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef23133a383bb444267a71acdb0501d9d89269f3","datavalue":{"value":{"amount":"+0.8348739743232727","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":"Q1854490$DAE56A6E-44B8-4F18-BBB0-D6B4FC75808C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdf628d97675155cf4264d9db17543f83fc483b3","datavalue":{"value":{"entity-type":"item","numeric-id":4847313,"id":"Q4847313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccd4e1fdbc8d17fa7070bced24767c1e91a2ff3e","datavalue":{"value":{"amount":"+0.8010444045066833","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":"Q1854490$E02535A1-AFBA-405F-BA76-F6F23949D7DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac2c40e0dc1b1ad87752182e771da7886f362766","datavalue":{"value":{"entity-type":"item","numeric-id":5892119,"id":"Q5892119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccd4e1fdbc8d17fa7070bced24767c1e91a2ff3e","datavalue":{"value":{"amount":"+0.8010444045066833","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":"Q1854490$91E3BA56-29CE-4D81-80C1-B32BBAF9A2FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e793ffb15d22c82f059f40bcc261f53724f57d64","datavalue":{"value":{"entity-type":"item","numeric-id":5178033,"id":"Q5178033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8986edccd653f57172501b5007460940293e598b","datavalue":{"value":{"amount":"+0.7631750702857971","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":"Q1854490$8C8381A0-9343-4532-90C0-4A5E0098F959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01290aa132a6a73fdc9b31993058e60441c9cb10","datavalue":{"value":{"entity-type":"item","numeric-id":2943374,"id":"Q2943374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1d48e2c273eb2cb8aee9f6b526e2e9185b49e1b","datavalue":{"value":{"amount":"+0.7518320679664612","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":"Q1854490$80462BDB-5F21-4EF8-997F-E26D56DD2968","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient and flexible matching of recursive types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficient_and_flexible_matching_of_recursive_types"}}}}}