{"entities":{"Q4804171":{"pageid":6833751,"ns":120,"title":"Item:Q4804171","lastrevid":74524752,"modified":"2026-04-14T23:08:21Z","type":"item","id":"Q4804171","labels":{"en":{"language":"en","value":"Sperner spaces and first\u2010order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1896662"}},"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":"Q4804171$1C84A44B-5E0B-4B0A-871B-A6536A9C7D23","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"597dfed961b8b7343394a232d61ebd36fc1962d2","datavalue":{"value":{"text":"Sperner spaces and first\u2010order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4804171$0FA0B63F-4BEF-4F79-989B-C0E3E120D87C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5fb63571c09b0481c43f269c407b7bc072edb3fa","datavalue":{"value":"1030.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4804171$AF751074-8913-4EAF-801E-37EE7C7354DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be0c547959f56e22bcdd079e76bda78b5f7c3224","datavalue":{"value":{"entity-type":"item","numeric-id":195660,"id":"Q195660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4804171$A1CFA2AD-381A-4EC9-86F3-860B96F46158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"94a0836b8f6fa2968e81482351df8ab94ee5594d","datavalue":{"value":{"entity-type":"item","numeric-id":482534,"id":"Q482534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4804171$F26F53E0-5E90-4295-9949-2C468F102E82","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4804171$B41CB8FB-64D4-4E33-ABF2-56A372293094","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0c82779b21e083bd1cf024ff0b633233b5f9a39","datavalue":{"value":{"time":"+2003-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":"Q4804171$88C735BC-6FF6-4CA7-97AE-7268032F1978","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"65e572fbeb07af3609e3729bf40454a15027b41d","datavalue":{"value":"http://hdl.handle.net/2027.42/61173","type":"string"},"datatype":"url"},"type":"statement","id":"Q4804171$839F9330-0210-43D0-8F7F-981E950706F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4804171$4E634943-B1B6-44CC-A4E8-49F91F08170B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a9556f6eafafa8db96939512ec9d360bd6cc662","datavalue":{"value":"51A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4804171$D7B92206-1B2F-4CF8-829E-D619A69D6583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4804171$1F4FD9EC-E660-4D44-8BC8-58260D1AD01F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"74738f47774fb98bd8aca0e4d6ca6f6a068e4c06","datavalue":{"value":"1896662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4804171$725F29B1-D72B-4B4A-BE6F-3D05F1C8F257","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9751038cd61786ff57b374395f1a856f87cd387","datavalue":{"value":"Sperner spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q4804171$27B264D1-5421-4A8B-AFA4-E72609A848CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85fd9add00e30e0ef49eab68431d8f515fef1cd2","datavalue":{"value":"\\(L_{\\infty,\\omega}\\)-logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4804171$0FFA2C08-B6EF-422A-8F37-D74EAF456C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4804171$0255A257-FB64-4122-80B7-E7576AC40D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4804171$1383DC97-8D1C-4B07-8EE1-1085CBC66E33","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":"Q4804171$E1B7B74B-009A-4436-88AD-0FEF86BCB35E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0e812f3ffd839724a47dc848a420c6a922fd443e","datavalue":{"value":"W2123190305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4804171$0FF721EF-7035-433A-966A-421C5634A395","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc113b3cba6cbf27e380f7b91c85b49b31730c2a","datavalue":{"value":"10.1002/MALQ.200310011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4804171$F82F509C-9C1A-4DE9-BCB5-3B44A9F93378","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f25ae804bd0106d11f0534b0d886133c59a1dc0f","datavalue":{"value":{"entity-type":"item","numeric-id":3836756,"id":"Q3836756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b9f58ec8bd2be4be37fc712e33d5903d74b7cc7","datavalue":{"value":{"amount":"+0.8314855694770813","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":"Q4804171$CEC8F0E6-C394-46B1-BB37-F62C456F590A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1c9b601d38478d0b7c91aabed3efef52853f15c","datavalue":{"value":{"entity-type":"item","numeric-id":1331279,"id":"Q1331279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e2d42e39164ab493eb0feefd7c81a4dd3724fda","datavalue":{"value":{"amount":"+0.8314853310585022","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":"Q4804171$3EA2DA84-66F0-4B3D-AC67-1015EB025F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"491d5c3939036934c74a6c34ab407042952829fd","datavalue":{"value":{"entity-type":"item","numeric-id":578578,"id":"Q578578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b4a3a99a102a7decaf78320c9bb9f7719236fd7","datavalue":{"value":{"amount":"+0.7536786198616028","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":"Q4804171$2D69F1CE-F14F-407E-B134-3C727DD787A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad6e0f2eaef6f3044d8a9c8eba08de0204af5f6a","datavalue":{"value":{"entity-type":"item","numeric-id":3338853,"id":"Q3338853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f94ad9a9f809e804fc7b2036680b2882395cf4b","datavalue":{"value":{"amount":"+0.7477215528488159","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":"Q4804171$8CC4C453-06DE-4DF4-AA7D-B1036B6A6F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1700a3f8419377f0fd03f4e5af8d0cb69bc6e4bc","datavalue":{"value":{"entity-type":"item","numeric-id":265631,"id":"Q265631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9afa49dda1adc451e6f570f07ca82b1c9dc6aa4","datavalue":{"value":{"amount":"+0.7018566727638245","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":"Q4804171$12F88424-441A-401E-9880-88B7294321EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sperner spaces and first\u2010order logic","badges":[]}}}}}