{"entities":{"Q4457834":{"pageid":6487433,"ns":120,"title":"Item:Q4457834","lastrevid":48259012,"modified":"2026-01-04T03:46:39Z","type":"item","id":"Q4457834","labels":{"en":{"language":"en","value":"TinkerType: a language for playing with formal systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2059564"}},"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":"Q4457834$AA052DD1-1CF9-4A59-8CCE-E5FD1504FC33","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b83beb791d43f5b5cd6d3e8ffa53b3070c48c641","datavalue":{"value":{"text":"TinkerType: a language for playing with formal systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4457834$CC546FA8-EB0D-46CB-B38E-0B1BEDAF4690","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"821289378cd3095372f3669f996f4958c89a2c9b","datavalue":{"value":"1062.68039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4457834$1402C6EB-EC82-484F-AB7A-08A0CBF58F49","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2a1b92b57b4baaf70743920b084748ee25e08b6","datavalue":{"value":"10.1017/S0956796802004550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4457834$6B836F3A-3B1B-4603-838F-8178D050B4C8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9802f9daf438f51cdad07c195af90035e8d17f47","datavalue":{"value":{"entity-type":"item","numeric-id":2943373,"id":"Q2943373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4457834$68E9789B-E05C-485E-80D8-B927D39147B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99eac199dd442a993b294694241ddae3fe5dfca6","datavalue":{"value":{"entity-type":"item","numeric-id":879362,"id":"Q879362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4457834$16333F3D-4FD7-4F79-907C-98663A01444A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4457834$FFD0657C-2FED-4500-8C99-4EA54925A2C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d75dd69f6961ad93c6a4059106a59e2c8b929b1","datavalue":{"value":{"time":"+2004-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4457834$9BC526D1-DE9D-4C82-9B93-1FBC6DE24627","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4457834$ECC82985-64C9-43E1-9D44-480CC4BD9F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4457834$200465C5-CEE9-466C-A872-2981EC1AFB38","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"95470f73063c73a76378da2607324a235cfe1cf2","datavalue":{"value":"2059564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4457834$50A0DC87-F3C6-429D-9FA7-E9233ECDF520","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"323f6a63a9ff66856279db10fbd8d39f2ccf390c","datavalue":{"value":"typed lambda-calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4457834$AFC8009E-47CF-4EDB-B24C-32F8F57B97C5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4457834$F1DFC6A3-1AD3-4984-912E-14187589AB49","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":"Q4457834$47738252-FCFD-4CE8-B000-288536D976ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"17de39adf9630bd8ea35361db5f1b2b041f2f25f","datavalue":{"value":"https://doi.org/10.1017/s0956796802004550","type":"string"},"datatype":"url"},"type":"statement","id":"Q4457834$C6FEFCE2-C969-4CAF-B550-8C4C205A2FFD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9777e1a2a11b8048fad079ce9361c94f16957f7f","datavalue":{"value":"W2132837945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4457834$11776082-AA8C-4288-B3BC-A1BC00E546ED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69d12c782ec916cc35631e8d760d485dc2dc52e6","datavalue":{"value":{"entity-type":"item","numeric-id":3434622,"id":"Q3434622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e49dd7784276edaecc489a77b5d695f6a4d22cbd","datavalue":{"value":{"amount":"+0.7128050327301025","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":"Q4457834$91E1CC78-5AD5-4A31-8381-F4DD81C8A804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebf2926f9bc9d58b49f7815ebe1c394509529d44","datavalue":{"value":{"entity-type":"item","numeric-id":4617969,"id":"Q4617969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b60ccc86b1dfd09115edaf808c5a0daccc61e893","datavalue":{"value":{"amount":"+0.697849452495575","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":"Q4457834$EFFAC648-6832-4D85-A8B9-49C956FC66B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8d700ddad6d1e7cb86f82803ab615af4c6216d9","datavalue":{"value":{"entity-type":"item","numeric-id":688571,"id":"Q688571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef644db5f8c9ffcd89135f7e457092aab1094b0f","datavalue":{"value":{"amount":"+0.6914399266242981","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":"Q4457834$97189F0C-9A90-4F69-9431-57E1A0AF9AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b215bf34512acd6bcf522fcb8600bc4a72a5aa95","datavalue":{"value":{"entity-type":"item","numeric-id":4289277,"id":"Q4289277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc335c0e0747e9618ba0309465bd735c1e37db88","datavalue":{"value":{"amount":"+0.6835774779319763","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":"Q4457834$B5CB2FD3-077E-4CD5-8E0F-5F572D36B19C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d9d546752157f9e756c98b4a253aee9c63c89ab","datavalue":{"value":{"entity-type":"item","numeric-id":5747747,"id":"Q5747747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e3c9aee5087e8966a2f002a3345872565f908d5","datavalue":{"value":{"amount":"+0.6797406673431396","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":"Q4457834$0143E2DD-8058-448F-95F9-F543EDCBE519","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4457834","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4457834"}}}}}