{"entities":{"Q2703717":{"pageid":2714462,"ns":120,"title":"Item:Q2703717","lastrevid":47585287,"modified":"2026-01-02T03:49:07Z","type":"item","id":"Q2703717","labels":{"en":{"language":"en","value":"Writing constructive proofs yielding efficient extracted programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1576655"}},"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":"Q2703717$D6485D5D-438A-4B83-8BC2-67AC4DC339C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"73bff3e44806d71c2407ad5a28489ac5fccd4f91","datavalue":{"value":"0970.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2703717$D4ACF6CD-6B78-4004-8DFC-981C753E628D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6aea3f0ee8e6f275caea106ffc7919019f79c719","datavalue":{"value":{"entity-type":"item","numeric-id":853740,"id":"Q853740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2703717$D0DBC0AD-1B4F-4AC3-80FA-08F632137D27","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"977947cd79f3920d9b8080aee0947b44a750ae0c","datavalue":{"value":{"time":"+2001-05-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2703717$22316359-9B9B-4AED-B630-B7825D7917AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2703717$B1FF9309-D78D-49C7-8530-24003008F1B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2703717$2F5E7A22-BD2B-4218-B061-6CE2E49CDFE6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9abf99b3d41db3e7ac74d12623ce271944107650","datavalue":{"value":"1576655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2703717$440721C9-0558-4D50-B6C9-41E8E0D8C18B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8127c1430a1a6ff54ad3fc6980883b5307c69451","datavalue":{"value":"Myhill-Nerode automata minimization theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2703717$FB1A1104-303B-49D2-B25F-967A48F2FFFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f117bc3a22abae5aa06d1d7572563165837fec45","datavalue":{"value":"Nuprl automata library","type":"string"},"datatype":"string"},"type":"statement","id":"Q2703717$9E3518CE-F72F-4760-8512-3477D826C400","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2703717$9289836E-0480-4141-A654-D575185BE7A2","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":"Q2703717$E63067E0-0B50-43DC-94C9-B2EFE1BD1C2B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"80010aeb995f78c18a5e5668fa0fdc78b75b421c","datavalue":{"value":{"text":"Writing constructive proofs yielding efficient extracted programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2703717$0CDB7F3D-9373-436E-A852-1777B374F622","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31e06b4fe6c983bb3ab4de626b40fdcb19de88e0","datavalue":{"value":{"entity-type":"item","numeric-id":1823656,"id":"Q1823656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43707313ec1ce7ec3017fcb72ef86652b0718358","datavalue":{"value":{"amount":"+0.8096259236335754","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":"Q2703717$3A70B902-BC49-4E4D-97E8-99E8D9FE3A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"994abafcebf920ff08b53f01fe6fca3bc5aaf07b","datavalue":{"value":{"entity-type":"item","numeric-id":4038676,"id":"Q4038676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01a95e3b855f4e4e4a1ac51a533d9b7f4b4d2007","datavalue":{"value":{"amount":"+0.7830066680908203","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":"Q2703717$9BF50E40-103F-4CBF-865F-A16E63E5C35A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a52157cc4613cdee7a257e5e0c55af2b1b7311e","datavalue":{"value":{"entity-type":"item","numeric-id":808284,"id":"Q808284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01a95e3b855f4e4e4a1ac51a533d9b7f4b4d2007","datavalue":{"value":{"amount":"+0.7830066680908203","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":"Q2703717$32697346-BDC0-4C96-B88A-C66D93FC2FB7","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":"ae793da37436f4966e999ab9aa5ead3a2807b255","datavalue":{"value":{"amount":"+0.7749757170677185","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":"Q2703717$07CE696B-2A18-4349-BD06-0F8FA08F24BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe38b243283fc6821c4f28d3effddb01c571fd4b","datavalue":{"value":{"entity-type":"item","numeric-id":3166530,"id":"Q3166530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06ad99745601b4c0107fcec0a19f193b131315f9","datavalue":{"value":{"amount":"+0.7663899064064026","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":"Q2703717$8C4599D0-E342-40CA-9F49-C5C24B68A1F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2703717","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2703717"}}}}}