{"entities":{"Q5111317":{"pageid":7140891,"ns":120,"title":"Item:Q5111317","lastrevid":46185337,"modified":"2025-12-24T00:10:43Z","type":"item","id":"Q5111317","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204440"}},"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":"Q5111317$A7E155FC-4084-492F-BF20-2BB5F9417071","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"19a9318dd5878b11305bcf3d43fba793b0f65838","datavalue":{"value":"1434.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111317$1BE921A9-2AF4-41ED-BE77-7A8FCB52551A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8825a5f48e59e5b1e1510e59d52fce48da47c37b","datavalue":{"value":{"entity-type":"item","numeric-id":229739,"id":"Q229739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111317$69A69A3F-648B-40AB-989E-74422474422C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"225109b4f8ba0800ada6d56599a0747e315014b7","datavalue":{"value":{"entity-type":"item","numeric-id":287374,"id":"Q287374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111317$9939CA5A-EB58-4FE0-9B92-7DED17212AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"189f1c2eba3ec450ca65a66aacb4ea7d069f52f1","datavalue":{"value":{"entity-type":"item","numeric-id":1712129,"id":"Q1712129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111317$01B2AEC8-ED5A-448C-8CD6-CDCEAB4F2FE9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"600d3a19753cf6cba81b7e42b63413a76fa78ab3","datavalue":{"value":{"time":"+2020-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111317$539815DB-69E7-4491-9107-98631E81B684","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111317$6A214D63-F1FF-4B9B-A65A-84DFBBB469A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111317$D4C6748A-81BB-4EA4-834E-D46A552336B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111317$47BC1A9F-C634-462A-99D9-469D534D92C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9311b47c9967e7dbe1c5578b4236c937a620b337","datavalue":{"value":"7204440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111317$F1380581-310D-4D99-B002-2E001108858E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"803071656ef49caf5ffffeffb35be0afbcb7ae7c","datavalue":{"value":"pure type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111317$589E30B5-0C38-4EC8-BBF7-3C1D862B0096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33fd81627acd56a240fde0d4d7060d89e19d0782","datavalue":{"value":"System F","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111317$E58ED0F2-D655-4482-88CC-FB3CDB25FA8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a811c1120978504cd1fe9e7007a4a8eda5a1eb","datavalue":{"value":"de Bruijn syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111317$3B910895-3E5F-4C3C-927C-B572FDF33BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8026960d6f36428821b4502bc1641829b1806e7e","datavalue":{"value":"higher-order abstract syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111317$FC08F604-671B-485D-87DB-F2FC91E16121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba9b405efa2570e07c9a3f8683f5a0a594823058","datavalue":{"value":"contextual reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111317$3FC854F7-8E61-41D7-AB76-38865C67444F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0ca68d9e60f39b64375620b23802b5755dae3004","datavalue":{"value":{"entity-type":"item","numeric-id":13181,"id":"Q13181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111317$8E054F37-43D8-4708-AC6E-F8BD9B5AD147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8e56b54ce67b3f3451fae93e0a157bd7197fba1","datavalue":{"value":{"entity-type":"item","numeric-id":21444,"id":"Q21444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111317$F4DC79F3-C1FF-4D87-AE0B-31C5FC0707EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8be5ee5254d2a781e0ec7bc0b35265c3f1813a9a","datavalue":{"value":{"entity-type":"item","numeric-id":22078,"id":"Q22078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111317$284B43AD-4F58-4A55-9B62-8BC8BFFD944E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111317$5EFD8328-F941-4726-A212-B365349BC01B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111317$2143A987-4C6E-4AC1-8EE1-8598C9618A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"be9a1fdbfd35f7a816de32e6d9d9a2a21796c942","datavalue":{"value":{"entity-type":"item","numeric-id":14061,"id":"Q14061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111317$A28CEFCF-BDBA-4909-8311-2BD1F3EAF9EE","rank":"normal"},{"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":"Q5111317$A506D296-226F-466A-AF01-11D8074A2F32","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":"Q5111317$48C9BE95-201B-46F8-AFCF-02CFC2E17D6F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5249c80fcd11fa0612fb7dd29644b8dc29907a14","datavalue":{"value":{"entity-type":"item","numeric-id":4939690,"id":"Q4939690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111317$8339DF58-70E6-4315-9E20-C587A1E90D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79ce8544fc5a0489695eae9a558cb4d34b573281","datavalue":{"value":{"entity-type":"item","numeric-id":5477646,"id":"Q5477646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111317$5AC29F3D-5A9F-4802-B24B-153FEF184F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c50237c8bde09d6668086722c62e1080ba158cf","datavalue":{"value":{"entity-type":"item","numeric-id":3189820,"id":"Q3189820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111317$E186F75A-6481-4003-9428-8B0DFD82D540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68ef8bd5491561954e053fb17a1031115fe3ad2f","datavalue":{"value":{"entity-type":"item","numeric-id":5195258,"id":"Q5195258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111317$7AC55675-226B-4A6D-99C2-7CAC0390F67D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d63e1d2c1097bf56f38b3464089e43c611b33ec4","datavalue":{"value":{"entity-type":"item","numeric-id":4939697,"id":"Q4939697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111317$12B8C196-8DA0-4440-AF85-72F08B70C697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b06809062082b8f9f5dbc080e3987837376fa3d","datavalue":{"value":{"entity-type":"item","numeric-id":3499750,"id":"Q3499750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111317$E1E8CCC4-C068-4096-BDFF-316C4E5E2878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111317$45119A2D-A875-43CA-B3FB-8D78681AC584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ea3d89d9caeecb4ce96d5251e582d3bc04e60e3","datavalue":{"value":{"entity-type":"item","numeric-id":438569,"id":"Q438569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111317$A8A2E0F7-3A08-4B04-AA5B-8165F56858DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf284620825356e4026f7163726a6eaa28789317","datavalue":{"value":{"entity-type":"item","numeric-id":287277,"id":"Q287277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111317$B05FA893-AA71-424D-B190-AA3A3B1CFFCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dd90ba3b3c5e17240dddef25d5b236eea01d9de","datavalue":{"value":{"entity-type":"item","numeric-id":5747652,"id":"Q5747652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111317$0524A92F-5C6D-423A-A464-83C4AE9DB70A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec7bdcd14d65b5cd3ec901aa441c6b2c1bcfe6ea","datavalue":{"value":{"entity-type":"item","numeric-id":2392484,"id":"Q2392484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111317$A51E06D4-ED29-4AD0-9899-1DCDF4020D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111317$F177E2AC-76AF-429D-806C-84E73D85C673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eb2d6548fcfb1d287a3dddab7844907119f1fd1","datavalue":{"value":{"entity-type":"item","numeric-id":2805272,"id":"Q2805272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111317$3457C80B-EFCA-4D3A-95DB-6DEEED8C46D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111317$4D7E8B80-9795-45CC-856B-07B519C34B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d621c08d6b6b648b2f02de3b6f7c65499ed1c5","datavalue":{"value":{"entity-type":"item","numeric-id":5277812,"id":"Q5277812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111317$270769CC-9E77-45AC-8FF6-CCD5D8D1D8A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88dd97334618a8abcb30d6b953aa7791488fcf62","datavalue":{"value":{"entity-type":"item","numeric-id":3189856,"id":"Q3189856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111317$89B57FDF-47FA-412C-ABB3-BC4C63E6A9F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbe767ed9aa281af8dcc558b60fda726c37153cf","datavalue":{"value":{"entity-type":"item","numeric-id":3058448,"id":"Q3058448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111317$226358CC-138F-4901-A1F0-F8EC3A2A4117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c251862798025af0ed73cb57538684bb7c1e6c74","datavalue":{"value":{"entity-type":"item","numeric-id":3454100,"id":"Q3454100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111317$F9051020-64F9-48AB-A379-C145D6ED830F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a707f7565046237d79754215ce6024facdf2b7","datavalue":{"value":{"entity-type":"item","numeric-id":4068054,"id":"Q4068054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111317$37734A20-FC8C-4E3B-9255-4681B2F37E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccdfc6c2a229e09846d7ccb887c26192d20ce0f8","datavalue":{"value":{"entity-type":"item","numeric-id":2945649,"id":"Q2945649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111317$DF9835EE-80B2-49C2-A8CA-6F609DB1EA83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7398de33fda2ed35894b4e4ebf2755fec5a6447","datavalue":{"value":{"entity-type":"item","numeric-id":5055856,"id":"Q5055856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111317$329BE9C3-1A12-48CF-8642-1DA7B89DDEFD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"88b4562f7689b7cc1e98b3320331a08a81f823c4","datavalue":{"value":"10.4230/LIPICS.FSCD.2017.21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111317$A03E3F41-9017-43E1-A023-8E7B4E8B035F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c485adaf5c9d59dfd696e67e8bfc3675d896cd0a","datavalue":{"value":{"entity-type":"item","numeric-id":4992397,"id":"Q4992397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f2c7a6d48b96f18673c7b3a3d3046024727b627","datavalue":{"value":{"amount":"+0.7532197833061218","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":"Q5111317$015542A7-70F1-4D3E-ADAC-97CC3376B775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51b15cbe5ea309bdc48ff40b9c5acde598f0666f","datavalue":{"value":{"entity-type":"item","numeric-id":5477646,"id":"Q5477646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42bb6983a111b994bca864376a75042f266165b3","datavalue":{"value":{"amount":"+0.7489975690841675","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":"Q5111317$4783AFA1-50A8-438C-9977-33C83D1721E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6a73d709232c759ceb44a34d554217041ef9d76","datavalue":{"value":{"entity-type":"item","numeric-id":1945915,"id":"Q1945915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fca8705c0c8d38c1a7419def6db9fc29e39fa39","datavalue":{"value":{"amount":"+0.7468231916427612","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":"Q5111317$D098C34F-981D-4A63-ADED-A11F7FBF3031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66668ed7158b07726d83fc60cbfbe89a17acc37b","datavalue":{"value":{"entity-type":"item","numeric-id":5747652,"id":"Q5747652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48eb7db148fe2bd0a2b3ee9be50e242530f58912","datavalue":{"value":{"amount":"+0.7360495924949646","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":"Q5111317$9FBA2AAE-F064-4718-8ECB-B7D42161501B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"058758f3ede8cf6908f9bf9e85cb8f830d733728","datavalue":{"value":{"entity-type":"item","numeric-id":4691187,"id":"Q4691187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bd1c40772e2906aa6762417e636a15494065aaa","datavalue":{"value":{"amount":"+0.7344509363174438","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":"Q5111317$89681FEB-8BD2-4CDC-A99D-605067590E58","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111317","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111317"}}}}}