{"entities":{"Q4263874":{"pageid":6293475,"ns":120,"title":"Item:Q4263874","lastrevid":46670421,"modified":"2025-12-25T09:12:45Z","type":"item","id":"Q4263874","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1342283"}},"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":"Q4263874$96FFE0E2-EB7D-428B-B5F0-B114751F6E58","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a9416d7ac2c03bae674d7b589b3d6996afac7ed","datavalue":{"value":"0931.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263874$8EB9B583-A77B-4ABA-A9B3-68DD3195184B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"792c1784309ceabd561af963b97d1cf328b9fe4e","datavalue":{"value":{"entity-type":"item","numeric-id":4263873,"id":"Q4263873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4263874$A2EFFFCF-88B1-48C7-BC3E-6743CDED1801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1506537751785c6f23582af1fbf27e0dc9120c48","datavalue":{"value":{"entity-type":"item","numeric-id":603851,"id":"Q603851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4263874$1427381D-AE96-4333-A592-E6E86199C7C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9064e7c5b1833d7d4b89f5a4c09b74bb0655a242","datavalue":{"value":{"time":"+2000-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4263874$33DC3530-8638-44F3-A7AA-77C6D584F851","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263874$5FE48364-5AE3-47EF-A239-EC759518818B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263874$BFB044FA-FD81-4CBE-B710-FD0607AD4475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263874$E8CC2CEB-CD5B-46B0-86CB-5A5D3EE564FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"45cd3a887c856a43cbd1df4bc99bbc79154b972a","datavalue":{"value":"1342283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263874$660E9294-3F9F-4287-9084-6FF85AD8BA3E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d35115ac000a7c9cf1b25776c9eff33dd333558","datavalue":{"value":"linear chemical abstract machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263874$52E0A021-E2D1-4931-B966-489B11C9BF0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4bb3961096c91924c4ec721db8ad1a366987068","datavalue":{"value":"linear \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263874$12EB8983-8395-40D7-A98C-BB3DF6043D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e67df9da48e56dd81bfe4093f272d716e89bfa7","datavalue":{"value":"term calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263874$18C9D4C9-E1D5-417B-9DC8-608E71CB712E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d23b37e55f3e90005934c74c1be117613f6da482","datavalue":{"value":"principal typing theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263874$88FE5D2B-A0EC-4157-80E6-169913B00A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b8433a218e01727fd9d9f1b4bafa92b7f3206e4","datavalue":{"value":"decidability of type checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263874$AD65037F-571F-4D4E-B920-7222756B726D","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":"Q4263874$6BC68583-15D3-440D-B41A-DB41BF8F25E6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e10d1fd72bf71357e0127d0e05974cc5e25764b","datavalue":{"value":{"entity-type":"item","numeric-id":4817287,"id":"Q4817287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33ab8441075fcbde8e5995ef603be0de24e37416","datavalue":{"value":{"amount":"+0.8727871179580688","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":"Q4263874$176F5D74-FAF9-4521-AA93-6165828DEDA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b30e4f3842d948c7dd52ec1d3eb7631905e9db5","datavalue":{"value":{"entity-type":"item","numeric-id":2841304,"id":"Q2841304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a615f330fb3e2699b0d2fdfd90ed91890b638005","datavalue":{"value":{"amount":"+0.8692037463188171","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":"Q4263874$F355F075-181D-48EC-8D5D-838CA757D168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53d09ebb37f9666a3f2a92e59eb2ac49144b1635","datavalue":{"value":{"entity-type":"item","numeric-id":1190491,"id":"Q1190491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f10e7b94dd8008aa427217cfb4cac7dcb9918ef","datavalue":{"value":{"amount":"+0.7947802543640137","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":"Q4263874$42202C2F-9A69-42C3-880A-527347B977E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4981a177a29fc6110398898cf9dff6e97a001c35","datavalue":{"value":{"entity-type":"item","numeric-id":2851319,"id":"Q2851319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eed2dd4fc9982ab82f6f2ab0369f14ce9a47d9e7","datavalue":{"value":{"amount":"+0.787772536277771","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":"Q4263874$20F239EE-01EB-477D-840A-785A510CA48D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4263874","badges":[]}}}}}