{"entities":{"Q4946220":{"pageid":6975802,"ns":120,"title":"Item:Q4946220","lastrevid":40904470,"modified":"2025-04-13T23:37:29Z","type":"item","id":"Q4946220","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1421191"}},"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":"Q4946220$060975A5-F2ED-4897-A687-C455E94ED4C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"72ce2e43f40d7c7a34393a6ccef29a8cb8e37261","datavalue":{"value":"0960.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4946220$79D1589F-1367-4385-B8EA-24DA3EBB15DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ecffbcc861d67047b31e273d774ed7bc043622f","datavalue":{"value":{"time":"+2000-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4946220$995E3321-0BF5-4EDD-94F9-F28BBC67B8ED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4946220$98D73F93-B231-4A79-8EC9-0B6499D7AB54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4946220$7EA8F90F-10CE-48C7-90A3-2985653C7105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4946220$7EB8BFBF-50E1-4363-97DC-86EE72A00873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4946220$61FC19B8-41A9-4B65-AC74-CA573B3D8512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4946220$176C22D4-A66B-4EC8-9084-AD578A2CD8F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"48fea70909336bc50892e48d9f198394cbe0e316","datavalue":{"value":"1421191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4946220$93BE4159-B481-49C0-A04E-715E26F20A28","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4946220$09A483A1-F49C-429A-A34F-3B9361A66BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6a93fa971f0e92b184796b5dcb9db717eee211f","datavalue":{"value":"categorial calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4946220$7D35C18E-D1E3-471A-B34E-B73F840F47C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4946220$68DE24E8-1340-49F4-B146-95E7D074B74F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"580520fce237640a876b8d180acd2f68d76de1b5","datavalue":{"value":"labelled deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4946220$16DEEC6E-9B32-42D3-8069-A1E50E8EAF0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4946220$1294100A-F007-412A-B33B-304FC5F7D9DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a16bed3fcf9befde6b615ead23f4b855455a9900","datavalue":{"value":{"entity-type":"item","numeric-id":1246519,"id":"Q1246519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4946220$122D69FD-BDD8-4FDB-886E-0A4D124AFE9E","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":"Q4946220$62B0B339-C8A6-462A-82F8-48D1E40D18F4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b9c492b91765b0b488a47968dd11907d6049d54","datavalue":{"value":{"entity-type":"item","numeric-id":4934058,"id":"Q4934058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5db1c1cb18b2f83718756514e1dbc71d5a94b076","datavalue":{"value":{"amount":"+0.9191539","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4946220$7483E408-ACDD-4DC9-995C-1ED2F8A72441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdaa9ffffb05aebd4060ab1df95877050d007278","datavalue":{"value":{"entity-type":"item","numeric-id":2963996,"id":"Q2963996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abbad867a8bf76f1fcf17dd4f4140001d2b00086","datavalue":{"value":{"amount":"+0.89762163","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4946220$FEB3EEA8-480D-4EE8-AC46-976F977051C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abfd9f57788e09e28624459d7d113b2e87fa5cc4","datavalue":{"value":{"entity-type":"item","numeric-id":3584997,"id":"Q3584997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ede65f03f18d0b03d5f72652b06f077d7df425a","datavalue":{"value":{"amount":"+0.8900107","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4946220$FAC0FC22-40AB-4A9A-B1F5-BC940CF5D7C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a969c626358ad987cb9d211a22c3d02b5913519","datavalue":{"value":{"entity-type":"item","numeric-id":1923843,"id":"Q1923843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"792b3bbdd6c0f84f41c62e62b30c4383d0d414de","datavalue":{"value":{"amount":"+0.88892144","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4946220$4D1DC24F-B0D7-43EB-A497-5247014892A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e74be111e7310838d3555ac536d1cf46c6084ed","datavalue":{"value":{"entity-type":"item","numeric-id":4370238,"id":"Q4370238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e728193f7dc0d49327146a52a44b4a551bef739","datavalue":{"value":{"amount":"+0.8774925","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4946220$6449A430-DE9A-45D3-8865-88E7BF42288B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38c61e900dbcf377f761c0a5cd6c560441023b29","datavalue":{"value":{"entity-type":"item","numeric-id":2763023,"id":"Q2763023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4abd4ea1283b67bb0b332e5aa7614bc67d38b4a","datavalue":{"value":{"amount":"+0.8761284","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4946220$5F406937-5227-486A-8F22-FC52B4328388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e252e736e97aa667b8680b2da4032f7dd9a2be3b","datavalue":{"value":{"entity-type":"item","numeric-id":1923834,"id":"Q1923834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0764d0d21471b05705eb96b5c28565769fed22d0","datavalue":{"value":{"amount":"+0.87517947","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4946220$A918D96B-7E63-4141-8593-C60F95C932A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a8c717754c90949a29975f2bea7d45e592c61f5","datavalue":{"value":{"entity-type":"item","numeric-id":5202638,"id":"Q5202638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b3b1cfe7b3f1606aa0d9491ec526a3988dcc28d","datavalue":{"value":{"amount":"+0.8733165","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4946220$DFACF538-9C52-45CF-98B1-7DDCA238A119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d346b98ad75ab002d5bd08a23a9cf7fcb2f8e6f","datavalue":{"value":{"entity-type":"item","numeric-id":3805957,"id":"Q3805957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b89aa8250fb8dc2bddac71b374e0716e02caf1a7","datavalue":{"value":{"amount":"+0.8652427","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4946220$DEE98777-1EFB-4B61-859D-FA1410964D0D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4946220","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4946220"}}}}}