{"entities":{"Q388212":{"pageid":389979,"ns":120,"title":"Item:Q388212","lastrevid":61466109,"modified":"2026-04-10T23:33:13Z","type":"item","id":"Q388212","labels":{"en":{"language":"en","value":"Full abstraction for Reduced ML"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6239426"}},"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":"Q388212$55A6101C-158C-4C8B-8F90-D17567F21E4E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be38fdb9228a2314c1091e5016c4651a255471af","datavalue":{"value":{"text":"Full abstraction for Reduced ML","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q388212$58899F6B-8E2C-4E8A-BEF1-A1724C7E3315","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"efc2baed881b4b6e9eb196b6ea0bfbcf48366fac","datavalue":{"value":"1358.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q388212$A577C790-79F9-40C5-87F5-5E4E082DA1D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"88574cc1a9da512fbd3fbfee15ad2279e5bf0f96","datavalue":{"value":{"entity-type":"item","numeric-id":388210,"id":"Q388210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388212$4DDEEFF0-862A-4C71-8451-59C3230DBE68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a364b77e92ff0f2a5601d6a22c0787f6130aac0f","datavalue":{"value":{"entity-type":"item","numeric-id":388211,"id":"Q388211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388212$D1132704-68D1-4D7D-9C29-40236C71BF4B","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":"Q388212$C07B10D3-97B3-4A85-87AA-787A78EC06D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c2f1fb0bb823de7c85c0e6b790ab9a70856742d2","datavalue":{"value":{"time":"+2013-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q388212$738748D7-B00B-4BAB-850E-A5D75105FABF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q388212$15FE93EE-0851-427C-9BB6-5BEB91971F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q388212$D8CA3379-230C-40B3-856A-C1CA3359CC54","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"417167a30bb1acc7f63c66d7a3f3badace40882e","datavalue":{"value":"6239426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q388212$63A9A037-AEC1-41F1-8B8B-913BD99DF860","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"227e1da5322a00854dd7e39469c8243008142ef9","datavalue":{"value":"Reduced ML","type":"string"},"datatype":"string"},"type":"statement","id":"Q388212$0B927C5B-FD24-44EF-ACAF-55AA485D8F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b6692564b9126396903952c44aa98b86a268b23","datavalue":{"value":"contextual equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q388212$EAB47292-F163-4D25-BAE7-30B4222D6A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eca9ff896efb1e34d9da4dcb5b5b353e4c12f209","datavalue":{"value":"full abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q388212$4AED1E61-E299-466B-B8BB-339DD6F07ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q388212$3AF85BE3-78BA-413E-A69A-4366CB6AB80C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be72c24d8ef0008d99f09fbc2d6399759dfbc154","datavalue":{"value":"ML-like references","type":"string"},"datatype":"string"},"type":"statement","id":"Q388212$6AA4854F-99DF-40A6-8D56-D98C0829845E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9182eabacc23c0edd734d66fc3f2fce427ef1e0b","datavalue":{"value":"nominal techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q388212$2EB605F9-5F93-4040-A13B-01053B1A2F67","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388212$8CD994BC-FBD7-4961-AFBE-B2564D5AF712","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":"Q388212$8FD82997-B2D2-4083-AAF2-44A2585C29F4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b324d8202802192ea4bdc73be5598b9a52e60adb","datavalue":{"value":"https://doi.org/10.1016/j.apal.2013.05.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q388212$C4DE84B8-53EA-4A79-997F-EABDE362FF1C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"759ec1bd39b92360084336eb7dcd854326e68f40","datavalue":{"value":"W4205893583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q388212$F4C0E67C-3ACC-49F5-8466-5C1201C86136","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"598d99525e9a0094b9fed1dcff845cc4b8ee91b7","datavalue":{"value":{"entity-type":"item","numeric-id":1854394,"id":"Q1854394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388212$63B17E04-2068-4AA0-8C08-9DBAA79A97BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b6ebce8fe1caa0cc920eda8427c705be142a0fd","datavalue":{"value":{"entity-type":"item","numeric-id":4218919,"id":"Q4218919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388212$D481A5C2-60AD-4ED6-B197-4BE528D46380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882e318ac9b6bbd79e82dcc1ce3fe340042f5778","datavalue":{"value":{"entity-type":"item","numeric-id":699761,"id":"Q699761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388212$CF58745D-94CE-402A-839E-1C94EA8668BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f48d012301b3151eec271a7ee87acb952bb8745a","datavalue":{"value":{"entity-type":"item","numeric-id":1960532,"id":"Q1960532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388212$93C1ABB9-57BE-4E60-B277-ADC9CC26666D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b44d5c81f7735368555911d4bd1908764544894","datavalue":{"value":{"entity-type":"item","numeric-id":1854393,"id":"Q1854393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388212$C2E2348E-5D64-4C51-BBDA-8304B9A412BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d16f978b19ff461de1876c12ebfad350cb92104f","datavalue":{"value":{"entity-type":"item","numeric-id":5308457,"id":"Q5308457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388212$F7237CF5-1098-40E1-9F8D-4C4B04BE0972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79dd6a0185a982d063bc5e3c14ea609468ea8771","datavalue":{"value":{"entity-type":"item","numeric-id":5386004,"id":"Q5386004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388212$9E366113-2F71-4E30-B426-00ECD094A5FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5503ec6758ecd10ef48d90e9f8352ed2cf9d1543","datavalue":{"value":{"entity-type":"item","numeric-id":2474444,"id":"Q2474444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388212$934BB0F1-F98C-4E47-B95A-CF660DFF4442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90a104733fae59042533122c0ca2a3134cca252a","datavalue":{"value":{"entity-type":"item","numeric-id":5415641,"id":"Q5415641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388212$FB9A8BC2-5BE4-4BB0-802B-A56513431BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"269ff406370c325109d52f6c13685628097c8071","datavalue":{"value":{"entity-type":"item","numeric-id":1854351,"id":"Q1854351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388212$EF7A5CE1-0CA2-40CF-9DCC-34DCF802EA9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef57295b2e8a33639ff3175739c97140ae146dfe","datavalue":{"value":{"entity-type":"item","numeric-id":276481,"id":"Q276481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388212$CD4478D1-CB52-4481-9508-88B431418C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388212$9730F77B-8450-4B8B-A0E7-60C2B406BB3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc340352b2684097bd113c10d2abffefaca30754","datavalue":{"value":{"entity-type":"item","numeric-id":557802,"id":"Q557802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388212$3BCC0ACA-5F24-4ED0-8232-5ECC2D41F0CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a41cb67069e3a5c503346c6fc19d94a19003472","datavalue":{"value":{"entity-type":"item","numeric-id":3608438,"id":"Q3608438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388212$FB96160B-7A1F-4E7C-841C-A69EC8C1662C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d481a89e756cde75dd4a6b340d69be4e2e1c309","datavalue":{"value":{"entity-type":"item","numeric-id":3617719,"id":"Q3617719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388212$78502C99-0A40-4985-9D36-86FA5741391B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d87371f396e7d8ca9e0468b38a5a6531479d4245","datavalue":{"value":{"entity-type":"item","numeric-id":3557842,"id":"Q3557842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388212$C5743C1D-05D5-42B2-B3FF-147CD0575A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce730ee7a5403b7df2b306c982f584f0979db721","datavalue":{"value":{"entity-type":"item","numeric-id":3000592,"id":"Q3000592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388212$563CC19F-BEE7-43AE-B2DF-CA912208AB2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c91698937c8ec8c4f897856bb1697994fb1e8409","datavalue":{"value":{"entity-type":"item","numeric-id":3167021,"id":"Q3167021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388212$B8A00C6A-2573-4D04-94CB-E7C137CFF903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9b59a5650f74d0bf864ccb2b42bedecdab9a58","datavalue":{"value":{"entity-type":"item","numeric-id":4501156,"id":"Q4501156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388212$151E947E-862D-431A-965C-58BDABBD7315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f2421034b2e5b8c9a4605f25882b5ef4d7bb9c2","datavalue":{"value":{"entity-type":"item","numeric-id":2704328,"id":"Q2704328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388212$B5762390-59EE-4E3D-A4D4-7849F3414D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d720f0c7d01ab48ba569f9365b68151360f293d7","datavalue":{"value":{"entity-type":"item","numeric-id":3401132,"id":"Q3401132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388212$E771367C-648B-4A9F-A1D1-4C2CB190656F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1826049f50c41a724ce6ee316bc6e19a8c5dc7d5","datavalue":{"value":"10.1016/J.APAL.2013.05.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q388212$9BB6EB73-A1C1-45F0-A39E-B387AF56E87A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63907c54f60a73dd0fdce6d07f7204c186930ef4","datavalue":{"value":{"entity-type":"item","numeric-id":3617719,"id":"Q3617719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fedf2841109ca72b8c9fb71bc51baba56f1905be","datavalue":{"value":{"amount":"+0.9962770342826844","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":"Q388212$88F6C29E-9832-43E4-BF61-792071972931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d69905c3ebc8026b048ae24500122267cd00064a","datavalue":{"value":{"entity-type":"item","numeric-id":4040912,"id":"Q4040912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6be7bf44637255b01c471f614823f22689cc5a39","datavalue":{"value":{"amount":"+0.7708563804626465","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":"Q388212$BBA8D206-0FE4-4B5A-A0D4-27A46BA7E98C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f82440d75f6230f8e0a8adecf6d808dec059c173","datavalue":{"value":{"entity-type":"item","numeric-id":1854394,"id":"Q1854394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c4480312c1478d7846029c0341015d240072152","datavalue":{"value":{"amount":"+0.7579681873321533","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":"Q388212$CD83F708-0A80-4013-800B-C78C2A5BDD7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"399419382caa82fa94a0b79c4808673d17d2e2cf","datavalue":{"value":{"entity-type":"item","numeric-id":3401132,"id":"Q3401132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c4480312c1478d7846029c0341015d240072152","datavalue":{"value":{"amount":"+0.7579681873321533","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":"Q388212$5A1DE9E3-717E-483B-A33E-6C2654C48149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5133593a36775c84003a54d71cf3277891dd239f","datavalue":{"value":{"entity-type":"item","numeric-id":1575874,"id":"Q1575874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49a14dea16b33700a6908abc183a7a77acf5ae7e","datavalue":{"value":{"amount":"+0.7560349106788635","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":"Q388212$3C618D3F-A1AD-436A-99E8-3E55852F7508","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Full abstraction for Reduced ML","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Full_abstraction_for_Reduced_ML"}}}}}