{"entities":{"Q1208736":{"pageid":1219485,"ns":120,"title":"Item:Q1208736","lastrevid":66523317,"modified":"2026-04-12T10:39:45Z","type":"item","id":"Q1208736","labels":{"en":{"language":"en","value":"How to decide the lark"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 166979"}},"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":"Q1208736$F1369700-38CA-4660-B3F0-FE619AF91526","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"18ac41461b42d8b4317b7900cd4c42a05f85ccea","datavalue":{"value":{"text":"How to decide the lark","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1208736$293BFCC4-693B-4E2F-952B-66CB623E238E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b8bfe53056ccdd882eca121c9c99b99d24d5f15","datavalue":{"value":"0821.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208736$4538BEB5-0757-4580-9709-44152ECCEB9B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2847142def6b6d18a8654f7fa9b93da20f1c3272","datavalue":{"value":"10.1016/0304-3975(93)90015-L","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208736$C2E2A412-74FD-4321-82C7-2328B43756E8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"781c3899040504f743a7f534cfe7a618dd154b46","datavalue":{"value":{"entity-type":"item","numeric-id":1179118,"id":"Q1179118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208736$46E78623-9DB2-40C5-BA7E-053B7587EA87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e28f6fbdc7a7157d5ccc9bce1921ca7d1687c76","datavalue":{"value":{"entity-type":"item","numeric-id":505531,"id":"Q505531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208736$8B7B8936-FE92-47C8-9732-E4269A16B694","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208736$6AFF5D39-7951-47BC-A106-2541AFBFAAE1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1772b6c81a5108c06854e0de4518fb90e5a6ebdc","datavalue":{"value":{"time":"+1993-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1208736$90816E3E-8F82-4382-8C1D-77A72087254E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208736$0BBDB4F0-A041-4196-BF31-7A9451972CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208736$A2F942B6-483E-4B66-9F9B-46B85CBA6BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208736$3F0D30BB-8431-4E78-BD9F-9217742A6FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208736$4BD79E62-BF8D-4352-8663-F53F9A3058B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79c9a014785e41c94f76c463174af5cf2a59ec70","datavalue":{"value":"03D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208736$9A03735D-B135-442A-A985-52BC5DD25ECB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc18e6641ea44b725a3943159cb7f02aa817624f","datavalue":{"value":"166979","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208736$1FCF918B-A62A-462C-BC10-E508BC3BFFA4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"102c948fbfd8fec49354addd1c0694163e863030","datavalue":{"value":"decision algorithm for Smullyan's lark combinator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208736$A895C447-2730-4263-91F4-39C8850BF03B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f168e1862019b8746d591c4bb3729995d53707c6","datavalue":{"value":"canonical rewrite system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208736$5779D50C-D979-44F7-9E22-B9D57560A789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dd777e43ccbfed27b0c8a435c92dd12c25ed8ae","datavalue":{"value":"completion of an equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208736$59AB9968-D9CD-4BF8-9EC4-F3648CB89DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed24286b004bba008a87b319cd44ea29534b09c1","datavalue":{"value":"polynomial decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208736$B2D962DB-7D48-4DAC-A8DE-A981410CE5A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a441c4d4b860307a4124c724525b944bbe518174","datavalue":{"value":"fragments of combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208736$7CBE1FCF-0FB1-4B7E-9847-FE29202667B6","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":"Q1208736$20A3561E-656D-4E18-845B-5CB1FCF13F7E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f463d2fc68b751147d657b7d88f441cdf392409","datavalue":{"value":{"entity-type":"item","numeric-id":4000281,"id":"Q4000281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208736$32A2E934-534C-42E0-9F13-B544EC98F34E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53659cbe4374fba43669a41966294053efdea479","datavalue":{"value":{"entity-type":"item","numeric-id":3728878,"id":"Q3728878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208736$22030766-AB20-43BE-8B04-91E52FB04A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"349a11d618599286c335e9f43324ffef59d1a9b8","datavalue":{"value":{"entity-type":"item","numeric-id":1103414,"id":"Q1103414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208736$B4FD0D0D-FF9F-4D86-AD72-0FD1D72B9EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ccc272df6e3f638456d722d8f630056eceb056f","datavalue":{"value":{"entity-type":"item","numeric-id":5565113,"id":"Q5565113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208736$1A10E7B6-5A84-4191-A298-DDAC27AF126A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208736$7BAB3E13-1294-4985-9723-5964EF018D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208736$F28F9B3C-A313-46B0-AFD2-9AC4553914E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"577c16d7219eebe17d5c59e5734b8d6c26ea7c26","datavalue":{"value":{"entity-type":"item","numeric-id":4038704,"id":"Q4038704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208736$69A56C17-7E1F-4B58-9DF5-EA7147D802C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208736$625FE439-DFDE-41F6-8982-C4174B3334D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f029f25ce66f1e8b3294e6cdf267f00f417ca7c2","datavalue":{"value":{"entity-type":"item","numeric-id":1836978,"id":"Q1836978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208736$614C286E-79F9-4F67-BC50-37E915E269B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224fe5205d72f8b7bf3d1117c14acd86046e588d","datavalue":{"value":{"entity-type":"item","numeric-id":2652528,"id":"Q2652528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208736$6F9AB103-0AA7-4B94-BCEA-2597066FF1E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e72375014650c7cad712b553ec08002913166a29","datavalue":{"value":{"entity-type":"item","numeric-id":1114668,"id":"Q1114668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208736$EE8B0410-7366-4504-810D-480675016B6D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90239b6d38532cfd27d30e3b7b9f1e5072900aa7","datavalue":{"value":{"entity-type":"item","numeric-id":2926452,"id":"Q2926452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf4d3a175f6b8e0a5e63e4cbd93fa7643afc155c","datavalue":{"value":{"amount":"+0.76511145","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1208736$BB56DBAA-E854-4973-BE4D-355A6C36D343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b16d142fd540b989831dc42428352773f88e257c","datavalue":{"value":{"entity-type":"item","numeric-id":5072048,"id":"Q5072048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c17d11bbddfb6ad517decc864dc9c7d0ebd2c10e","datavalue":{"value":{"amount":"+0.75660837","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1208736$8A31CFA5-57CA-423D-945A-3E9509F57336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26b4c079f52d23c5dd2d59f8b941a8c79ea3c0ac","datavalue":{"value":{"entity-type":"item","numeric-id":4644529,"id":"Q4644529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89270078a63fadc6bd9e5abf67ebeeb2803cdbc3","datavalue":{"value":{"amount":"+0.7385737","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1208736$43CF155D-0295-4EAE-A220-16B970BF2614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a962a6343c131687e9274d5d9c06c89ad22988a6","datavalue":{"value":{"entity-type":"item","numeric-id":1885765,"id":"Q1885765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddd062a4f0d7576e4cf84378f7ac65a6d6e01013","datavalue":{"value":{"amount":"+0.70056224","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1208736$CCBB1FBB-6E34-4A4E-9767-EF2A30E63F92","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"How to decide the lark","badges":[]}}}}}