{"entities":{"Q5111322":{"pageid":7140896,"ns":120,"title":"Item:Q5111322","lastrevid":46185349,"modified":"2025-12-24T00:10:44Z","type":"item","id":"Q5111322","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204444"}},"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":"Q5111322$B89CAB63-DEEA-418C-BB80-A87BFB3CCDD7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a6a50feb42cdf5803257141c1d354c863768605d","datavalue":{"value":"1434.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111322$70325334-454C-456D-A78E-91C9BF1C25BC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca9b760f000d29c53be76803a4c9934e343535f2","datavalue":{"value":{"entity-type":"item","numeric-id":2819683,"id":"Q2819683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111322$D3802208-E1C9-496E-A4D7-0B9E01472DD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0aec988e4b31ab0b3fd008867fb1fbedfd6f4bff","datavalue":{"value":{"entity-type":"item","numeric-id":246332,"id":"Q246332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111322$5E35585C-0CE9-458E-B666-2974DB406123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f81a0139859067c77d952c70a6de061684d2e714","datavalue":{"value":{"entity-type":"item","numeric-id":5111321,"id":"Q5111321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111322$0297D310-2F3D-42AA-92A3-694574A6FE16","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":"Q5111322$1D0D0B72-99CB-4F2B-AB4A-78AA77FBC237","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111322$5D137910-A484-468B-BDC8-7BD12A1E8DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111322$33BB26CC-9810-4FAF-91E2-A9129AF69697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111322$6636FF46-8864-434F-A789-AE704D368F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111322$45E68195-730E-4677-8A0E-D38CAF34E862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111322$632793E5-0425-4A24-8D74-64246A09D604","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81189a6573d4a69cb9d7c7fe47bcaf5af64a0396","datavalue":{"value":"7204444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111322$C19498BF-1528-4AA0-897C-13E4AF6DEC2B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111322$73A70D55-C534-4EA1-8186-72414CFDB9BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111322$8B26201F-B36E-46E2-B774-A8E0517C675F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111322$C380C0D4-A70C-4EBE-B86E-5E976215B11D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111322$BA3934D4-78AE-4F46-863B-0EA4CEB24A7E","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":"Q5111322$4229DC32-B9BB-4E5A-BC82-5980A6D54B3F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"34a544eff9bd65de4592fa7b247517554bcdddd5","datavalue":{"value":{"entity-type":"item","numeric-id":2828239,"id":"Q2828239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111322$4F73D32C-E509-4F3D-8613-2E1DB906AB67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4db49fdc68bea2dbe2ab1754612b6253b7f1757b","datavalue":{"value":{"entity-type":"item","numeric-id":5466458,"id":"Q5466458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111322$C766FDA0-A472-43FE-AA81-2A7923B1F100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b70c7b3f003527069c2310fc828f8afaad5df5d6","datavalue":{"value":{"entity-type":"item","numeric-id":1838471,"id":"Q1838471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111322$491B0FB4-598C-4230-BA1D-857B89636906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4984b480ff603fe16bf0e07551fea0c30c709de6","datavalue":{"value":{"entity-type":"item","numeric-id":4474834,"id":"Q4474834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111322$F08BE033-D4E7-4EDA-8959-62AF6D5F07F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f321a0fc908382b7af5ccbc5e8641c69656fbac1","datavalue":{"value":{"entity-type":"item","numeric-id":1591340,"id":"Q1591340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111322$59A7CA35-E9FF-405D-9A55-7FCD0BD6E06D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"354da199dbe1f7391127c09e8d66b9bd98941d08","datavalue":{"value":{"entity-type":"item","numeric-id":1400718,"id":"Q1400718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111322$69F3BB60-B766-476D-AF79-B94E0972FA6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b9835d3742e6514d6acbf128940396b72a52b47","datavalue":{"value":{"entity-type":"item","numeric-id":5176934,"id":"Q5176934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111322$103BB7EF-EE6E-46B4-BDC7-4BAAD5B75017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b118fc85ee391a10c7ec87ba8e392cc631a1eaa0","datavalue":{"value":{"entity-type":"item","numeric-id":4282602,"id":"Q4282602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111322$A2258B2B-877A-4D41-9FD8-6139B0EB6C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20e6a3870b48c8fa71237a8cc606910110bde983","datavalue":{"value":{"entity-type":"item","numeric-id":4663634,"id":"Q4663634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111322$18E52254-F476-424C-882A-186ABA630552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be1fd75218050edeb3a34b273d70994a16480c64","datavalue":{"value":{"entity-type":"item","numeric-id":5364142,"id":"Q5364142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111322$FFECCA29-6EB9-4EAA-8CAD-0D85BEB30536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540b5f1c92a5505017beef915955147cee1506a9","datavalue":{"value":{"entity-type":"item","numeric-id":3247120,"id":"Q3247120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111322$84DAA94F-B8BB-44CB-87F3-876CF685BFAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58790780d02d9446e28acffb260ca2bbf0c400c3","datavalue":{"value":{"entity-type":"item","numeric-id":5283430,"id":"Q5283430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111322$CB93F1D0-74EA-4291-BBEC-AD0B3A9973C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba7acd0e33cf62ff42c5d3d2963429fca167fec9","datavalue":{"value":{"entity-type":"item","numeric-id":5111322,"id":"Q5111322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111322$23CED259-56ED-440D-9272-069BDEF7AD1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db8fc169fa8502374ec38a912feacc8828421ebe","datavalue":{"value":{"entity-type":"item","numeric-id":3188289,"id":"Q3188289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111322$6BC22E0F-2CC7-4797-8EBD-7493657705D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67d34a9c4e2d8231512ffc28ee4d474595b3025d","datavalue":{"value":{"entity-type":"item","numeric-id":2819783,"id":"Q2819783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111322$86BB9B08-7D57-41EE-9007-9C1CE5354F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba783bfd6a483fec8728401dd350b558e9821911","datavalue":{"value":{"entity-type":"item","numeric-id":4635915,"id":"Q4635915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111322$128C8C2E-196A-46BE-9EDA-19E0039E1080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"162bdd4df93f8ffd3483f8a1810ab35d50492908","datavalue":{"value":{"entity-type":"item","numeric-id":4262604,"id":"Q4262604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111322$BC4A6BF3-3C81-4B0D-BA6E-B1BF34179FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604686a5863b0bbdb6c64aa93b923e5212a9cf8f","datavalue":{"value":{"entity-type":"item","numeric-id":2746757,"id":"Q2746757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111322$98878ACF-DF00-4955-B313-077CC4DE5C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5ae9447148eae7803b5d85085ff097343eef963","datavalue":{"value":{"entity-type":"item","numeric-id":2867954,"id":"Q2867954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111322$672A3049-B34B-433D-889B-8D10D99FD0B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"566b0c163a36b7b7dabcdd14884ed1324b40841d","datavalue":{"value":{"entity-type":"item","numeric-id":4805593,"id":"Q4805593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111322$27DE4D7F-27FA-4D2C-89E3-C7D0D4AC16C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64c346c260873520831ebfefd15c31c6ca8971d3","datavalue":{"value":{"entity-type":"item","numeric-id":4995149,"id":"Q4995149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111322$0DEE346B-349F-42FC-B0CA-E97D555B7600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d65f0b9793d4d69696724fba6626456d2e0d7a8a","datavalue":{"value":{"entity-type":"item","numeric-id":4640312,"id":"Q4640312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111322$A8215601-34BC-4F89-8AF3-2636219792F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890522dc4e3ecb3007fccfde8c53acf4163b6c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111322$07B6F9B0-93DC-40D6-92B5-5EB83C6E7EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa19d45127427927ec930c6ce8f8170b9db93184","datavalue":{"value":{"entity-type":"item","numeric-id":5712317,"id":"Q5712317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111322$B8DAFBE3-CE56-4B96-A240-B6E6C92D3140","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dfc0ddf9994bbb13e641009dbe00f7026eecb349","datavalue":{"value":"10.4230/LIPICS.FSCD.2017.25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111322$CE87BAE0-13CF-4527-80D6-9FBCC88534AB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"919c24905d81e74975b9207a30ec7d795cdc2b56","datavalue":{"value":{"entity-type":"item","numeric-id":4645752,"id":"Q4645752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36b7a8e794bcd4f3433099ed0e0fd2789ce3ba27","datavalue":{"value":{"amount":"+0.7833662033081055","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":"Q5111322$CF2D04D1-2359-4CE5-A81B-2C3F55497F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eecb468e7208f25013a7b9025313310e990a4802","datavalue":{"value":{"entity-type":"item","numeric-id":2842824,"id":"Q2842824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fd5b54d77ca6c253d040726cc48d39830cd836e","datavalue":{"value":{"amount":"+0.7493659853935242","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":"Q5111322$089FD4B8-B43F-46F3-A78F-A2B9BC06EB48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"831a3fb0fa0656fc8cfc2ee914d1fa622eb33da1","datavalue":{"value":{"entity-type":"item","numeric-id":5176934,"id":"Q5176934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78849e0ba4f0e550fb1c70bf0d731f8124ff404a","datavalue":{"value":{"amount":"+0.7468454837799072","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":"Q5111322$9CABFCBD-F3DD-44AF-92D3-C10D403B0107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed3aac096f5523c7b293d2e5dece543fa5681165","datavalue":{"value":{"entity-type":"item","numeric-id":4242584,"id":"Q4242584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2590ecfddf1434a4ca03f2a396867e087555f5a4","datavalue":{"value":{"amount":"+0.7308182716369629","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":"Q5111322$71CD61EE-0005-4DD6-9F0A-638B87568D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a04a292f79b7a5f2a1ec2a18b87a0f16d93f019","datavalue":{"value":{"entity-type":"item","numeric-id":2948554,"id":"Q2948554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2b28ea2b3972883c8e4c0d54680a2e74026c4b2","datavalue":{"value":{"amount":"+0.7305890321731567","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":"Q5111322$DE11C471-76C1-4B78-A561-2246CF73CAFD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111322","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111322"}}}}}