{"entities":{"Q2953831":{"pageid":2964551,"ns":120,"title":"Item:Q2953831","lastrevid":85170047,"modified":"2026-06-03T06:08:41Z","type":"item","id":"Q2953831","labels":{"en":{"language":"en","value":"Products of families of types and (Pi,lambda)-structures on C-systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6671044"}},"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":"Q2953831$D8CF0219-A7E1-47EC-9C63-5FBAF200AD90","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"27089d6125b768305834aec0f98e187458ebf686","datavalue":{"value":"1380.03072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2953831$98110D7C-94AB-4750-9A45-983E2029C847","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c8bbac3c2d1ca09e76202553b05458d0e708962","datavalue":{"value":{"entity-type":"item","numeric-id":177922,"id":"Q177922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2953831$C59141AE-D198-4D3D-9BBA-3FCDB26E99BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74cd5210a0216bbf90517d4f735854be8375480a","datavalue":{"value":{"time":"+2017-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2953831$105D0234-849A-4885-AA5A-B3B6858C2FAC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"92051434663a4cdccbe50800a3260f40dd28da63","datavalue":{"value":"https://arxiv.org/abs/1706.03605","type":"string"},"datatype":"url"},"type":"statement","id":"Q2953831$83E9807F-5060-4DB0-A5F8-5AD968CFDB00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e41fb609bbb477a37f54e52a3d973a35483e2a0","datavalue":{"value":"http://www.emis.de/journals/TAC/volumes/31/36/31-36abs.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2953831$2333D82B-CFA7-4998-87A3-EA53C8EF0ABA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2953831$C9D215B3-2D3F-488C-9A68-50CE8A021553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2953831$B4325431-8F52-4155-9EEA-C9C558780CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2953831$3CF3FA06-6382-44D8-A639-C2C113243C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2953831$D9939531-71C3-416D-A6EA-2C1DDA229535","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c8b5d7d483743c98d14c63f6d576fc55fb87948c","datavalue":{"value":"6671044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2953831$434B9E2C-4DA1-4F1B-A99A-9A4D9C201F84","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2953831$E27C1450-292F-4F41-8E2F-D70D061C8569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7776981d917986f5a6f8d0f17443a398dea180d","datavalue":{"value":"contextual category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2953831$121624B2-0B60-4C79-BCBC-C63E794B3534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2239a348cde6f396a22a2926c05d930faf4dbade","datavalue":{"value":"dependent product","type":"string"},"datatype":"string"},"type":"statement","id":"Q2953831$BA916610-68CD-42F2-B4EF-A5E8DB7555B0","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":"Q2953831$DE4005E7-8D3C-411D-9826-FEF4906653AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"767e59bfaaf5a77bdb88c598cce2bc58b7f3325d","datavalue":{"value":{"entity-type":"item","numeric-id":2963471,"id":"Q2963471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"448a1ea81d88107eace88b7eac1665d147dfd6a8","datavalue":{"value":{"amount":"+0.8819505","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2953831$76C03979-836B-45E3-B0D3-5A7B4EAB9E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa4cc4e163d96ec665e22b90913b2f57598d1d5d","datavalue":{"value":{"entity-type":"item","numeric-id":5286647,"id":"Q5286647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6daa8d6a948a8bc17f34c08de06238751baef52c","datavalue":{"value":{"amount":"+0.8287547","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2953831$F889D276-FD7A-4B47-89CA-440E2F000706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0aebf838e3058a83e19757bd49c183a8933d443b","datavalue":{"value":{"entity-type":"item","numeric-id":4733863,"id":"Q4733863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e09e5fbfbe9001c0beef1e5e7364a809e76caebe","datavalue":{"value":{"amount":"+0.7920091","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2953831$D2B22B3F-FB70-4DCD-9571-C53AC280DEA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec66b02377f0dd9033afb0ec7c6132625e511b82","datavalue":{"value":{"entity-type":"item","numeric-id":6139425,"id":"Q6139425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06cbba14789fca2c081fff4431aa8c4a5d01e844","datavalue":{"value":{"amount":"+0.7753696","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2953831$3109521B-0673-4E4B-B659-E6C028934546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42789d71c2db56831a42c3eec26dc94abffe0387","datavalue":{"value":{"entity-type":"item","numeric-id":3201049,"id":"Q3201049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d47f33d1a159ae31e2e9961a99c49ed59c25570","datavalue":{"value":{"amount":"+0.7712051","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2953831$F88F0145-EAF7-4C6A-A9CE-467B7BE7399C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e923df3bf9608d52d0b963a0f393bb430f783da4","datavalue":{"value":{"entity-type":"item","numeric-id":4225149,"id":"Q4225149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df4c540286ab4a5bd4deb73508f014f7eeca87d6","datavalue":{"value":{"amount":"+0.7668887","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2953831$D511FCE3-759F-4B9A-856D-3B9778A667C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a34efaed3e2faf79adc16d01d27c9b1b07f9ea3b","datavalue":{"value":{"entity-type":"item","numeric-id":913792,"id":"Q913792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0dfa267a0d9beddcb3bbbe4d85e678221bf4af2","datavalue":{"value":{"amount":"+0.766043","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2953831$7709F952-A838-472E-939B-418EE78D29E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad8da43c5742c2daae0d692e9a46ab9ddf66ef57","datavalue":{"value":{"entity-type":"item","numeric-id":4474857,"id":"Q4474857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c220dd6c47d107a6cb643d6ee0491dc2c7ac722","datavalue":{"value":{"amount":"+0.76373285","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2953831$1B162A78-A0F9-4483-B40E-A554F3EF0463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54629d5dba12a50c2277804cf7b63efdb2bf98ef","datavalue":{"value":{"entity-type":"item","numeric-id":4959711,"id":"Q4959711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1153fe6fbf6cf666d21c637a438b22cfeb1ddba9","datavalue":{"value":{"amount":"+0.7599964","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2953831$7F469B3A-722E-4300-8565-B46A7DD83834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cb3a08e5fe0b766ee96778a38114b853b786642","datavalue":{"value":{"entity-type":"item","numeric-id":3142163,"id":"Q3142163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c98534b832770ff161f2506d39a9617d6abc505","datavalue":{"value":{"amount":"+0.7586601","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2953831$D138B8C4-44E7-4A2F-BAB5-1E13FA4A97F2","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"9e7a35fcf10f96305e50f009cec5afc4e50dd552","datavalue":{"value":"bafkreicmiasewqlnk2ljegwcbqls32o7hl5yi6be26ir7rknfk4objhsbe","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2953831$4F026BC7-1F5A-4A95-9C1A-012D8D03A91C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Products of families of types and (Pi,lambda)-structures on C-systems","badges":[]}}}}}