{"entities":{"Q4362916":{"pageid":6392515,"ns":120,"title":"Item:Q4362916","lastrevid":46489350,"modified":"2025-12-24T21:52:39Z","type":"item","id":"Q4362916","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1086666"}},"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":"Q4362916$F6E060C8-EB70-4D4A-9A9C-10DF772E687E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5019ba0b22654ebea187ea3a32436cd0448af83b","datavalue":{"value":"0881.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4362916$24458E87-AB18-4BF0-A490-AD9487E48EDC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d617c217f8f04ef480d650a973c1ec01fe67123b","datavalue":{"value":{"entity-type":"item","numeric-id":235622,"id":"Q235622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4362916$B75C6241-190B-49FB-B5C1-1B8DEA346E8A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a25635c340656bd7c7bb911f1494199e5379f0c","datavalue":{"value":{"time":"+1997-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4362916$50285434-884D-49EB-B61E-BA2DB7D65F6C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4362916$78597B9A-8C47-4CE5-A3CB-ABE2BFBF3B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd1ebd9dd665e7350d17a40eafa30f7b99b8c1e0","datavalue":{"value":"03C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4362916$1FC47FDC-7BB5-4C81-A9F0-5BE646DCBC1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4362916$11BEFED2-BE94-424F-AB1C-777792BFE90C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8440bca7a82e88881f95113c9581fa14a2bbf3bb","datavalue":{"value":"1086666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4362916$A046F06F-DA09-43ED-95D9-F8C714CF7211","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2db4c527a3c22315a20014a3d566d18b5d0a7daf","datavalue":{"value":"second order dependent type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4362916$21A6440D-C5D7-4184-963D-BE3C84A900D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e8d32134b683280e9aba483fceb7c71570c4fc1","datavalue":{"value":"completeness of the formulas-as-types embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q4362916$C75BE4A4-A77B-4A2E-B064-C196731B5BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a70683ef19c96c5ce786aec3fc61103989670e1","datavalue":{"value":"second order predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4362916$361E076C-B325-4A8A-976D-7C08E27EE40F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12355c9b78ede2442581ca549fff86d783aecc48","datavalue":{"value":"inhabitation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4362916$E1DDEBD6-94F1-41B4-8954-0D65479084A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a33bfb266517f37c2893982b2b0f9fde5f7330a","datavalue":{"value":"models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4362916$F41E827E-F0A5-4627-B674-86B937E57A40","rank":"normal"}],"P1463":[{"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":"Q4362916$7E227FE0-86D9-419F-AF6F-101BEB385DDE","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":"Q4362916$1C77ED58-CBCB-4D92-850F-B1CE82A982EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df284813d85477ea847b837d5831ef7f5ee82ab4","datavalue":{"value":{"entity-type":"item","numeric-id":3637199,"id":"Q3637199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c8c074298912f85c0ed804b21d608485b4a7356","datavalue":{"value":{"amount":"+0.7576126456260681","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":"Q4362916$A581CE94-6962-4A64-8C52-C2B9DAFB366C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eb868d9d7af9c9dfb8f64f6ce5cb5b4615b0d57","datavalue":{"value":{"entity-type":"item","numeric-id":3224684,"id":"Q3224684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d87e4dee4a5c27e40bdb5e217917dfbeb82089d9","datavalue":{"value":{"amount":"+0.7549070715904236","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":"Q4362916$AB08C002-1F59-4490-BA0B-F74E297F700B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c75b51ad31cb3f5fe182d000a2d776e7449c100","datavalue":{"value":{"entity-type":"item","numeric-id":3786612,"id":"Q3786612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d703709aa47828a2a4d31c7d84d146bb3ac03428","datavalue":{"value":{"amount":"+0.7219136357307434","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":"Q4362916$C7142E98-874F-40DA-8DB2-A2A97F123B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1c8d33a70cc87972a5377e21500222acf205d13","datavalue":{"value":{"entity-type":"item","numeric-id":1073008,"id":"Q1073008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dcf4051a06ac2f76ebc3848d7262748ae94ad0c","datavalue":{"value":{"amount":"+0.718346357345581","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":"Q4362916$780376E3-2382-4496-A321-86DF358453A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d0e5de0a08aa75185556627d4a6f5a65aa341af","datavalue":{"value":{"entity-type":"item","numeric-id":4513576,"id":"Q4513576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65070e0fdf25eda21b3abbb9aec1e3949c235128","datavalue":{"value":{"amount":"+0.7112264037132263","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":"Q4362916$09D3713D-2F2B-4BEA-9864-EFFAB4F9A6FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4362916","badges":[]}}}}}