{"entities":{"Q4945241":{"pageid":6974823,"ns":120,"title":"Item:Q4945241","lastrevid":47471446,"modified":"2026-01-01T20:18:20Z","type":"item","id":"Q4945241","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1424050"}},"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":"Q4945241$6B0090C6-3220-4356-B8A0-C2C4ECEEB701","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e4f523a333c0d25bdeee7251e5aa2f468ac7b51","datavalue":{"value":"0944.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945241$B55C9D1D-7830-444C-9766-6F37911CBED5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"308e1d8d0fba5044c0bf913db9b570195d8f4e11","datavalue":{"value":{"entity-type":"item","numeric-id":235617,"id":"Q235617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4945241$FE7E47AF-9940-4EBD-8C55-D4848F2102B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba3116b9f09c03ce30dbe95b0f9a531d4246c65f","datavalue":{"value":{"entity-type":"item","numeric-id":235618,"id":"Q235618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4945241$5308CDCD-1FF1-4974-9C9D-78F799481CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6988238897a438428a159d7a6c339f36328a43ee","datavalue":{"value":{"entity-type":"item","numeric-id":235619,"id":"Q235619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4945241$533BE88E-8A6A-4359-8726-8F62B4FCEF7C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"35fafbbe8209085733f3754bac7d6ba0f1c137cb","datavalue":{"value":{"time":"+2000-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4945241$71CBFD49-582B-4301-A4EF-D197E0F4D0CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945241$9C0917B2-93CD-4A4C-A1F9-807FD6EF4E5C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d510ce4bf970c7a6865d4ec6a5314371108b43a","datavalue":{"value":"1424050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945241$BA922775-AA6F-48F1-9DCA-DF6D95C2E614","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb106643e0b5b8a9cc1d6f10c2961101e6f96435","datavalue":{"value":"game model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945241$7D6272D8-CB09-428E-AF27-C13E92240D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f14e2f3db707b6a727613ed85f9a51af4c8df69b","datavalue":{"value":"untyped \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945241$AA8F683E-66DE-423F-A9DA-F51C12C9451B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945241$7F11394F-15C8-4065-AAFD-5FE73B6D67EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"401891f2ba848092fcebcf151acd275e930f24e9","datavalue":{"value":"B\u00f6hm tree \\(\\lambda\\)-theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945241$98C460C7-646A-41DC-BCA6-C9778D992CA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f023dba3fbe5b7c5c85f3f07f19e9699f7c3a2f1","datavalue":{"value":"innocent game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945241$E45EFCC7-2292-493E-9F1E-D6AEB06AD2A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c00d6dcb60c088c02c55d288e2e5cc8a31774b1","datavalue":{"value":"universal model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945241$CD6AE53F-254A-4303-814F-12D28611AA0E","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":"Q4945241$DD705143-D9F8-4DD5-AB86-385CB4B7557B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e3171ee36630d518d8f6810876da628d0673ca9","datavalue":{"value":{"entity-type":"item","numeric-id":1884886,"id":"Q1884886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f73e72e9f4b8b6c52b919475252256fc6c302780","datavalue":{"value":{"amount":"+0.9818929433822632","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":"Q4945241$331E241C-951C-4FFD-8D5D-E4B77B969A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79349e54fbdb4db2bd214f5faaa4e0fb1e4e988e","datavalue":{"value":{"entity-type":"item","numeric-id":5958298,"id":"Q5958298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a456f069411680aa556ae0faceaa1f4668efc999","datavalue":{"value":{"amount":"+0.8868227005004883","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":"Q4945241$F825068C-EA1B-4AE3-98CF-16E2820787F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eaed0248b48e96a7568a92b16305333806719d7","datavalue":{"value":{"entity-type":"item","numeric-id":3535680,"id":"Q3535680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a456f069411680aa556ae0faceaa1f4668efc999","datavalue":{"value":{"amount":"+0.8868227005004883","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":"Q4945241$EDECE026-9125-4EC0-AEB6-4B3E4A028C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40d0f2ccb74387ed1bcdf6f8a002b316aad8cadb","datavalue":{"value":{"entity-type":"item","numeric-id":4472465,"id":"Q4472465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ded753d040606216976232f4e8ed4035f70c8157","datavalue":{"value":{"amount":"+0.8550474643707275","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":"Q4945241$ECF966F0-3584-4A78-AE88-7BCD1268E30B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c770a9e212cf0d6a6a0d84f6bb07cd9b3868904","datavalue":{"value":{"entity-type":"item","numeric-id":4263866,"id":"Q4263866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"292cbf9b0f931fe19442fd49478920f171d57ab5","datavalue":{"value":{"amount":"+0.8277531266212463","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":"Q4945241$FB61EA47-8EC9-4F88-B605-35670E575CA8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4945241","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4945241"}}}}}