{"entities":{"Q5277828":{"pageid":7307403,"ns":120,"title":"Item:Q5277828","lastrevid":58509759,"modified":"2026-04-05T13:00:06Z","type":"item","id":"Q5277828","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6744143"}},"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":"Q5277828$2D14A9DE-0016-4588-BABA-3808686A6097","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac23f58f78b9d64465196334c95d34de4718106f","datavalue":{"value":"1367.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277828$B4DDD820-C871-4B93-AF1D-1B8338EB6C04","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"681efb1a891e6a3e97b0bd4f51534259c144d771","datavalue":{"value":{"entity-type":"item","numeric-id":2938762,"id":"Q2938762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277828$173CE0F4-1B07-4C3F-9370-CE135E83CBBB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da4ed36bae8b600bf66a15aabe0c472becc2ce16","datavalue":{"value":{"time":"+2017-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5277828$5B45E8BA-1AEB-44CE-AC73-D4E88F728B5B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e19abb5f94303f627b19a33ce6fb2f2ddefd8b42","datavalue":{"value":"https://arxiv.org/abs/1504.05038","type":"string"},"datatype":"url"},"type":"statement","id":"Q5277828$4563D0CE-7F2A-4C78-A17E-CEB6F0C9ACE6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277828$AF619B93-D2B0-4A77-99FF-2ED4F79C1F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277828$9A340678-9D0E-4680-A13E-03147AA8EA24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277828$8B0F20C6-0090-47FC-80D0-F4E2488DEEED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a5ed45efdae15db290b2e100d565e64be0fdcde3","datavalue":{"value":"6744143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277828$002D6E47-D649-4167-9987-77C2E9BBFF67","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61be5adcac7856a286754402fcc18095dd9f6c66","datavalue":{"value":"\\(\\lambda \\Pi\\) calculus modulo rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277828$E7777B5B-ED9B-4E39-8FAA-0A3AAC4675D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"803071656ef49caf5ffffeffb35be0afbcb7ae7c","datavalue":{"value":"pure type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277828$535EE2B3-4F4C-426D-9DC4-E831D963FED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95c030d9a0c4c312aef7a319ac8b5849913b2040","datavalue":{"value":"logical framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277828$7B93F841-C60D-454F-A4EE-BC0DC998A73B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277828$A0464D43-A3B5-4F32-809B-897FCAAE255C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4108cecd289b9cafbcb28752da70c2315de2efa0","datavalue":{"value":"conservativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277828$B6D46B83-A6B3-4133-B695-69A12A480643","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":"Q5277828$92A30E3C-76D4-4813-A042-303E903EE422","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2b224d1ed00fd965713487e7e067f22baa750008","datavalue":{"value":"10.4230/LIPICS.TLCA.2015.31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277828$D2257227-1E53-4E91-BC53-70BA9A59354C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34882081dea05eeb752998ec406090aa926fa3a1","datavalue":{"value":{"entity-type":"item","numeric-id":2958387,"id":"Q2958387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ed06f346e22db595936e826af99ad5fc74bc32a","datavalue":{"value":{"amount":"+0.8990767","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":"Q5277828$868EE24C-7E32-4C54-AB2B-0F53404005D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8139ef8a91aaf6018642a73755c3a644f2cfcb1","datavalue":{"value":{"entity-type":"item","numeric-id":3612625,"id":"Q3612625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de11a39447490ee80fe6c260ba6d22ba6b6d7628","datavalue":{"value":{"amount":"+0.8926754","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":"Q5277828$2EC39F38-CF88-4796-9525-426CBBBA1F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d47c81d5d895c6268fdbf094a460d0fcf408f7af","datavalue":{"value":{"entity-type":"item","numeric-id":3142162,"id":"Q3142162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b94f09de582c3c7554218cbfcbd73ffc2b612713","datavalue":{"value":{"amount":"+0.8911183","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":"Q5277828$AD9CBAC1-41A3-49BD-99BF-9851098D9CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e39dbd2fc855554e505b91049187a5f408000dbc","datavalue":{"value":{"entity-type":"item","numeric-id":4681890,"id":"Q4681890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70a9acf3a7610684900aa8b928b73d4cb5be72ac","datavalue":{"value":{"amount":"+0.88707316","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":"Q5277828$8FB95384-6C80-49BC-AC12-A1EAFF2B47F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4f2e43ee84301592edcc82ef77c9d72401c2ec6","datavalue":{"value":{"entity-type":"item","numeric-id":5901480,"id":"Q5901480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b5bb04693894bcf172c761630e30802c2f667b5","datavalue":{"value":{"amount":"+0.8777811","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":"Q5277828$0E4D2D7B-33AA-4469-9BD0-3D0FED97B04F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5fe5bf781b7a5532318ca6c517c6ee0688e2e16","datavalue":{"value":{"entity-type":"item","numeric-id":5900438,"id":"Q5900438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4456fa588d73188610098cc450c30634ca5d7d9a","datavalue":{"value":{"amount":"+0.87778103","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":"Q5277828$F97C7E9D-1529-4D63-B5B6-939692AB8020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b9e060861e2a1a56f2ddf380fda3fa885e0e76b","datavalue":{"value":{"entity-type":"item","numeric-id":2881096,"id":"Q2881096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddae10c404a2f5fd49cd578a6b9fcef7479edfda","datavalue":{"value":{"amount":"+0.87519276","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":"Q5277828$B8E8B37A-DA60-4510-872E-25ABC6E63001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45c06160f44880f84521c79b2b8b89c047365571","datavalue":{"value":{"entity-type":"item","numeric-id":1854562,"id":"Q1854562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a42d7edf7c67fe3b25a68177f23d0c399b5a2265","datavalue":{"value":{"amount":"+0.87322783","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":"Q5277828$D82BBA43-3946-4F0C-993A-B6E40AFB6C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"768b9318300d8be361b599a70bc6277221a4928e","datavalue":{"value":{"entity-type":"item","numeric-id":5111441,"id":"Q5111441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b52fb36616470f65f6de562c462b2c0dd21d525","datavalue":{"value":{"amount":"+0.87142235","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":"Q5277828$D03BD868-443C-4B13-8950-5BC8944822DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5178de57625deeef6f421d0d43375c1cd7d0cd81","datavalue":{"value":{"entity-type":"item","numeric-id":4571956,"id":"Q4571956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dada848cf2d88e06225485c3f1e1ce471774f987","datavalue":{"value":{"amount":"+0.86997795","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":"Q5277828$02B7C528-2A67-4439-B1A4-485515F2E45E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5277828","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5277828"}}}}}