{"entities":{"Q5866479":{"pageid":7896030,"ns":120,"title":"Item:Q5866479","lastrevid":101940374,"modified":"2026-06-06T03:10:35Z","type":"item","id":"Q5866479","labels":{"en":{"language":"en","value":"Lindstr\u00f6m\u2019s theorem, both syntax and semantics free"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7589721"}},"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":"Q5866479$D35F0D3A-538D-42A3-9631-53609ADD0582","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"55f8d8b749c23af2e591577d425b4cfae16bf299","datavalue":{"value":{"text":"Lindstr\u00f6m\u2019s theorem, both syntax and semantics free","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5866479$E3F8FC4C-F03F-49B8-BA8C-057B0C16FCC4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2d638021660716db5787978cf34b6aa4aef754d","datavalue":{"value":{"entity-type":"item","numeric-id":878155,"id":"Q878155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5866479$0945149D-3E1B-4303-8DDE-0539E583442B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"241d91eac26be9dafce27577b0d1f937fbd531b1","datavalue":{"value":{"entity-type":"item","numeric-id":353354,"id":"Q353354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5866479$AE42816D-F6DC-4446-A78F-998CB61BF1B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c95b7bab56df7de93fb565a41159eab77e3a3f6c","datavalue":{"value":{"time":"+2022-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5866479$A9FDCB3A-3B3C-464C-86A1-F76504EBFE04","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5866479$B04570DD-FDD6-46C0-A16F-B7939880A28C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5866479$D739D525-C690-4135-AA24-E4B11522CBDE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89ab49002e5069c018fada5b45131f68c633af2a","datavalue":{"value":"7589721","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5866479$AF9E5488-822E-479C-BB6B-4EC16232E88E","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":"Q5866479$57821692-2C0C-408D-99DC-264F9C21B946","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d8c605c7c25e10132a63287b855014bce4ad684c","datavalue":{"value":"https://doi.org/10.1093/logcom/exab073","type":"string"},"datatype":"url"},"type":"statement","id":"Q5866479$28B4EFF2-3544-494E-BAE3-BC1A1EC03FF8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"614e168d67521cb06c39d0aa3f449403b285db6c","datavalue":{"value":"W4213265358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5866479$519B8CCF-03BA-4C2D-A02B-DD2C9E583BF2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ca11182508b94b5c5180d81f9a9200ae6eeeac7d","datavalue":{"value":"10.1093/LOGCOM/EXAB073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5866479$B2684568-F926-4398-B414-698BFEFF4478","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5866479$65F720C6-40DE-4753-808F-BC532F1A7286","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f26f0a47c617f80ffa2962c71cd89f6a54794908","datavalue":{"value":{"entity-type":"item","numeric-id":5416159,"id":"Q5416159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d35c96cb9789c5016d2bf92d4c775fe68ce3323a","datavalue":{"value":{"amount":"+0.8349971175193787","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":"Q5866479$190BCD1D-B590-49AD-8EF1-6AF507D00AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f7ace6ef47736e664be252f70d8dfa0657e1407","datavalue":{"value":{"entity-type":"item","numeric-id":3708788,"id":"Q3708788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc0fbec62d2e7d4117548013759ac421f38b9552","datavalue":{"value":{"amount":"+0.8348751664161682","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":"Q5866479$8A50BED1-01E6-4A90-A6B1-C26B9C1B636A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b51364195bde17eccc5a5a81a56c3a8b8514939c","datavalue":{"value":{"entity-type":"item","numeric-id":3395097,"id":"Q3395097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6170fb2af08e7a39831763fdbf3e8807afc965b","datavalue":{"value":{"amount":"+0.8340715765953064","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":"Q5866479$A6B5D193-F696-4ED4-ACD7-DF9B7E3BDE31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cc0e615d648799609ef45405565a83b0d0e81cb","datavalue":{"value":{"entity-type":"item","numeric-id":4273423,"id":"Q4273423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"543fc33c4f268588a4a78d8aeb64856c02e771ad","datavalue":{"value":{"amount":"+0.8137608170509338","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":"Q5866479$4225C7BE-1AF0-4C29-9E04-6B85E3BAFAF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81ef8a620a96edd639b715384a7345b6f217bab1","datavalue":{"value":{"entity-type":"item","numeric-id":6076364,"id":"Q6076364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea1be3bb05ffe786d9e518b1ec2c7ed7af4bd376","datavalue":{"value":{"amount":"+0.7884435653686523","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":"Q5866479$3EEE3DE3-626C-44D1-9FA8-DD11A0BC350F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lindstr\u00f6m\u2019s theorem, both syntax and semantics free","badges":[]}}}}}