{"entities":{"Q3582734":{"pageid":5612638,"ns":120,"title":"Item:Q3582734","lastrevid":88644443,"modified":"2026-06-04T15:04:19Z","type":"item","id":"Q3582734","labels":{"en":{"language":"en","value":"Combining logics in simple type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5774535"}},"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":"Q3582734$D9497352-E42D-4F53-A0F3-7D1BE920A89C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cb60279a9ed379345e570f63dbd6f4962b192314","datavalue":{"value":{"text":"Combining Logics in Simple Type Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3582734$18751E3E-7411-4035-AAA8-E63FF9376570","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b2cd33a7999cf65eac75518414c4396b507cf96","datavalue":{"value":"1286.03111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582734$19881F81-92C1-4CE8-A43A-35C9C77AF31C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"506dd1ad01428d5edfa0b07302efa7cf9145965b","datavalue":{"value":"10.1007/978-3-642-14977-1_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582734$3A0D2C55-2EAA-4922-84AD-76D4AC651370","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a525f7cd8b191ac2b9090383b0dabde3689f4ff2","datavalue":{"value":{"entity-type":"item","numeric-id":287280,"id":"Q287280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582734$84C4CD6D-9508-4DE5-A070-F64DA97B20AC","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":"Q3582734$4BA2AB24-76DD-4954-AEFE-E6A563DB0705","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d01ea8a4f82b63cae0dd5c2ac5f8977df7e5fa52","datavalue":{"value":{"time":"+2010-08-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":"Q3582734$26F2469E-F199-4485-A23F-8D4AAC56FC3C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1281dd6b9c4f62144bc68cb09edbb6fe30760a8f","datavalue":{"value":"03B62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582734$5AC43F1D-5B97-45BF-9E19-98E07A10FDCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582734$225642B0-F991-43A0-8187-7816FC04ABD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582734$BEDF90A4-9AB7-40CA-B4F1-FD1D05ECC274","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"25741c26bc243735a0216f96907bc262ec824ad5","datavalue":{"value":"5774535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582734$DB1B1CF1-E389-4B31-800F-E3318B46BC25","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"58035a6d5b9e51c740620804674c88b1baad9226","datavalue":{"value":{"entity-type":"item","numeric-id":15842,"id":"Q15842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582734$4B35F268-EBB8-4A96-8508-46514DA74CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8617a61c90a632f23d3851deb94e1069d2479a78","datavalue":{"value":{"entity-type":"item","numeric-id":13268,"id":"Q13268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582734$25540AB8-DA4F-456C-9C1A-D383E1C6EED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c40cf9a35904f638a7cabef2bc178bad46391f7","datavalue":{"value":{"entity-type":"item","numeric-id":13717,"id":"Q13717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582734$A1324A0B-A80B-4667-862D-B65F2377A26B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582734$3219B2F0-1E95-441B-8FCB-1874769DCE5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582734$C2F09A84-1049-4AA2-8A1C-C0E7830B2CED","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":"Q3582734$0F099C79-D2BF-4233-8285-3A3CFCBCC1DD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ca313beaa0ade4ace1546fad17c26076eda2dc4","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14977-1_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3582734$6FECC378-F0ED-4335-A1D0-8E1FA33F8E63","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cae3ae2d682bb9f38c59b26e1c1ca076d5e07e09","datavalue":{"value":"W1549564252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582734$062371D9-2906-4E24-BF5E-06BBC0DAE3B7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fa1adbc37c67dd1551363312d677d731d8ed5ab","datavalue":{"value":{"entity-type":"item","numeric-id":656826,"id":"Q656826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2426ddeee4bb70edec8413bd978f87c68254045","datavalue":{"value":{"amount":"+0.8425987362861633","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":"Q3582734$4847E28A-53CA-46AE-9103-2DE3AF995DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e25a58fe340270143dde7b6e2af57fa691dcb8d","datavalue":{"value":{"entity-type":"item","numeric-id":3061280,"id":"Q3061280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bd2ec6baa170b313df2e266c1672d07d88f406a","datavalue":{"value":{"amount":"+0.8017050623893738","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":"Q3582734$95954F7E-463C-453C-A80E-62A99470B95D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf735ed0349b7b682c8162ad5039bf70eddcf98c","datavalue":{"value":{"entity-type":"item","numeric-id":1945702,"id":"Q1945702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f736928931c2d1ae9b9151efd321c9fee25b5a6","datavalue":{"value":{"amount":"+0.7896669507026672","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":"Q3582734$75DD2A8B-678E-4951-BBA7-D17232B34D1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c14a30b91634bb54d047e7fccbb8bee462919cde","datavalue":{"value":{"entity-type":"item","numeric-id":946569,"id":"Q946569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39eebfa99535d9373dbb270e5306dd8c4b6c6447","datavalue":{"value":{"amount":"+0.762574315071106","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":"Q3582734$C8164EE8-EAC3-4A6D-92FD-2BB4B01C6E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bf2312a039ccc6673779f11dd114fee45c73172","datavalue":{"value":{"entity-type":"item","numeric-id":1604670,"id":"Q1604670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"341eaad399d0515aa9210904349efb3847512afb","datavalue":{"value":{"amount":"+0.760026752948761","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":"Q3582734$FA30E444-0D22-4337-B02A-D55241E13474","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Combining logics in simple type theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Combining_logics_in_simple_type_theory"}}}}}