{"entities":{"Q5408457":{"pageid":7438031,"ns":120,"title":"Item:Q5408457","lastrevid":51972149,"modified":"2026-01-20T16:09:27Z","type":"item","id":"Q5408457","labels":{"en":{"language":"en","value":"A nonstandard standardization theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6282459"}},"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":"Q5408457$B599548E-869D-4260-98EF-6C07D4873CC6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1af36bde3bba61b93cb7dd8440b3bdafd61559b9","datavalue":{"value":{"text":"A nonstandard standardization theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5408457$9B3A0925-27CF-4CB9-9D90-6353436AB510","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bc7e169b36c7da1e304c86179de7f726c9de5409","datavalue":{"value":"1284.68121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408457$11E01C0B-38D9-4898-88AE-163A5056A000","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"989636c66ceed81a6589325891fe7a0cc52179d0","datavalue":{"value":"10.1145/2535838.2535886","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408457$5C1250A2-5B67-4975-865C-490BC2E676CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50a5fc175548a252094d9a283c297268d69f866a","datavalue":{"value":{"entity-type":"item","numeric-id":897927,"id":"Q897927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408457$9614D1FE-3696-4D4B-B7D0-67EFE3E8D3A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32fec076cd784676ce6465fb8cbb84aed2bdec55","datavalue":{"value":{"entity-type":"item","numeric-id":408546,"id":"Q408546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408457$2D98DB09-8E70-40F3-BDDF-649CAD07C1D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1dca62213c403be08a72765d5013cff559684e6","datavalue":{"value":{"entity-type":"item","numeric-id":654905,"id":"Q654905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408457$4B2D8DD2-0C7F-4949-B9E6-948E4F29DF95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f94e217cd8d9c96a0d0d37f7634467644cf2ad52","datavalue":{"value":{"entity-type":"item","numeric-id":683742,"id":"Q683742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408457$EB782E3E-3DB7-4644-9251-A4727AAD9C9A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"640f3283bf4ebaf19f5992b18fbb1bf0f8463c2b","datavalue":{"value":{"entity-type":"item","numeric-id":5408394,"id":"Q5408394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408457$327CA947-9C17-48B3-8204-3B2DED546B81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d29d162184913e14034b04455ad3f441d2a1856b","datavalue":{"value":{"time":"+2014-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5408457$4A5D3C49-7BED-483D-B8C5-8F95B0920EA0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408457$B3E6D156-3CF4-4B19-B1CA-AF08D321806E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408457$1B37C075-D953-4797-A36F-40ACA0A89EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408457$21606E36-E0D5-4A80-8367-3AA7B21259DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408457$80FE1D31-298C-4C85-B064-EEA51282F75D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db191ed25534e5508a6bd4d04016c303089772c0","datavalue":{"value":"6282459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408457$206BBD85-841D-4E02-80AC-CB8F9DE1362A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"466c42c02ddf75f7f67e6990514dda7f81e85cd7","datavalue":{"value":"explicit substitutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408457$E2217393-BBC3-4058-B782-4B5F67A5A744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408457$FB84C876-9DB4-4DB8-BDFB-315F4A8D47F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a432c78bd993e0b9579ff480d0133ff4f5f5ec69","datavalue":{"value":"proof-nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408457$CF3F9B6B-5DD0-40A8-8CA7-1006DF7F53DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95abc5ba1bfc05b65b4307bca45bc2effdf4af93","datavalue":{"value":"residuals","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408457$EF4281CA-394A-4D5F-8A76-D143097FA627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d18d613ca5d558d91e811df923cf208208ced9e8","datavalue":{"value":"standardization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408457$EED4E780-D1CB-43C2-8B13-34E6EF049067","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":"Q5408457$3DB64395-9E03-46CA-BFCA-8F551EB8FE6F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b432f6a5f8fccb726789abea05fc39d0fb8afb93","datavalue":{"value":"https://doi.org/10.1145/2535838.2535886","type":"string"},"datatype":"url"},"type":"statement","id":"Q5408457$EB4C3048-3B6B-498D-BDE6-027E55182E24","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a6811aa855314b4b18c1ca04a118254ac37690bc","datavalue":{"value":"W2028576530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408457$6866FB89-7030-48AA-A2A3-033389B64AAB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bcaa7992af216795db4cd264a888ac03bc1a5f4","datavalue":{"value":{"entity-type":"item","numeric-id":5111891,"id":"Q5111891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab7829ca9151d704722d412a780679ac4c983e8c","datavalue":{"value":{"amount":"+0.8036512136459351","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":"Q5408457$FAD7AA5F-C15A-4B10-96DA-9BD9BF40A1A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"874b78cf5652cb7cdda6df953eff04af2a532068","datavalue":{"value":{"entity-type":"item","numeric-id":2956717,"id":"Q2956717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd0dfe4ee604f4aff09296c63161f5a6c7f25e53","datavalue":{"value":{"amount":"+0.7705052495002747","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":"Q5408457$79B9357E-AEA5-4992-BB81-63C5F0A90976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28bc92fe9ec86073d7420e0578740e9dd61f5de2","datavalue":{"value":{"entity-type":"item","numeric-id":1623116,"id":"Q1623116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c5ccfb8b02d899487ed5e144cce48854efb97f6","datavalue":{"value":{"amount":"+0.7517033815383911","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":"Q5408457$67FACD87-9C57-4CAD-ACCA-65392CAA0BB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33b8c5539ad886824cf743e478035a2d886fbe01","datavalue":{"value":{"entity-type":"item","numeric-id":5111304,"id":"Q5111304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0708b24fd566e96bfbae90c5696b5b6184d096a","datavalue":{"value":{"amount":"+0.7438322901725769","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":"Q5408457$AE51084C-C384-4001-8C4E-9AA68B6E2032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2aaf5c048cd71b15c4db3ce8b614660ab5b2abb0","datavalue":{"value":{"entity-type":"item","numeric-id":5703866,"id":"Q5703866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2608807ae04d0f76a0e5434e7c5e7000bd74212","datavalue":{"value":{"amount":"+0.7312383651733398","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":"Q5408457$F32DC091-8D9C-4A2C-A691-57048BC706B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5408457","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5408457"}}}}}