{"entities":{"Q5902143":{"pageid":8010949,"ns":120,"title":"Item:Q5902143","lastrevid":58612923,"modified":"2026-04-06T00:22:51Z","type":"item","id":"Q5902143","labels":{"en":{"language":"en","value":"A Logical Foundation for Environment Classifiers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5576338"}},"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":"Q5902143$0A9ACD96-E687-49EA-B51B-4F28EB9229CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8897c5cbe18120f70f0696ab89591babe55b8a53","datavalue":{"value":{"text":"A Logical Foundation for Environment Classifiers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5902143$849BFBDB-600F-49D6-BF55-4F600B3595F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cec5327f78b119cf17919e381a7139cdca4b9826","datavalue":{"value":"1211.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902143$29C6ECA1-D892-4627-A003-E16696EC369B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"91097905dddfac0158407e4aa8447246b92905a8","datavalue":{"value":"10.1007/978-3-642-02273-9_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902143$2A6BA2A5-1CF3-44DB-AE00-ADAC05C81662","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0eaf951c75d2d5db5073cd2949ee5f4196ba23e","datavalue":{"value":{"entity-type":"item","numeric-id":2038069,"id":"Q2038069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902143$F3B04F7D-0656-456C-88F4-54391B72FBB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab25b5f4f54e5cdc6aef57ab7fc4ea55d23354ad","datavalue":{"value":{"entity-type":"item","numeric-id":764261,"id":"Q764261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902143$D9939D0A-279E-48F2-AF98-483B2D9CA86A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902143$2A78D820-96D7-4DC3-B319-A199AE56F4A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94035e3f051d88ae4ad052aa0269faba85e94c5a","datavalue":{"value":{"time":"+2009-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5902143$CE649669-7A6C-4CC8-93E8-3EEAB6A214EE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"50056c34c98f53a1dea6d2d82cd8ac541caf6475","datavalue":{"value":"https://arxiv.org/abs/1010.3806","type":"string"},"datatype":"url"},"type":"statement","id":"Q5902143$0AF2D632-D27F-4B1C-8AE9-2AD6602430F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902143$BCE75772-A6BD-4437-A4DE-5A9698F6E952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902143$442ACCE5-6056-4C45-BA68-7F54B16A1CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902143$1370C6ED-C014-489E-972E-94ACEFFB5AA4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2398edc54242a9cb2d8b3b29b9fb05675e0aa398","datavalue":{"value":"5576338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902143$34CFB1BB-C239-4DCE-A1FC-33C4A4953E9F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f89b34d84a29901e6cfe557573b31fa1373d9525","datavalue":{"value":"Curry-Howard correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902143$16D4FFC4-99ED-4837-A23B-0519662F850A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c08a6466266fb11b2dc64470b8b589f7f337748","datavalue":{"value":"environment classifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902143$63E9DADF-3469-49FD-9A4E-D07A6231D751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902143$8595B7A5-3D87-42C6-8F61-12485077E052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"122533cff38bf08972e051814b0837383f89395e","datavalue":{"value":"multi-stage calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902143$1624C022-08DC-49FC-9209-D330BB84F81B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6111489034643139b6436054b44d6250e7c1756c","datavalue":{"value":{"entity-type":"item","numeric-id":41339,"id":"Q41339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902143$5223FC69-3DF2-46B9-9DA1-374F84AF1C15","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":"Q5902143$734E9262-C7C8-4464-A56F-B5B84C5D38EE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a6a9018b9a271ac079d617a4581f99a7e1c79704","datavalue":{"value":"W1960887414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902143$F1A9E6FD-D82E-4C3C-A9B2-D3A7A502C36D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab124a7373ba82029ffdcc597bda7b4f27aee620","datavalue":{"value":{"entity-type":"item","numeric-id":5287559,"id":"Q5287559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902143$1CAE41D7-93B6-4454-AAA8-A7D78AF5D1F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0952a1e2449f489e1238975a904349dad3499b56","datavalue":{"value":{"entity-type":"item","numeric-id":1887681,"id":"Q1887681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902143$64FF733E-B2B3-4EED-9453-312D29454499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cecd4cf00bc8e024448b12f96273285315a1e3f","datavalue":{"value":{"entity-type":"item","numeric-id":1583363,"id":"Q1583363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902143$8573A1CF-0F20-4AF1-9501-19F370166B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05618bc94dd537d3034b233a45ab1cb0906c9164","datavalue":{"value":{"entity-type":"item","numeric-id":3196622,"id":"Q3196622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902143$7B42A81A-BD48-4A17-888C-E12A2659196F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a185365ea304676a668d997c851ad5b7001286f","datavalue":{"value":{"entity-type":"item","numeric-id":2942909,"id":"Q2942909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902143$E964DB39-41B4-410F-A6E7-C27E33E09D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6d41812deaf69456c0e5da9ef36ff2973a5950b","datavalue":{"value":{"entity-type":"item","numeric-id":5348928,"id":"Q5348928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902143$5ECBD91B-8E29-4FE0-B0D4-3916C988F5FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dd5b5aad3a3bdf462e11b6fb63fcfba394bc27c","datavalue":{"value":{"entity-type":"item","numeric-id":5308690,"id":"Q5308690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902143$127ADF72-F776-43CE-B40F-A2F9F7155CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1e9c02e77f53b3bb7afe18a682426208a807600","datavalue":{"value":{"entity-type":"item","numeric-id":764262,"id":"Q764262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902143$2CAB82D4-7925-47E1-8D2B-206A3F133CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c6100d8dc18ac3a6066df8e7761c27fb4ab6d21","datavalue":{"value":{"entity-type":"item","numeric-id":5708289,"id":"Q5708289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902143$094BBAED-6BBA-47D3-B33C-F22CE8BC1333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"515d9a8864a8f363315db77692c1a93e18361c7c","datavalue":{"value":{"entity-type":"item","numeric-id":4408681,"id":"Q4408681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902143$9DE1935C-2425-41A9-B484-12E6A2B6EDCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e035d2f035d61108393284e8fc728a1501b1a845","datavalue":{"value":{"entity-type":"item","numeric-id":4413069,"id":"Q4413069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902143$32F166A7-69A2-4913-8905-2629C5C440DA","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":"Q5902143$F09362CD-0115-46E3-8ABC-45EB6C51935D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaf66c6b46b567a5cdc53e98afdb0efcafa5e37d","datavalue":{"value":{"entity-type":"item","numeric-id":4789445,"id":"Q4789445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902143$5745FA8D-74BF-473E-91D6-255F22134CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ebbed520d5ea9ce606c1cc196c84e7e85c650d1","datavalue":{"value":{"entity-type":"item","numeric-id":4982116,"id":"Q4982116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902143$4E0C7A2D-FCEC-4AF2-9938-46903A066971","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10207399869ffb57e33164f9cc128f627c587e4d","datavalue":{"value":{"entity-type":"item","numeric-id":5894005,"id":"Q5894005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"011e27c9caf829c88c7050bea5b4a3f5da716297","datavalue":{"value":{"amount":"+0.9842909574508668","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":"Q5902143$775078E9-45D2-47A0-B1CE-A7B6F22C5C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3001b83dbde1946f025de60c171640bfad53ca9","datavalue":{"value":{"entity-type":"item","numeric-id":2942909,"id":"Q2942909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7df2ed145f033625af8e2fe09e764776c57caedc","datavalue":{"value":{"amount":"+0.8197631239891052","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":"Q5902143$950B2BD8-753B-4FB6-A806-E13F8A241405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b631aa0493ee2143095199001e9f80b6fd5af4e","datavalue":{"value":{"entity-type":"item","numeric-id":5308690,"id":"Q5308690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce92d0e0bebba18fb3d315ef6f8fc6df479eacba","datavalue":{"value":{"amount":"+0.7438408136367798","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":"Q5902143$6AF2EA07-BE6B-46B6-8FD5-7106E26985C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f0ab1edf7612c42a1357b64dd03cd97b5cca22e","datavalue":{"value":{"entity-type":"item","numeric-id":4236202,"id":"Q4236202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74d80a8421289c9f66968d8e686d97e20bc32220","datavalue":{"value":{"amount":"+0.7369909286499023","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":"Q5902143$14E9C5B0-25BD-4BC8-81AC-4700CA1F20AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16065c99a83b7b42e5f684b04ae73fe468572965","datavalue":{"value":{"entity-type":"item","numeric-id":804281,"id":"Q804281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74d80a8421289c9f66968d8e686d97e20bc32220","datavalue":{"value":{"amount":"+0.7369909286499023","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":"Q5902143$3ABF220C-B735-4AA8-8B78-580FA0B5B2F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5902143","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5902143"}}}}}