{"entities":{"Q4704760":{"pageid":6734337,"ns":120,"title":"Item:Q4704760","lastrevid":41745916,"modified":"2025-05-07T20:57:21Z","type":"item","id":"Q4704760","labels":{"en":{"language":"en","value":"Some logical and syntactical observations concerning  the first-order dependent type system \u03bbP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1369689"}},"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":"Q4704760$11A2C3EE-A440-44C2-9ED9-F11A8A541AF9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5dd5caf38fe53fb47388b7a42de8ff4b6091e4de","datavalue":{"value":{"text":"Some logical and syntactical observations concerning  the first-order dependent type system \u03bbP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4704760$B173337D-519F-40BB-B739-BDC3E83827FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d769c18a68cd454d6c46aa0e264725fd0b4adaae","datavalue":{"value":"0939.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4704760$8B0EF32F-B97C-44BB-9A81-722F030FE7FA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e16030078158f8fe7260d9d928e30d9e336074e7","datavalue":{"value":"10.1017/S0960129599002856","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4704760$BC33BE70-E020-4E24-83FE-4D047FFFC0A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d617c217f8f04ef480d650a973c1ec01fe67123b","datavalue":{"value":{"entity-type":"item","numeric-id":235622,"id":"Q235622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4704760$336D80A5-A341-444E-9FA5-A1045D82CA76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"626fc55e710b7079d0cd0545acf65cdbf74a9cf2","datavalue":{"value":{"entity-type":"item","numeric-id":1610673,"id":"Q1610673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4704760$BC3522F0-C816-4DDA-9BC5-AD70901F7793","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4704760$2DE22A96-7785-41F3-9AF6-A414F8502B7B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a607f304712b79d2eec9848961c4d4b0d86f1fee","datavalue":{"value":{"time":"+2000-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4704760$76F84C06-3A14-4BEC-8416-70C48820DD2B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4704760$4C9BE5D7-9975-4B50-90D6-678C8985027F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4704760$B1C64854-E5D9-4445-B013-872E0BB63B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4704760$C0FB5E93-8CFA-4FB5-BD85-60A27EE983C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24b1ee598001b1202823dbaa7aeeadbdc5371d1c","datavalue":{"value":"1369689","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4704760$36688B14-15CD-4738-85C5-F4BC94FF0C41","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4704760$31D89C13-82DD-4243-BFD4-E3EBEDE44203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b59bd60875c2d3376797fe62955c5ac41b3a5d6","datavalue":{"value":"formulas as types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4704760$1EDB04CE-95A7-4FA4-94CA-835309FA8EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59d4237da38cb08233512b7e99a6dc5dce54775c","datavalue":{"value":"minimal predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4704760$4A7D73A9-FD03-47A8-9445-005C4AC74AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f1ffc4062e6de6380cfa055c2abc504261afe22","datavalue":{"value":"generalized type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4704760$EC8C6A3B-1368-4144-A605-5189CE1A6119","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4704760$B2FDF45C-E5CE-4595-9F00-BA115AD77105","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":"Q4704760$9B8C02EF-834F-46F0-BDC6-1FC4DAFC4BA9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dae860becd9de9724616bcd11df5c39516101a5","datavalue":{"value":{"entity-type":"item","numeric-id":5316622,"id":"Q5316622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77972e626f22b232406af6c31efd975341bfeca2","datavalue":{"value":{"amount":"+0.8947233","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":"Q4704760$844D4EB9-E8B6-4027-A244-8AD272D8AC2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"380fe67206fa9f7f0a415ba641a43eb156d4dc86","datavalue":{"value":{"entity-type":"item","numeric-id":5390279,"id":"Q5390279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c27fdaad52fd2c7f029a04f978f6c05206a48a8","datavalue":{"value":{"amount":"+0.8795635","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":"Q4704760$21DE007A-A180-4E91-9207-47666E292339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20ff5f2edc9ade7132d6238ab7f33af28beb9b27","datavalue":{"value":{"entity-type":"item","numeric-id":3613421,"id":"Q3613421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c29930633b486a782e2ed3036ac425eda860024","datavalue":{"value":{"amount":"+0.87886655","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":"Q4704760$0AC131CA-B719-46A2-B449-0DA8E51E712C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6ed608e116e5e817ab326745539b87b08cf8a7d","datavalue":{"value":{"entity-type":"item","numeric-id":3724297,"id":"Q3724297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fe9071ec563d2cee4b90789286496b0e99b7fac","datavalue":{"value":{"amount":"+0.87469685","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":"Q4704760$F4D6B629-79EB-431C-95B5-A623D700598B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e3bdcc336d3cbaf72159e278f1acc8157aa3b24","datavalue":{"value":{"entity-type":"item","numeric-id":2883111,"id":"Q2883111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63ee4e4d11df8545540c5867aa5e8dcf17548dd4","datavalue":{"value":{"amount":"+0.8746902","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":"Q4704760$CC9421BC-26D5-4B71-BB47-FC2C617FAD47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8293d39b4e139795d4cbfc0c1170fc2b9210bed3","datavalue":{"value":{"entity-type":"item","numeric-id":6488534,"id":"Q6488534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0ca8fcd2f580007e5fbd7262d955dd803110254","datavalue":{"value":{"amount":"+0.872962","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":"Q4704760$00A526FE-9C80-43DD-B035-3F4BE440440D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c7b498a457dc44835c6c5fbd2b3953bcc6d4da9","datavalue":{"value":{"entity-type":"item","numeric-id":3984424,"id":"Q3984424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d4aecd9a071a41fdf7fc04f66d51f7a0816bfce","datavalue":{"value":{"amount":"+0.8700975","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":"Q4704760$E6DFCEB6-5918-40B2-BD17-D106F11FE428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cda627c174b035e96189bcd0ebdaf55688434ec","datavalue":{"value":{"entity-type":"item","numeric-id":3778017,"id":"Q3778017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46aa5c414a42d054fcd4f46cb78b08e6b922b966","datavalue":{"value":{"amount":"+0.86924165","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":"Q4704760$6FF8EA1E-6D52-402A-95C9-B99B5E7EDA5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0d1b6f921e95adcdedd9be89783b475ccca3315","datavalue":{"value":{"entity-type":"item","numeric-id":2761749,"id":"Q2761749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98d57c9976c20afb6f991d6aa25663d9cd6c7d83","datavalue":{"value":{"amount":"+0.86878264","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":"Q4704760$E364AA0E-9652-408B-982F-6A09B5B1E8B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a79efe2c6dbd42e36766761e062876f07ca1c2de","datavalue":{"value":{"entity-type":"item","numeric-id":4281475,"id":"Q4281475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33e7fc3573c31e991972fdf1ac008518e60fdd75","datavalue":{"value":{"amount":"+0.86584496","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":"Q4704760$6F03F079-8E25-4CC2-A7E8-DF5F3DD14B3B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4704760","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4704760"}}}}}