{"entities":{"Q1400600":{"pageid":1411340,"ns":120,"title":"Item:Q1400600","lastrevid":67353618,"modified":"2026-04-12T17:03:24Z","type":"item","id":"Q1400600","labels":{"en":{"language":"en","value":"System ST toward a type system for extraction and proofs of programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1963864"}},"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":"Q1400600$6383E800-C714-4008-9CBB-62A83375B37C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"736249958ba81e3bc1b834c9f6781537d28ad3cc","datavalue":{"value":{"text":"System ST toward a type system for extraction and proofs of programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1400600$92F82FD9-5720-42B2-8A7C-3393B91D6C5E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa981d30a1ab511e8f1bc1cf78d6acaf89e5969d","datavalue":{"value":"1030.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400600$FE7F68E9-3819-47A9-BB2B-706367162DC5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3bf41097706cb78cf233b97e36e6dab3d47350cf","datavalue":{"value":"10.1016/S0168-0072(03)00002-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400600$CE777004-05E7-44D2-85AD-00CC7C901D1B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d839fd7cc47e26695d7e86daac1e29277216273","datavalue":{"value":{"entity-type":"item","numeric-id":1382181,"id":"Q1382181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400600$5C1ED62A-AA4C-48E4-A140-4F7EE3A4DDDD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400600$94ED6918-F6C6-4F1B-B4FB-555151AF7DFD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a8cb865adec83a83fbad4bf48440b81dd66fe0c6","datavalue":{"value":{"time":"+2003-08-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":"Q1400600$E9BA2679-B3CD-4444-A8A4-4A0FF0A50395","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400600$F9CE8113-A616-4F30-A517-866F27DE8491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400600$B9409333-C0E6-4974-99ED-C04D53B9C203","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55f7a164063d5284973d1589465586ba9a750649","datavalue":{"value":"1963864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400600$E2A7F7A4-366E-41F5-89D4-A75946EFA1A1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9b6f999d95ff8c21d42c74db6f102df64501e26","datavalue":{"value":"Lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1400600$6A5820E7-97E3-4E12-9933-1F08FA62240F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a29e9633dca211c090fb937416a2091007e1ff02","datavalue":{"value":"Type","type":"string"},"datatype":"string"},"type":"statement","id":"Q1400600$903AE08F-3E0F-4964-B52B-DCD3C24E5385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32dc010f9fd9e8584886f0a035b148ec711eb017","datavalue":{"value":"Subtype","type":"string"},"datatype":"string"},"type":"statement","id":"Q1400600$3D40D3EB-55B7-44E8-A498-7BEFD86F535E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543b5b6936751d447dfb75294948e5dafde0cec3","datavalue":{"value":"subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q1400600$D7017D9A-9C15-42F6-98B5-830723D81F80","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aef42c0ba3ebb76b2efad2df262c05b22e73e922","datavalue":{"value":{"entity-type":"item","numeric-id":21953,"id":"Q21953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400600$3C024BF9-168C-46B0-89C5-91136FA36354","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":"Q1400600$78CE6A9E-82B4-4021-B583-1DB184F764DD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eff1fd92245df38d7ffeae1e590de1b0d5007c30","datavalue":{"value":{"entity-type":"item","numeric-id":4474826,"id":"Q4474826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400600$0A021231-72A4-4CB9-99A8-04C82AAEA857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"119267ed68389aaeccebc8352b7d7f817ac1f40b","datavalue":{"value":{"entity-type":"item","numeric-id":4716047,"id":"Q4716047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400600$01C09E28-0F25-4FD4-A325-8C5BE68A1179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e26c523496c35da0e6172865f48b61d150cadb9d","datavalue":{"value":{"entity-type":"item","numeric-id":3208623,"id":"Q3208623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400600$7674A781-51DD-4CF0-8D4F-40FE2129CC1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c46d5dbfc141cd646d16437d31ce3ea77fb5fba0","datavalue":{"value":{"entity-type":"item","numeric-id":2842835,"id":"Q2842835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400600$8AD00900-6E9F-4E15-A81A-4F0B5D470FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ee85ee408ceb2acfb30c438cac3496a36c4200","datavalue":{"value":{"entity-type":"item","numeric-id":1091379,"id":"Q1091379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400600$65AE35E7-C391-44F7-94F7-961C0218BFE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8690a256ff79e7f12aebcc1a7a9e001a7674d9a","datavalue":{"value":{"entity-type":"item","numeric-id":5178854,"id":"Q5178854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400600$B4CE0FB5-B9E2-4BBD-ABCB-AFEC0E53BBE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400600$78012C19-FF1F-4D5B-8C06-AB0A5CA3BDA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9f1bc132aa9b0018a0b5964ad3d222c485d2318","datavalue":{"value":{"entity-type":"item","numeric-id":1917089,"id":"Q1917089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400600$7FBFBCF3-BB40-4214-BC16-3D32D03D62EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e7dd18f66491810721be408fdb2ac4513248f99","datavalue":{"value":{"entity-type":"item","numeric-id":3816051,"id":"Q3816051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400600$2C8FDD53-4A92-4E10-86B4-AE90776AA2B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"050744ad710b2732fc1db2e9f7bd06de890ca43f","datavalue":{"value":{"entity-type":"item","numeric-id":4274979,"id":"Q4274979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400600$C35B6DBA-6D6C-49A8-BE80-6A0E63EB82B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36b355c034a15b6951cab8a2fb9dd01fb3be3dbf","datavalue":{"value":{"entity-type":"item","numeric-id":3477935,"id":"Q3477935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400600$FD7F6BA4-6532-4DA7-8DF9-96C65BFFBC6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b66940d7b39b59c08a38d642cee7cc824de22a5","datavalue":{"value":{"entity-type":"item","numeric-id":1110312,"id":"Q1110312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400600$4B326EBF-7647-4E9A-B9C4-A6EE1E359349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98a0291d6b416afdf61c3b8456fe8639369f4a5","datavalue":{"value":{"entity-type":"item","numeric-id":1190480,"id":"Q1190480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400600$2BDE7FEC-4412-4528-AC6B-D64D31638B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afd085d2daec69180cbe73e411bf227f604cfde1","datavalue":{"value":{"entity-type":"item","numeric-id":5951523,"id":"Q5951523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400600$9B26A976-8EF2-4A90-BEC5-4EE6397C8140","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"881379a3fa914a298d877b279ed01bf7e4e2ddbc","datavalue":{"value":{"entity-type":"item","numeric-id":3086789,"id":"Q3086789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f0e77aed32af83555798115af4b9b13db4953c5","datavalue":{"value":{"amount":"+0.7533012628555298","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":"Q1400600$70B366C9-7141-4016-9C1F-5B666EA162ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"918f2781deb536cb7abada9a9087642f80fd8cef","datavalue":{"value":{"entity-type":"item","numeric-id":4699295,"id":"Q4699295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60c35d89fa48e68ef050ec45f08a48f1f26bc007","datavalue":{"value":{"amount":"+0.7476279735565186","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":"Q1400600$99C2E3B4-80C0-43C4-98F5-DBE17F1D0798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81235c4d3f4c66b6911717e8cbf43cd34a5bdfea","datavalue":{"value":{"entity-type":"item","numeric-id":912594,"id":"Q912594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b02779feffe5d4e6289f0d5401b7024a85305d65","datavalue":{"value":{"amount":"+0.7446285486221313","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":"Q1400600$3A525A27-33CB-4D61-8EFF-3E97D3D6C5D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bc84c98ecb8d20117ac3288cc27c98c898b554d","datavalue":{"value":{"entity-type":"item","numeric-id":1322473,"id":"Q1322473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09fa2d51b145a360663a45da65d80714f157a52c","datavalue":{"value":{"amount":"+0.7343408465385437","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":"Q1400600$CEAFC78E-BEC3-4F28-AA05-60D3283A455E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7adb91e372d96708dbca2b941b10119e0da2b63","datavalue":{"value":{"entity-type":"item","numeric-id":5951523,"id":"Q5951523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0459f0ad97b9f2d834901447b808f175c24cdc2b","datavalue":{"value":{"amount":"+0.7309151887893677","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":"Q1400600$1C38D027-6327-4E92-A56D-81885BB46366","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"System ST toward a type system for extraction and proofs of programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/System_ST_toward_a_type_system_for_extraction_and_proofs_of_programs"}}}}}