{"entities":{"Q5425354":{"pageid":7454928,"ns":120,"title":"Item:Q5425354","lastrevid":41867674,"modified":"2025-05-09T05:41:46Z","type":"item","id":"Q5425354","labels":{"en":{"language":"en","value":"Quotients over Minimal Type Theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5211282"}},"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":"Q5425354$45482277-547D-42E0-AFE0-E04A19FDF284","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"027a4209989eb4afbb1de2efc71aa154a321dbc9","datavalue":{"value":{"text":"Quotients over Minimal Type Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5425354$B473B897-40B6-4011-9C67-92AD2890B295","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bddd6bd5a94b9516b6c678e594911009f2b0615e","datavalue":{"value":"1151.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425354$0C652718-2950-4761-BCDD-83F5B7677E44","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"066231a6776448d6be80c9c878de72f2095f59b2","datavalue":{"value":"10.1007/978-3-540-73001-9_54","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425354$D0F4D46E-7C2F-45D7-AAE2-A87D87C22258","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1fa6a2864e6107a0c5fd4cc024d37e026a73f0e","datavalue":{"value":{"entity-type":"item","numeric-id":382420,"id":"Q382420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5425354$40DB069B-97BF-480E-94A1-5C2842046EC3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5425354$81351462-BB56-417D-9601-C01B68F4D281","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ec78afc52e00fe3d8975920d3a43c9431ac1875","datavalue":{"value":{"time":"+2007-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5425354$CF343B50-1B66-45CC-BB1F-EF4933F075DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425354$2E79F113-8164-4087-8047-C54365BF774F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425354$90A22399-F2BB-4FF5-8EEE-0DEA3B7D8309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425354$FA735EB1-8444-4550-8075-97AA953BDD88","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"314eff1b9acb4ba6bf7bf8527af17dd8dc15bcb1","datavalue":{"value":"5211282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425354$323575B5-3104-4749-8A18-1448131BF597","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13fd823fa813aa32375d6c4605d9195c2318674c","datavalue":{"value":"dependent type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5425354$7A168274-1573-46FA-B7B3-8F64B4CA41C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5425354$68CE4D89-72B6-4E29-94C1-A0105F250557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c86afc15a40e63df5b40a21e8dc8c5318089462e","datavalue":{"value":"quotient completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5425354$FB47FD54-70C3-4CD4-A187-059B8AFA70C1","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":"Q5425354$FB9B060B-831D-4B3F-BDEE-DDE29EDFEB5D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bb822d7dabb261f9e1369caa93b0bd067046db6f","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73001-9_54","type":"string"},"datatype":"url"},"type":"statement","id":"Q5425354$920F7235-400D-4607-8A7B-8BE1A075D0DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"466e642986a4b349449da3315e061498e736d60b","datavalue":{"value":"W1507057533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425354$2A6A100A-CCDC-4FE6-8C73-754F4F02893F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44919b9ea1c80e18b2da1df4672be86708cca431","datavalue":{"value":{"entity-type":"item","numeric-id":2498911,"id":"Q2498911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41abf02483db49b42f788c384f4ae6c692d928fc","datavalue":{"value":{"amount":"+0.91598207","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":"Q5425354$52FEE603-DB02-4DB0-AAEE-04B7F6246728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7e4383c2ecd4e64a678e674cd670b84f21f373f","datavalue":{"value":{"entity-type":"item","numeric-id":4484345,"id":"Q4484345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df0defb273a3e5551e6fc61c80e6145f3678b4c0","datavalue":{"value":{"amount":"+0.9123416","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":"Q5425354$A64D56AE-BA40-4486-BA0D-2935F1636276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aac67a273a6ae0afefb612f1d3784f5bcff8aa55","datavalue":{"value":{"entity-type":"item","numeric-id":1652995,"id":"Q1652995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09c34800557a9916cf39f4e62bcf906842656735","datavalue":{"value":{"amount":"+0.9093645","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":"Q5425354$54FD72EA-E6B5-4D45-B124-89D9307CC121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80eee57571fdbb56a12fbb8fc8ab44a57cfd5c63","datavalue":{"value":{"entity-type":"item","numeric-id":5094144,"id":"Q5094144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec8b79ac58992b0380c321b0236b19eb1a6e7363","datavalue":{"value":{"amount":"+0.90520924","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":"Q5425354$58870986-0A03-4526-AA7C-31C84B4BA3BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46d5eb500b91b900b7e0ec167e7c875fd9ecd2d8","datavalue":{"value":{"entity-type":"item","numeric-id":2828239,"id":"Q2828239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35fb4a7b8cf4e528178d05e00778eb5aa1f4da33","datavalue":{"value":{"amount":"+0.90402627","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":"Q5425354$1A682B63-8A09-4CC7-85CE-98A508166D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fcd6a31033790feb804853ef802917b2dd1efe5","datavalue":{"value":{"entity-type":"item","numeric-id":4944857,"id":"Q4944857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b70f71ead2920e0bc78fae164c6d96f2c600f9d3","datavalue":{"value":{"amount":"+0.90394473","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":"Q5425354$86149190-58C7-452E-9289-AD06F86CD2E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f01325a2d6096e882a8190f8ecbd6a21ce18c70b","datavalue":{"value":{"entity-type":"item","numeric-id":4435464,"id":"Q4435464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04c26be63abea7d669f706fcf7c20beb548e7b7d","datavalue":{"value":{"amount":"+0.897485","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":"Q5425354$B52F8AB9-0FA6-4FB8-BA09-9654DB78746E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fee796faf2ef2070f29395030e1e623047b48735","datavalue":{"value":{"entity-type":"item","numeric-id":4391434,"id":"Q4391434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"293f2703111d56a3e4711babf7245a9308d0beef","datavalue":{"value":{"amount":"+0.8916727","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":"Q5425354$0AB65C97-FBC1-480A-A9B5-202D7FCD895E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"425e652d4a6ae8c4a1799b298f36c35b402139f5","datavalue":{"value":{"entity-type":"item","numeric-id":2200826,"id":"Q2200826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a49935ca25003ced70f43ddd2b42fc538dc2f877","datavalue":{"value":{"amount":"+0.8891176","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":"Q5425354$F4A06C2A-EC52-413B-B408-94C8A4604400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb2449bbe3fd6dc888cc9e0b0e05866b1a9ee5f5","datavalue":{"value":{"entity-type":"item","numeric-id":3024837,"id":"Q3024837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9121ad5b1e624d465807b4cb426c7c78e1909d19","datavalue":{"value":{"amount":"+0.8818896","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":"Q5425354$58541DE7-5399-4AD1-A92A-8B0691EFFBE2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5425354","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5425354"}}}}}