{"entities":{"Q4035227":{"pageid":6064947,"ns":120,"title":"Item:Q4035227","lastrevid":55235590,"modified":"2026-02-05T04:02:48Z","type":"item","id":"Q4035227","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 176126"}},"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":"Q4035227$C32B21C1-A596-4644-A2EB-F4FB9D1522A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d377fa6ebec30a7b6fea0027817fc3057ce35bf0","datavalue":{"value":"0765.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4035227$81EE5B50-FFE5-4A47-8B8F-FBD4F295DC91","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34ec3c43a787f0ce2af2cba920d22bbfe00fbaa4","datavalue":{"value":{"entity-type":"item","numeric-id":673141,"id":"Q673141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4035227$2216D7BB-D94A-4BA6-865F-BA7B84B8B76C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efc9ea3edf0950b7709b905c390f4109373f089e","datavalue":{"value":{"entity-type":"item","numeric-id":235594,"id":"Q235594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4035227$69BA16FF-E137-47ED-956C-424B3DE9FB5C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"abd8d5e490ea4daf6d00f9dd2f897565e059b6cc","datavalue":{"value":{"time":"+1993-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4035227$DC85A622-0A6B-4C79-8E02-0D34111969D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4035227$620A8246-76B6-4C0C-9AFF-3D86DE133237","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"324ab38c40c1b9ad7c6434486c6dc38679c28fc7","datavalue":{"value":"176126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4035227$0C7D4641-DDE4-4053-B34D-B0BC362A817A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80e258e91619f0a3c23db83e1b951ddddba1b07f","datavalue":{"value":"provable realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035227$6AC8710D-1B89-463C-B1AA-1A6AEB811936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d3490a4ac34260a462041f46e10f63ed5d429b5","datavalue":{"value":"strong conjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035227$AF57FA28-95AB-486F-AB41-0B8CA32FAA61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fb4dcada86cfd20789bbf12d59e092511fd75da","datavalue":{"value":"untyped \\(\\lambda\\)-terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035227$2BC37626-838F-4279-9AA7-8CB715A4AB08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cdb29c0033fabb6f1b2b0e7572ea23bfc0f893e","datavalue":{"value":"realizers of formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035227$2558E6CB-82FE-4FCC-B067-3418C6A5BA76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07672cd9efb7a614e96dc9a58bd5b5685cbf3a1d","datavalue":{"value":"type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035227$1F495F5D-C0C1-40BA-A962-6DFDE10C58D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035227$BB8441E3-CD95-4223-8F85-B531DB5DA4FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5263ef9f2085aab5a422247e6ec140dd66cbd7d9","datavalue":{"value":"combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035227$C90736B8-C8B1-4032-A07B-560170B41268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035227$37A080F1-7F52-41CB-A952-3346297B02B9","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":"Q4035227$31A2CC4B-8E44-42E1-8B65-82064433C8E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e81249822ca9f84e1177c7483b73865ca053b66c","datavalue":{"value":{"entity-type":"item","numeric-id":3179292,"id":"Q3179292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddb8ceefc17948e7dea374679b4399015bebaad5","datavalue":{"value":{"amount":"+0.8442357182502747","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":"Q4035227$CB68EC86-D3E5-4784-BA23-FAB9B6B16872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"415e542305bf8cc64714cd14298eb9b0892528ea","datavalue":{"value":{"entity-type":"item","numeric-id":1330311,"id":"Q1330311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec07a5f8cf90cdad9522e28f7aadff0483a04f26","datavalue":{"value":{"amount":"+0.8059681057929993","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":"Q4035227$B42140E6-2B72-4BB2-868E-A0BF72E42DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12b65cd5c5585f465ed8a880fa1acebbb85338c0","datavalue":{"value":{"entity-type":"item","numeric-id":2381503,"id":"Q2381503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48a59a3b7c7103b17f2c909225e064194074e348","datavalue":{"value":{"amount":"+0.804553747177124","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":"Q4035227$DCFF6B5F-E28A-4D5A-BD94-6DBDBB645994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b30c4f93427b71219cc6573041f6bbd7265d3225","datavalue":{"value":{"entity-type":"item","numeric-id":4783322,"id":"Q4783322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7d32d73de198c99df70f298f9411845eb7596c9","datavalue":{"value":{"amount":"+0.801109790802002","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":"Q4035227$06117431-DE75-4536-8B5B-94FD8EC8CAF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88af7f9b1051893633177dd3c414fea534e27a94","datavalue":{"value":{"entity-type":"item","numeric-id":1199823,"id":"Q1199823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8ef01802f00bd12472b02923b94b83b3b18e072","datavalue":{"value":{"amount":"+0.8005893230438232","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":"Q4035227$EB4D6A4B-3D73-4FB7-962E-DC716A006998","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4035227","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4035227"}}}}}