{"entities":{"Q300348":{"pageid":302115,"ns":120,"title":"Item:Q300348","lastrevid":52565360,"modified":"2026-01-22T23:54:01Z","type":"item","id":"Q300348","labels":{"en":{"language":"en","value":"Supercompilation for Martin-Lof's type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6598705"}},"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":"Q300348$C87E7232-7E49-4A0A-9429-D39E33C23C31","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"25e7a4d9921942ac8937b6a81db29fef86c1501a","datavalue":{"value":{"text":"Supercompilation for Martin-Lof's type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q300348$A0585DCF-1D76-4A24-BB6C-B0B413AB0512","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e26d4a5be2c67af6af6866ce0cedbd6a7e7367f1","datavalue":{"value":"1339.68042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q300348$3CCC579E-9E99-4130-8229-74BCE2A83DCF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"397eaea385593ce68eb6550a350b11cebddf0947","datavalue":{"value":"10.1134/S0361768815030068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q300348$422F4BCB-F86C-4522-98BC-43E2CA1C06FE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e796de7ba18100c48cd189fa72e09cb2e2c17574","datavalue":{"value":{"entity-type":"item","numeric-id":300346,"id":"Q300346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300348$3A144BDC-A760-4BEF-80C0-5935823C175D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"81d82be0e19edcf14a23f968da3c01d10aa666d2","datavalue":{"value":{"entity-type":"item","numeric-id":300347,"id":"Q300347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300348$DF3588B6-991D-464A-BC20-E08D3895D7AD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300348$06BE4DCE-5CBB-428A-BEC5-FA52741728B3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a0421c5c501ceb8b5b93f7269ddd5cda28f4b61","datavalue":{"value":{"time":"+2016-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q300348$F7AB1C62-F823-4ECD-B9F7-F600C7C456DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q300348$04B9203F-11C3-443C-BB28-8F8DC6FCA100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q300348$6C12BFB2-2201-45A5-A27E-74BD60C48FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q300348$5C83B5A3-EAFC-4D87-B782-4FEE32ED108F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3146686af7b93e945c0631653d265e0ee607427d","datavalue":{"value":"6598705","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q300348$8D0B63B9-DE05-42A5-8355-838E7F7EED02","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4a10fa0d0fc1b68b6a8c9081db3fab0d000f0c64","datavalue":{"value":{"entity-type":"item","numeric-id":39349,"id":"Q39349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300348$582D57B2-6D27-4B2D-A46B-8157DB3883AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300348$D6506C1D-44AB-4E6C-85E2-A7019F31854A","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":"Q300348$B966B6D2-F554-426D-9796-96B6278ACFB3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8703228b70bd76dfe6540872520bac9ad5b1b1fc","datavalue":{"value":{"entity-type":"item","numeric-id":3732942,"id":"Q3732942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300348$C19E7356-3EC7-45FF-9C94-9A695325346C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e87f3fa34a5f70644bfed872e89f2e2f311b4a8a","datavalue":{"value":{"entity-type":"item","numeric-id":2371554,"id":"Q2371554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300348$3C53B67E-1979-491D-A9F9-B9C1C79D7F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0834c6a82a92f8301a49a5eea7619039e9e139db","datavalue":{"value":{"entity-type":"item","numeric-id":1758721,"id":"Q1758721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300348$91AC0061-867B-4E22-9B23-0D4C501CF73F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300348$80FCAA4B-E89E-4341-A0E9-9C4DCD06EE9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ba85b98e8e346ac6a87314074cf35bf1d70516f","datavalue":{"value":{"entity-type":"item","numeric-id":4003339,"id":"Q4003339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300348$D200D226-A199-4595-9D70-CE0E3A3363A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eb2d6548fcfb1d287a3dddab7844907119f1fd1","datavalue":{"value":{"entity-type":"item","numeric-id":2805272,"id":"Q2805272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300348$4609D47D-EF10-4AD4-B237-A2715C6C9EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f6e5869280da5429c936628f0da2ed487716379","datavalue":{"value":{"entity-type":"item","numeric-id":4943357,"id":"Q4943357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300348$E289D384-C59C-49D3-ABA4-223AD6C684BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5029f3bd44027d166b83affc49717f11751e7c08","datavalue":{"value":{"entity-type":"item","numeric-id":4736399,"id":"Q4736399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300348$0E1B5C10-1804-48C0-99CB-C3D4335602D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f881888043ac0e9ecc9e40d0e4e4f2c5675c8f","datavalue":{"value":{"entity-type":"item","numeric-id":3002481,"id":"Q3002481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300348$3C9BE7EE-C035-4818-9125-50C5032DDD5A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ca857e98fb318191ac2aa45b2b498374ebad803","datavalue":{"value":{"entity-type":"item","numeric-id":3455070,"id":"Q3455070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0adc6961786b2af471d1196abfb0a443ad1ffe39","datavalue":{"value":{"amount":"+0.969133198261261","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":"Q300348$67BF6BB3-8E2F-4D16-BDA3-58BFB75451CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fded6805e2568fc0b3de393bd40f292890af5d9b","datavalue":{"value":{"entity-type":"item","numeric-id":3732942,"id":"Q3732942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23c123dee68e93aaa4d397c539c0105898fe23b8","datavalue":{"value":{"amount":"+0.7920770049095154","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":"Q300348$69954F98-1A53-4FA2-A8F8-84BF2F32A243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc8e8313287fd2f45b88eb76a392defdb2dcad27","datavalue":{"value":{"entity-type":"item","numeric-id":3713574,"id":"Q3713574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71e4e36258b187bf9b03e54104b46d1ed9f7cf6a","datavalue":{"value":{"amount":"+0.7665906548500061","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":"Q300348$70C67D8A-9FE7-4F71-9137-0199A133FE53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4d761b448fa617554d1be93c3209d9074ddf7a3","datavalue":{"value":{"entity-type":"item","numeric-id":4339016,"id":"Q4339016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f994542fdbcec39c38f14f178342c972d2dec21","datavalue":{"value":{"amount":"+0.7397812604904175","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":"Q300348$0EFC0642-E6A2-40DA-8A66-8C55E7CDC954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44c76101b929e3ca9f63d478350dd75faefd3cf3","datavalue":{"value":{"entity-type":"item","numeric-id":2729913,"id":"Q2729913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bd1a27fb1468cec9ea7cb442169c0f37ff56716","datavalue":{"value":{"amount":"+0.7385076880455017","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":"Q300348$A6CBBAA2-4749-40E3-A393-CA30219CC955","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:300348","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:300348"}}}}}