{"entities":{"Q4463930":{"pageid":6493529,"ns":120,"title":"Item:Q4463930","lastrevid":48280042,"modified":"2026-01-04T05:24:49Z","type":"item","id":"Q4463930","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2070194"}},"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":"Q4463930$63D223CE-C0C6-45D8-84B7-7C1149F3A69A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"61a32ed60f4ed6bfae294b1ef64f80f493006166","datavalue":{"value":"1048.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4463930$2C8E42BC-ECEB-49B2-A649-059FC68D5051","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc95965cf49dfa3d07b440b1790cabedc2634253","datavalue":{"value":{"entity-type":"item","numeric-id":229752,"id":"Q229752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4463930$150873B9-F26C-438A-A8B3-EC956C3E0744","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f1561a8a1c31995ad4e0498f417e8efaeae365f6","datavalue":{"value":{"time":"+2004-06-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4463930$E0889E50-CA9F-47D0-BA88-274C26EF5B1A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4463930$4C9F40A6-94D9-4E6B-ABA0-4D040E108853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4463930$10DF8366-82ED-44E1-97C9-AFFB5DFFFA4F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dbae9ad890c0b6e75b32e161cd808905988655bc","datavalue":{"value":"2070194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4463930$16EF153E-7A9A-40B6-B356-02F50A18340B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e6d307399d40747a7ccf9eafea50adb4f4e5846","datavalue":{"value":"intensional type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4463930$264FC26E-D4F1-4D03-ABCD-7E22F5F8D2D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8d095768f689dafb5467f7f143fbf8cf8abd892","datavalue":{"value":"intensional set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4463930$2CF4FCD9-CFA1-4963-8DA9-647A5C710BDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4463930$BB0D8F97-47C1-4E2D-A329-5F7E62349C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4463930$9BDE7237-4552-43C3-AC16-ADAD8C1B5AB1","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":"Q4463930$D15B6E2C-A4BF-436F-9E4C-9727C2CBD826","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96cafac9ae1e05d141a3096c624f5ee14075b19f","datavalue":{"value":{"entity-type":"item","numeric-id":3426565,"id":"Q3426565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa70f97c19f929a2c6b5f01b1c71bafecd147c17","datavalue":{"value":{"amount":"+0.8325848579406738","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":"Q4463930$CEE4877E-67F8-40D4-B93D-2FD53D7B9906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0528b1a95ac25e7672938cf2137e84e9856dfdb3","datavalue":{"value":{"entity-type":"item","numeric-id":598308,"id":"Q598308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ba0a4b762b59e15b467ad791484b1194b56d891","datavalue":{"value":{"amount":"+0.7988749146461487","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":"Q4463930$3F6DF652-228C-4CCC-ACA8-C1F1A281CE10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24fc3780500b6af5f82bd1ab567ceff826d1f561","datavalue":{"value":{"entity-type":"item","numeric-id":5184886,"id":"Q5184886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60b574fe99264089e58a66a76aeabdac4fa8b7b6","datavalue":{"value":{"amount":"+0.7700492739677429","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":"Q4463930$5B78BC59-9F1C-4C4B-8E33-79E6769367D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b1d4d8947e2f23b38ba039dbde1702255a6017c","datavalue":{"value":{"entity-type":"item","numeric-id":3377760,"id":"Q3377760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bbb408a307fcf928bdcb37c8ad7fd51eaf86807","datavalue":{"value":{"amount":"+0.7653590440750122","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":"Q4463930$211CE645-75B2-4C2D-80CD-F4E1CB1A7767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a199d82bee17b804719ff1aa459a886eb87289ef","datavalue":{"value":{"entity-type":"item","numeric-id":3984426,"id":"Q3984426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a540e9b3491094424ae5f63c363ce3ddc8ed67fe","datavalue":{"value":{"amount":"+0.7627702951431274","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":"Q4463930$2F35D987-1725-43E8-98F3-E08D56893E5F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4463930","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4463930"}}}}}