{"entities":{"Q3315509":{"pageid":3326217,"ns":120,"title":"Item:Q3315509","lastrevid":48680098,"modified":"2026-01-05T14:28:52Z","type":"item","id":"Q3315509","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3845578"}},"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":"Q3315509$C8780F52-3CFE-4825-965B-4497B8CEDA28","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"42a432ac578bcaebb74f81ddd490ead0e9053fe0","datavalue":{"value":"0533.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3315509$2287E2B3-7930-4114-A566-EC035E414D26","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b41f9d7f7d5de70cd5eeccd67a5d46d526eaff00","datavalue":{"value":{"entity-type":"item","numeric-id":1896753,"id":"Q1896753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3315509$53C675B4-9D37-4FE5-89B8-6E599E00E2A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3315509$B3731B97-0A82-4C01-AE5D-F500B0538D0A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3315509$7C7127EC-2FEC-46A0-A59A-AE740FA952BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3315509$DAA24C62-902B-4BB6-B738-9DEEBE092C8B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ed4dab5750d57eb140f39ad1049fde06e18c644","datavalue":{"value":"3845578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3315509$F2886BCA-6627-4EFD-BA9D-4CDCB39343EF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dc002bd5671c5ddd804165121c1b20adcdd8311","datavalue":{"value":"intuitionistic simple theory of types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3315509$7A7E7FAA-C591-472F-8707-3F88BB78DF18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4764b353307c7c8e667360c45839316607a7df45","datavalue":{"value":"formal realizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3315509$0C7329AB-2273-45B7-951C-4CA88E0CC28E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3315509$80E017CB-06B7-4014-838D-A925A6E70FC1","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":"Q3315509$C65E8603-0DBC-4C3A-822C-2EAA90373CFF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad2046776814bf1bed67e77bc1a5477dd1a01601","datavalue":{"value":{"entity-type":"item","numeric-id":1274048,"id":"Q1274048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77edc24eb4ba3e333adc87163a8c4b159fa6d456","datavalue":{"value":{"amount":"+0.7713897228240967","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":"Q3315509$3F0860A6-C2E8-40F9-8460-E8AD2796F190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcf1c4d200f7fca39d304ed3bd0b473e6b55dc76","datavalue":{"value":{"entity-type":"item","numeric-id":4428887,"id":"Q4428887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58d03890f96f6d2e57fa6ca631dd8ba54f4c4dcd","datavalue":{"value":{"amount":"+0.77025306224823","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":"Q3315509$598F76E2-8C29-453C-BD63-D3F3B00778BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9192d321194d539e4b0c90c8f4bb37cb56fcb399","datavalue":{"value":{"entity-type":"item","numeric-id":4215635,"id":"Q4215635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae0f6bae282fe9dcf41a0d9abb285208d9c961c4","datavalue":{"value":{"amount":"+0.770219087600708","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":"Q3315509$3FAF7D69-B8FE-45E4-98A0-FA03DF97880D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"044984190ce371fbd49235e618520e2bbc15fdc7","datavalue":{"value":{"entity-type":"item","numeric-id":3216644,"id":"Q3216644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e6f8673c580c92767c4343e5cef41fed20c3edb","datavalue":{"value":{"amount":"+0.7680526375770569","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":"Q3315509$43609BFB-7CE5-45C3-AF3F-6AA6E332622F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73eabf2d7cc31c5ea584b0ffcad2471c34535138","datavalue":{"value":{"entity-type":"item","numeric-id":2320010,"id":"Q2320010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24720722a74cf6455d462cb01169aaa2a8a8b4b5","datavalue":{"value":{"amount":"+0.7673832178115845","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":"Q3315509$AE10B898-71A5-4FD1-89FE-0D6A5D8D84A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3315509","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3315509"}}}}}