{"entities":{"Q4218924":{"pageid":6248525,"ns":120,"title":"Item:Q4218924","lastrevid":46693716,"modified":"2025-12-25T10:12:23Z","type":"item","id":"Q4218924","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1223613"}},"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":"Q4218924$47AE2706-530E-495C-88B2-EF02AC0AAE51","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"099ffefef1f918c9e45617c1e0b202c4729b4f3c","datavalue":{"value":"0908.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218924$F3715C99-BE76-4E28-9812-D888852127EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7deddbe33e9380a86a121b13ee5fc0015230041d","datavalue":{"value":{"entity-type":"item","numeric-id":4218923,"id":"Q4218923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4218924$3B4C82DC-156A-42EB-9E22-B6700F913761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a0eb51f415e5d6830c006f29bf0f051478fa880","datavalue":{"value":{"entity-type":"item","numeric-id":283752,"id":"Q283752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4218924$3567A5E0-ABED-4967-8B37-CF4628366BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8053a0e50a8d9785c9cd466338bb7b75651c1407","datavalue":{"value":{"entity-type":"item","numeric-id":1769598,"id":"Q1769598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4218924$357B55DC-EB74-4B8B-891A-D8F80FC97B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"387a3219b709013614b6a72c3083dc1a75c5189c","datavalue":{"value":{"entity-type":"item","numeric-id":371257,"id":"Q371257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4218924$3E5DEBB4-9F39-45B5-8C4F-C83CA3BE8932","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f3874e79ee38a0977d37b90aebc56f50f1835ed","datavalue":{"value":{"time":"+1999-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4218924$FF9864E1-E1E4-42D1-906A-E2AC1DB375E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218924$D1574132-BE1E-4AF6-BB26-325E5DEB6A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218924$634CBDA1-E13E-4BEF-BDFD-4B85C57DC4AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4cd4317aac0120d72c275ee809b5bd15a94898d6","datavalue":{"value":"1223613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218924$08F8A0D5-3DE2-4F69-8C34-5E425AB56DF2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f408c59c51e8b610efb8005f83522c5673ae840e","datavalue":{"value":"action calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218924$72A58816-F52B-407B-9C32-A53C10AB20C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f8715b749e92073cdb1d36ba749c80f339f8019","datavalue":{"value":"propositions-as-types paradigm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218924$3B40419E-DE66-42F9-B809-606F30C53AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218924$805DDCD3-C868-4F76-9DD3-C195A1F34296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c3936cdbac164fbbfb2425f5619cea5cb0b9367","datavalue":{"value":"Power's categorical models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218924$AC2B072B-1223-4203-8267-2955B32A9A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc379d4a5dc59b94051dc9693c948e5879618dfa","datavalue":{"value":"intuitionistic linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218924$80536D1E-E185-45F4-B0BF-06DD54376523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"601adbc2574799c70988dad9a9b0e777a36eaecb","datavalue":{"value":"model-embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218924$38391B88-7538-4221-AF3D-E61BB9C953C5","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":"Q4218924$ED987EC5-DFC1-409A-9A05-51E855B267ED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23f93a85046b56a6923c511021c29b8c7159a56e","datavalue":{"value":{"entity-type":"item","numeric-id":4222930,"id":"Q4222930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8bf84c7e9cd7f410c5e25bd2c9380149fff16ff","datavalue":{"value":{"amount":"+0.8580336570739746","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":"Q4218924$D7258F8E-C3B6-4CC5-A7A5-4737110141B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50ab3f4a5b25ba8f06845111bd4bcd606ff2df92","datavalue":{"value":{"entity-type":"item","numeric-id":4364401,"id":"Q4364401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc0b97575361e36f3d00d1a7d8ba4badfb8a7210","datavalue":{"value":{"amount":"+0.8570694327354431","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":"Q4218924$F9D7A0CC-82B0-4E4E-B3B6-E55D3B98B281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4d683a913c71d21210db3c21085a8f247d99e58","datavalue":{"value":{"entity-type":"item","numeric-id":1901716,"id":"Q1901716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9a2297f59922f319e254ae88aa99c7fd0306945","datavalue":{"value":{"amount":"+0.8017479777336121","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":"Q4218924$BDC659F3-6BE1-4057-8673-5A11667CE494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d8e691198e24242b5309c7e6a7afb2b53aec453","datavalue":{"value":{"entity-type":"item","numeric-id":1342247,"id":"Q1342247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3abda482f89c013bbf00484b10777c34e1be64dd","datavalue":{"value":{"amount":"+0.7974027395248413","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":"Q4218924$C5A50FC8-E195-4BE3-B502-D571F8D9EDF7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4218924","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4218924"}}}}}