{"entities":{"Q4218930":{"pageid":6248531,"ns":120,"title":"Item:Q4218930","lastrevid":46693731,"modified":"2025-12-25T10:12:23Z","type":"item","id":"Q4218930","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1223619"}},"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":"Q4218930$18BAB54C-7366-42C6-BF00-BB218256E198","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"16c46d67fadf0375998c0ff96f5983be48011422","datavalue":{"value":"0911.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218930$D45198E0-CE70-4DA4-AD44-682BCC70FB16","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23be70569faa30ab86ceaac20a2ea57705fd5fb4","datavalue":{"value":{"entity-type":"item","numeric-id":685392,"id":"Q685392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4218930$13799D8D-6120-4DB6-B985-D5ED06402332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"09eef17235cb97df8925ce2b61e18e29332a319a","datavalue":{"value":{"entity-type":"item","numeric-id":2917308,"id":"Q2917308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4218930$699DE0D1-AD13-4E32-B559-68D27606F50E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f0ea40d34610c9ef1ad3dfa8f2b5e999f8568c6","datavalue":{"value":{"time":"+1998-11-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4218930$41D57A8F-082C-4286-8EE8-D226A5297366","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218930$862227C2-4C25-45A4-96C3-C38A013FF087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218930$F249DA62-3BB4-4FB8-858C-62F1C2F4EBB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218930$781766C6-F155-46F7-90F3-B20200A2B688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218930$1212B4E9-8D79-4324-BF58-AC1A0698FB18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218930$BA2AB584-E20A-49F3-9050-E8DC37446226","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e3fa43aeeab4bcae0cf8c7640b92a67d1ad75820","datavalue":{"value":"1223619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218930$918C2C93-7D52-4E5E-BEA6-BC43872E0068","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218930$76B90C4E-575C-4AA6-8296-5F9A863EB004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bd5e640143d97b736be60c5040f4374a126b75b","datavalue":{"value":"higher-order unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218930$9A64F0D8-CBB2-40E0-8698-794FE6CFC3D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"150b0c5e5647ed5ff65ec7233d72567a26df4020","datavalue":{"value":"higher-order matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218930$864F4C1C-878C-427D-97B5-E6954D4C81CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218930$0FF8C7F4-0E98-47FC-B6C3-7486EFD47743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218930$65581A01-E607-4ABA-8DB1-57DCD865B638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f5498ca3e7abb035a7212a6e68902ac2f3c0126","datavalue":{"value":"NP-complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218930$45B6477D-BFA9-4609-ABAE-4B8499AE8F08","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":"Q4218930$BAFCE835-D73F-42AE-BC95-E17E87D97198","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cc1679e0d0543c1c3c8f5018975ea5628797bc6","datavalue":{"value":{"entity-type":"item","numeric-id":4500172,"id":"Q4500172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"159fb3b24fcd4cffe19dacbc1aaad896e1f95aae","datavalue":{"value":{"amount":"+0.8794741034507751","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":"Q4218930$F630B482-4BFC-4F16-9986-25AD03082567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45d8706abfb84ac5217da1f08de69367c391d603","datavalue":{"value":{"entity-type":"item","numeric-id":3431410,"id":"Q3431410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe4eb815f83a76d461b043bd062ace2a9707c8ec","datavalue":{"value":{"amount":"+0.8323851823806763","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":"Q4218930$85632084-8297-4A5B-AA8D-74472E83EE00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15b86656b3f35057a4b5e6407ad48f2fc95b0691","datavalue":{"value":{"entity-type":"item","numeric-id":1337691,"id":"Q1337691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cfa819986c5592e8be7a70cfe7e6bd157fb2313","datavalue":{"value":{"amount":"+0.8203901052474976","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":"Q4218930$9B5D18DC-4A19-47C4-8272-4228F930E065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d47e67c427ef9e5b5456e96b9940b40839424d6d","datavalue":{"value":{"entity-type":"item","numeric-id":4645813,"id":"Q4645813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f8ef7875ca583e7b9f76423c39c9c9a97754650","datavalue":{"value":{"amount":"+0.8108160495758057","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":"Q4218930$4EDAC2FF-410E-4113-BF0F-A1CE3DEEDEF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7928d191d169dd0e90b0ee85bd9a623e1c9ef839","datavalue":{"value":{"entity-type":"item","numeric-id":3024854,"id":"Q3024854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22e0bae069a4d9f13f19873311d2ecd9f47786e3","datavalue":{"value":{"amount":"+0.8063350319862366","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":"Q4218930$991F17BE-5DA7-4A63-90D8-A4AD96CE0718","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4218930","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4218930"}}}}}