{"entities":{"Q757356":{"pageid":759205,"ns":120,"title":"Item:Q757356","lastrevid":49473079,"modified":"2026-01-07T05:27:28Z","type":"item","id":"Q757356","labels":{"en":{"language":"en","value":"On Horn spectra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4191611"}},"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":"Q757356$690F4C57-00A1-48BC-8FC4-6A22295EA95E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"781cc2c5ff08db972a389eee6a7f2a4efca3f888","datavalue":{"value":{"text":"On Horn spectra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q757356$B099D837-AAAB-49B8-A5C8-9E3BDBED1B3D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dd02cbd8b3e241a9314ce9abb9a1c91486dcc834","datavalue":{"value":"0723.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757356$FB6B5030-590D-4066-84F2-7FCC8F2446DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1755d2b597c3221374e70da64daec2c2a42a1c15","datavalue":{"value":"10.1016/0304-3975(91)90227-S","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757356$635D8682-1993-4177-B287-C6E72CDD67E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5dc81f9560041386f0dfc580bd85b6eb41aa045","datavalue":{"value":{"entity-type":"item","numeric-id":757355,"id":"Q757355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757356$5862A322-5131-4A27-9B1E-D845218A7F17","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757356$0B1D4F4A-520B-4234-B269-630F7302CC62","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q757356$FDA5269C-C93E-4D74-8595-67FC23878F4B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757356$E6258590-4525-4F05-95C6-E4F7C4AFEAC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757356$1B3F28AA-D77F-452D-9482-AE5560AD1B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757356$1D859649-5BA9-4B70-BB9A-A3CF1F9A32EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757356$A3050BBB-6A92-45FF-B121-B9A5456621EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b98812769fc47fd8cb89ae2a6189f1676960215","datavalue":{"value":"4191611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757356$0DD482BE-4979-4810-AF66-AF438051FED2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"709c0f1970b625c924543cd42f8a54c7ce976554","datavalue":{"value":"Turing machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q757356$4D35B435-A5B0-4B74-BCBF-2466FB91A280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06059c11269d258bbccac60c4e9a619d8f9e5b9a","datavalue":{"value":"relativization","type":"string"},"datatype":"string"},"type":"statement","id":"Q757356$663C6D44-E7BE-4473-B4C2-7EB61DEAF01B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95a45f88a1d3b88850ee4f264ea5c387ca1663db","datavalue":{"value":"Horn spectrum","type":"string"},"datatype":"string"},"type":"statement","id":"Q757356$6743D22E-B39E-436F-BF55-1AC855787D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dc34c6721d065338d1cf309ca43540655d290e8","datavalue":{"value":"Horn sentence","type":"string"},"datatype":"string"},"type":"statement","id":"Q757356$B75630DC-8862-47D5-B37C-9B3C0A2A89B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"811b2096973b47016bc857f7ede663acb33f7bd6","datavalue":{"value":"Asser's problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q757356$E64F3A70-32F1-4C6E-8F0E-C45D7DE87C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4ae60c1f3657bb446af696b223cd4219545345b","datavalue":{"value":"EXPTIME","type":"string"},"datatype":"string"},"type":"statement","id":"Q757356$4FB943F4-00AB-411D-BB87-42A0677E8B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f64ae39b4a5c00a2411b90ea62cecd541f35fde","datavalue":{"value":"NEXPTIME","type":"string"},"datatype":"string"},"type":"statement","id":"Q757356$95EB43B4-2104-45CD-8BF9-8DFDCABC6255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7cb8d9e667c298ea3ac6a05fef594d652aa48a0","datavalue":{"value":"generator problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q757356$B7B5397D-2F5E-48DC-A4E9-DD19D0A059C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c912dd45456959aa9594fa8a89e3f787ad398ae","datavalue":{"value":"oracles","type":"string"},"datatype":"string"},"type":"statement","id":"Q757356$444C46CC-1AFB-4D5A-8DD2-0C0E71EC34B3","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":"Q757356$E053383F-F1D6-474C-9AC6-E0549FF1EB7F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"48e7fcd40c080cbc0e48d70b907ffb6da45edf31","datavalue":{"value":{"entity-type":"item","numeric-id":3226749,"id":"Q3226749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757356$C5D06358-991A-4D27-B246-186D89EE87CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c4b58f9e8478a4210509de111b81e4ccd911506","datavalue":{"value":{"entity-type":"item","numeric-id":4086709,"id":"Q4086709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757356$47187E02-23D5-45A7-82C1-A43644013E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c859dc9bc5c44c673f4132f2e7bef4d53162ec9","datavalue":{"value":{"entity-type":"item","numeric-id":1188602,"id":"Q1188602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757356$24993E85-5247-47FF-8E74-6414597F51DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3963b90870a42a133d18084b017239dcd6378b2","datavalue":{"value":{"entity-type":"item","numeric-id":5645036,"id":"Q5645036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757356$C127E26C-0073-409B-AC9E-C0030AA47A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0839e7e46510112865b452a6ed8d8dd889a4c60","datavalue":{"value":{"entity-type":"item","numeric-id":4058132,"id":"Q4058132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757356$B9113C31-8BEA-428B-B1A6-0B56CCF8F114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54bb23df381e43e38f771298bddf52d89b4a07a0","datavalue":{"value":{"entity-type":"item","numeric-id":5606571,"id":"Q5606571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757356$84AE96B1-2C99-45D0-9AA5-4A741C06AAB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2043397a54eaa38033021fac24881dafefacec7d","datavalue":{"value":{"entity-type":"item","numeric-id":5592246,"id":"Q5592246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757356$6F228F16-C36E-45C3-A7D9-3EA7C92DF29D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7402dc5bdf53dcf826b894508745d7a339429a41","datavalue":{"value":{"entity-type":"item","numeric-id":4775859,"id":"Q4775859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757356$51FC0857-5C2E-4D5A-B495-DA37E9F08242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3a5f8c38dc9aa69650033303ed3bcc47054a76a","datavalue":{"value":{"entity-type":"item","numeric-id":3942945,"id":"Q3942945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757356$386A4632-584E-439B-BD1D-44E3872ACBC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bfde78f73cd4ff340b10ef5b040429cdc807915","datavalue":{"value":{"entity-type":"item","numeric-id":4075454,"id":"Q4075454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757356$4CB95374-913D-4DA8-9343-2A70FA9B4A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad00a83b5d740d9489736b8014faafa0c722caaa","datavalue":{"value":{"entity-type":"item","numeric-id":3248054,"id":"Q3248054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757356$CB25402A-B39D-4985-94D8-A23D68D28EE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5992fe2df898eb4329977c0d09504904006c170a","datavalue":{"value":{"entity-type":"item","numeric-id":4068695,"id":"Q4068695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757356$380645C9-E0A5-4FB0-BCBF-9979BDC96F8E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6324616d3809db8066f3a1f94f6659ac5eed55b7","datavalue":{"value":"https://doi.org/10.1016/0304-3975(91)90227-s","type":"string"},"datatype":"url"},"type":"statement","id":"Q757356$13C8D8BA-9475-4A73-B356-196F0E833817","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"edfffd325cd45c3e4571b849b9b7b840bef21f34","datavalue":{"value":"W2042176675","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757356$256DD8CA-78E5-48F6-B2B9-7A521196F41E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30fcbba07c19ca19d1e013dfe21fb614240482b7","datavalue":{"value":{"entity-type":"item","numeric-id":3824297,"id":"Q3824297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f1e65dc30f9772cbe7daf630fb90991472a6402","datavalue":{"value":{"amount":"+0.9196813106536864","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":"Q757356$95B5340A-AC86-4B1E-BB20-E05574F0D2F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64a4d164ae3308459becb2ecc22cddf54b7bbf29","datavalue":{"value":{"entity-type":"item","numeric-id":3691648,"id":"Q3691648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f4520ad1f422eb8c6def52806f21279cf8de999","datavalue":{"value":{"amount":"+0.8323937058448792","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":"Q757356$1F00F0F4-3BA6-4057-B027-161676747571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43ab4979bd5f2d758576d1880114ab04de6c405b","datavalue":{"value":{"entity-type":"item","numeric-id":3792668,"id":"Q3792668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d58f8bfc1d2a73740fd63525b080cc185ad583e","datavalue":{"value":{"amount":"+0.7752597332000732","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":"Q757356$217DA6AF-1F43-4973-9286-B2739D74F353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f7275ab1b66c3032ec2d1820fa3afc071c299e1","datavalue":{"value":{"entity-type":"item","numeric-id":4902770,"id":"Q4902770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40fc3075548217ee8e387aca6fa0832d87905be5","datavalue":{"value":{"amount":"+0.748879611492157","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":"Q757356$1B8FD014-7B1E-482E-876B-6B1448243E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d401dbf030019f806c4b1ea7c3d4bb90f43846bb","datavalue":{"value":{"entity-type":"item","numeric-id":3760503,"id":"Q3760503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c60df180b260113685a130889da8221c36fb38a","datavalue":{"value":{"amount":"+0.739858865737915","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":"Q757356$CBCC1939-E88A-4592-A9A5-1DA19D0053C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:757356","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:757356"}}}}}