{"entities":{"Q1289102":{"pageid":1299852,"ns":120,"title":"Item:Q1289102","lastrevid":70593462,"modified":"2026-04-13T15:38:40Z","type":"item","id":"Q1289102","labels":{"en":{"language":"en","value":"Modal pure type systems. Type theory for knowledge representation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1290123"}},"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":"Q1289102$04155392-E3EF-4FFB-9BB6-066A2D161F03","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2a526c75dec9b0cbdf03881bd3a220815b0d218d","datavalue":{"value":{"text":"Modal pure type systems. Type theory for knowledge representation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1289102$5670051B-9BF5-47B8-8904-1B528CDE5CE0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"86689d4f45f79790560e460dc436ed32a66e95a4","datavalue":{"value":"0921.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1289102$1E1FF402-C3B1-43CF-BE3B-D07D3BF05C56","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ea041413f6e2736596f35b52b41156dd61ea24b","datavalue":{"value":"10.1023/A:1008254612284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1289102$B31219B9-F876-4339-8BE4-041F524460D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fed8998192cd7e329be082a4f0b49b6247f2f7df","datavalue":{"value":{"entity-type":"item","numeric-id":1289101,"id":"Q1289101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1289102$3EAD6DEE-FAE8-40A4-AC4A-F90181A09A69","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1289102$07C24E9B-FDBE-4098-968D-C4A5ADB217A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4d9d4e4e75e42fcc60c5af0fd1902bc16c2e6c4e","datavalue":{"value":{"time":"+1999-05-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1289102$7CEE9466-EAD8-4BD6-AE13-9FF70A2E6E16","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1289102$AAC85DD2-D528-4479-9649-0F6126F7CEF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1289102$D34A9FF6-5504-4EBA-8049-F31B2E52BCF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1289102$EB9F9E6E-A1EA-44F3-A5FA-D5F4DACC2410","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"235b25b19194e1fb3fe6c53249c3d98287a3367e","datavalue":{"value":"1290123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1289102$FAE64222-0801-4B03-80DE-A76170D467BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1289102$B7B81EB6-5253-4B8B-B858-FA0D630D1AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58dc948f6f49afcf3624f91501f69a14b1f1aee9","datavalue":{"value":"modal pure type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1289102$21419965-14B0-4E2C-AD41-9D0503A2D967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9aed73f7df6a7049d112ab4d8373a3becbfc5344","datavalue":{"value":"intensional reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1289102$FF184E73-D801-4AF0-A96D-7AE2F61D598D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f182e86329a34e1b4cc75d54bcc34cbb69c421c6","datavalue":{"value":"typed \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1289102$763EB3AA-4342-404B-9B81-C5608CAB41F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbf02195d7c3ea39d1ca241139afc48251cb25cb","datavalue":{"value":"normal modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1289102$37514163-BEC4-4C64-A029-E0678DFC635F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1289102$8E0C8C9F-D9FC-4C11-8475-95427ABECA18","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":"Q1289102$F6C75E88-3208-4517-AADB-80AB62B43F44","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"01e8b2645e52d9619a642b1ae7f2d1ed7a5e87af","datavalue":{"value":"https://doi.org/10.1023/a:1008254612284","type":"string"},"datatype":"url"},"type":"statement","id":"Q1289102$45DF55C8-8BF7-4875-A84C-26ADF1D300A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d847e8b8eb31f91685e7796d90bb0e0059de577a","datavalue":{"value":"W1608370356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1289102$A3AFD934-5158-44CA-ABB6-738D198CBFA9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27755096898289e2f77cd9ac114d6e3a26eeda93","datavalue":{"value":{"entity-type":"item","numeric-id":4315015,"id":"Q4315015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edf294579f5ab9868903d9f3c3bc1e84d0f98ecd","datavalue":{"value":{"amount":"+0.793533980846405","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":"Q1289102$C8B3BB88-7F0F-4346-861F-FA972E925DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f06da4b53186e75586473d6005361473c4e0c552","datavalue":{"value":{"entity-type":"item","numeric-id":4833770,"id":"Q4833770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ac85849527a7f8317ff60a48324de06ce3ea5f2","datavalue":{"value":{"amount":"+0.7795640230178833","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":"Q1289102$B9631E94-D74B-48E7-8CF6-6A1B2D1F0012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd2db47f0d2a26e26e325a5e6b1cb1335505c1ff","datavalue":{"value":{"entity-type":"item","numeric-id":2177591,"id":"Q2177591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2d372c9bc49db41355df401585a87ec8fc1a158","datavalue":{"value":{"amount":"+0.7734664678573608","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":"Q1289102$A259506E-D6DB-495E-ADE9-B7B01CE0618B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modal pure type systems. Type theory for knowledge representation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modal_pure_type_systems._Type_theory_for_knowledge_representation"}}}}}