{"entities":{"Q4263158":{"pageid":6292759,"ns":120,"title":"Item:Q4263158","lastrevid":46667151,"modified":"2025-12-25T09:03:45Z","type":"item","id":"Q4263158","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1341609"}},"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":"Q4263158$5827A87A-A45E-4993-9024-4A658D32E52D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c136507284d93fac86d117ec27085c1494e4d216","datavalue":{"value":"0937.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263158$521C7403-5110-4350-8656-D3E824D4019A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf7780eb30db256747f91026d8cb0ff2dc4b116b","datavalue":{"value":{"time":"+1999-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4263158$F30DA933-EA19-42BB-9A82-579988729B3F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263158$FF5DD3E7-3B0B-4508-A6E4-0B0B5E47B156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263158$1095B99E-AB6B-406F-A1F1-76316CAE04F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263158$001FAAC2-9EDD-4554-AB51-B7D9C0C54A5E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"779c0ef262290f1f1ae73590d9fb227e82b12a14","datavalue":{"value":"1341609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263158$4680435B-64CD-40D6-88F9-6FFE2AF7AD6E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263158$AE9AC06E-9C2F-4877-A17F-1014635A9BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263158$B226CC84-8B07-435F-AFFB-76DE8C9A6A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263158$ABA4B6E5-5B01-43A3-9437-7366F8258A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02e15bce93c267cdd6be77e0314601574aa44e8b","datavalue":{"value":"simply typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263158$70FBCE46-57F9-42CD-AE28-89455B821381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"150b0c5e5647ed5ff65ec7233d72567a26df4020","datavalue":{"value":"higher-order matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263158$6582BE15-1E89-49D5-9710-3D547FEAA8F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"197c9d0b02a258b487813a4d99f64a9925a16026","datavalue":{"value":"NP-hardness bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263158$ECEA267C-A6B0-4774-8920-6E1E613F36BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f7cb1aa4b56527773d13fc4688e2a64ec461ea8","datavalue":{"value":"fourth-order matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263158$6FC2E92F-7480-4449-BDBA-E972700DE0F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e947a3c55aeaad16eaee488538da40958f5fba4c","datavalue":{"value":{"entity-type":"item","numeric-id":373250,"id":"Q373250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4263158$89FC37C4-1F33-47E9-99C4-AD6E4DE6471E","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":"Q4263158$B1363A21-C8AF-4516-8ACB-18901B7D0568","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f64d40b2db1b98da9c78bb0b0458ccbd123ef157","datavalue":{"value":{"entity-type":"item","numeric-id":2723896,"id":"Q2723896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d763d8b242dca25f587c169d5e52814416b0d6c","datavalue":{"value":{"amount":"+0.8400807976722717","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":"Q4263158$F16D6513-8ABA-40A1-B2A2-79987E41F47B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaaca36d7b68789e0573d36028a9e4f126ddaa89","datavalue":{"value":{"entity-type":"item","numeric-id":4447236,"id":"Q4447236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"416e6c3938c5beca9b0d4c1a16088556dca9b8ea","datavalue":{"value":{"amount":"+0.8242070078849792","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":"Q4263158$CEC171D4-7593-4CC3-A011-C2DB8D3C881E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b453dd0ef7aec5410cfd5cab8d1476d38474323","datavalue":{"value":{"entity-type":"item","numeric-id":5703852,"id":"Q5703852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5f5a75d65091645bd3ed9e537fd7174a86a61f7","datavalue":{"value":{"amount":"+0.8146715760231018","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":"Q4263158$5FD5145F-A05F-4038-B4E2-C13F9AAAD1B4","rank":"normal"},{"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":"303517b2ea250e75a8441d8289bba3752e582ae7","datavalue":{"value":{"amount":"+0.7985408306121826","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":"Q4263158$8D3DCFE5-A4F4-494C-A6A9-6A5DF3F17C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fde1450e3a5391a8e12057fb4e6ae57779a7900d","datavalue":{"value":{"entity-type":"item","numeric-id":4218930,"id":"Q4218930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02a9b9d21f4525bdc60e7cbf693dadb3c1ff2cfb","datavalue":{"value":{"amount":"+0.7957624793052673","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":"Q4263158$AE6169B1-1B00-4E3B-8BFF-CA695103F54D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4263158","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4263158"}}}}}