{"entities":{"Q420856":{"pageid":422623,"ns":120,"title":"Item:Q420856","lastrevid":61712421,"modified":"2026-04-11T01:08:37Z","type":"item","id":"Q420856","labels":{"en":{"language":"en","value":"An optimal construction of Hanf sentences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6037810"}},"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":"Q420856$B89900CC-980F-4230-AD60-B21E24ED2E1C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b73fdc833376b13e1bb84d93eac108473463d6a","datavalue":{"value":{"text":"An optimal construction of Hanf sentences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q420856$59FD2DEA-C9E7-4074-8DB9-8087E9A63EFD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13b9acfbdd01b27e8180b2ae09c3b7373062270e","datavalue":{"value":"1258.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420856$122C7921-8B1A-419C-BDBE-EA260C5FFC09","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65221e215393442395d12a6532e173c4dee8b90f","datavalue":{"value":{"entity-type":"item","numeric-id":420854,"id":"Q420854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420856$4A856AFE-7D35-4DBA-9532-E07AB671EC4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8f9028ed4d5274f77df4d4f9e07b117d4309ffd","datavalue":{"value":{"entity-type":"item","numeric-id":420855,"id":"Q420855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420856$FDD6BCB4-0059-4F08-9651-5678AC271AF1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420856$C2F52828-84D6-4797-B44B-6F4FD01A8B4A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a791962b7bf8be6759d99d8d914e7c75a4b20fc2","datavalue":{"value":{"time":"+2012-05-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q420856$1431BC18-57C7-4D35-9B85-9ABFF0C58539","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7e43e525ac7796107a684ebe2cb13cff18370bc9","datavalue":{"value":"https://arxiv.org/abs/1105.5487","type":"string"},"datatype":"url"},"type":"statement","id":"Q420856$909B0A91-3635-4382-981F-02A1F6CC8E84","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420856$EF05926E-B1C6-450C-BFA6-8CBB69C49BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420856$77DFC6BC-BF48-47EF-9893-9FDC8F04A847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420856$2397D804-4005-40B0-A67D-185C58D0089D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a4f2b706fa81f5282ae22552e59878021933c77","datavalue":{"value":"6037810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420856$08CC9DBE-3A56-421E-BFC2-79D96329B71C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d84ee198094b9f332ad420d04b359f1151109ba0","datavalue":{"value":"locality of first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q420856$D128D342-AC2D-4083-902E-0DC46963750E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7eca82e7b450b7fbf630de7dfd00ee4ad8cca4d6","datavalue":{"value":"formulas in normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q420856$E5E72E40-BF62-477A-AB7B-E67FD3364779","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":"Q420856$A44D061A-C4E6-44C3-86EB-76290C40892B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fbb0d0c803ce5875be248d48f5142dfc3fb9cd67","datavalue":{"value":"W2963528658","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420856$F1329FE8-8081-452F-8DA7-461A2DB67C07","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d93451df5193ff36857124bab9011eb9b098280","datavalue":{"value":{"entity-type":"item","numeric-id":948076,"id":"Q948076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420856$B0F90EE9-AE54-4487-BBE6-586D603DEDCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44215fba535e4838ff9ef2f49cee6494643d177b","datavalue":{"value":{"entity-type":"item","numeric-id":2503037,"id":"Q2503037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420856$3E3F63C4-5DC9-4583-88E1-CC867E68FB5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4753b4659469e60d103626aaca4d897985fe79a","datavalue":{"value":{"entity-type":"item","numeric-id":5428869,"id":"Q5428869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420856$1C7EF601-1891-4534-8B94-E9B0B35C2625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fe45d83731e3d384f322fef389c28ac6f4419b5","datavalue":{"value":{"entity-type":"item","numeric-id":5277786,"id":"Q5277786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420856$772048E0-6FFF-42BC-9F51-4C6E89345D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d2c32b298b09103f7cc9eabedf752dc67f406d3","datavalue":{"value":{"entity-type":"item","numeric-id":4850061,"id":"Q4850061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420856$E5E117CE-DA9B-488A-9C67-25421EAA967F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2494aed4dea6d6b4ac7f1b1919e3e78be243741e","datavalue":{"value":{"entity-type":"item","numeric-id":1898480,"id":"Q1898480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420856$21C2FBAD-1878-4C90-97BB-8FE26DA6AF7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fea79ffe3a076af8b924158860accd261638c485","datavalue":{"value":{"entity-type":"item","numeric-id":3196630,"id":"Q3196630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420856$ECFC625F-8898-4BF4-97CD-8EAB88D43D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37582b4c778c46bf24fc41a8cb06c175f07e6d17","datavalue":{"value":{"entity-type":"item","numeric-id":1886318,"id":"Q1886318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420856$75E1A5A0-658E-4C3E-A09B-C530B83F5D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c3f72e4cfa0d440af72fe380c939fa418d344db","datavalue":{"value":{"entity-type":"item","numeric-id":3666827,"id":"Q3666827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420856$21AB0CFB-2CCA-4A44-BC91-69595A735664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46b66c120fa27423d8035cf9138e0114512779a7","datavalue":{"value":{"entity-type":"item","numeric-id":3504344,"id":"Q3504344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420856$80059693-C0D1-49FA-A584-5422EF7CB690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48db41e90e6fa9dabf9ce1e5e30266e541160d62","datavalue":{"value":{"entity-type":"item","numeric-id":988553,"id":"Q988553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420856$0E31148F-61E4-4AC9-A94B-256270EB09BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b670815da7dcdd09819fb6de23ae9ecf44b551aa","datavalue":{"value":{"entity-type":"item","numeric-id":1917078,"id":"Q1917078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420856$DEA46D60-2EA1-4BE0-9285-D3900038F90C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d51884ce52d70cd57236b11c06e7add9289d22b","datavalue":{"value":{"entity-type":"item","numeric-id":5551141,"id":"Q5551141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420856$E1B1D3F9-D9D3-41B1-B30D-756F6810A136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e52eba1070080c3825e183fcfe7cf31312a9c45d","datavalue":{"value":{"entity-type":"item","numeric-id":1764424,"id":"Q1764424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420856$2CE63F30-9399-45ED-997F-6C782D09498D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a0b710bb514f01bce099a59d107c26dc1f4820f","datavalue":{"value":{"entity-type":"item","numeric-id":5387304,"id":"Q5387304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420856$FD356CDB-833D-4C00-8133-2EAD348F7EE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55572c77aaa8c86e80caace119f77a021af010a5","datavalue":{"value":{"entity-type":"item","numeric-id":3107359,"id":"Q3107359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420856$245D32B4-235C-461C-97E1-8AABC43C5A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"717f0613f94c6a5360848d447324e634c7ab48a2","datavalue":{"value":{"entity-type":"item","numeric-id":5738897,"id":"Q5738897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420856$57073DA9-72E3-4C2C-82CA-0D1DD288125B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e58bac6208e0b257239f199b4609b34b8219a6","datavalue":{"value":{"entity-type":"item","numeric-id":703864,"id":"Q703864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420856$BC264557-0618-4CC3-835B-D878342B6D4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"452e876574a781c9b0bcfc530d221d6350f49485","datavalue":{"value":{"entity-type":"item","numeric-id":3532152,"id":"Q3532152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420856$FBA8B362-E3F1-45AC-B687-43DAA23BACDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f54fad673f4c35626384a9f87e4fd22580dd23ea","datavalue":{"value":{"entity-type":"item","numeric-id":5848895,"id":"Q5848895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420856$246A45EB-189D-441F-9DFF-C7644DCECD4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2de3ec857f6169c81f2908b5b9720efbe3cb44f0","datavalue":{"value":{"entity-type":"item","numeric-id":1168744,"id":"Q1168744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420856$E4B97EA4-0A3D-4A03-B0B3-E3B211B75C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b43bc3dfbf90aec36c1eaff70695c0219df9229e","datavalue":{"value":{"entity-type":"item","numeric-id":3836531,"id":"Q3836531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420856$25A9CCD2-478C-44A1-8A2E-1F8B1447D989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"147043b699458bdb6af35631312a51a6952fa481","datavalue":{"value":{"entity-type":"item","numeric-id":5284545,"id":"Q5284545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420856$32E9B46F-D938-448E-A7D8-445344211E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18fafb09cac9e7930919436b28063946a6fdfc51","datavalue":{"value":{"entity-type":"item","numeric-id":5833217,"id":"Q5833217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420856$49F02BA0-828A-4F84-AAF6-F1C4300E021D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe929f01fa86af5ec1780a3fd0d8f9ac3346a63b","datavalue":{"value":{"entity-type":"item","numeric-id":4714446,"id":"Q4714446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420856$9247528C-F9C4-434C-8E40-41E80D0F7288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43a2afaf32777a76e5fd61b97c3fbc80cadd3c26","datavalue":{"value":{"entity-type":"item","numeric-id":4323040,"id":"Q4323040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420856$6532D2DB-DD57-4EC0-967C-768FF5C0338A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ddec124a9917e6a8f0135af3facb26dbb56eed7","datavalue":{"value":"10.1016/J.JAL.2012.01.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420856$C56D5038-7502-4F0D-98FF-84AD21F5E6F0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cb83183ed03d87343e3414a5b227f96abf2e105","datavalue":{"value":{"entity-type":"item","numeric-id":4029602,"id":"Q4029602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b63a8fcbfa49c90511de80d583bffe0dc22515fb","datavalue":{"value":{"amount":"+0.80789375","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q420856$669DD65D-6A64-4B69-AFA8-03D3F6FF3500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f6f16903221c3706dda4976c4007e748246f154","datavalue":{"value":{"entity-type":"item","numeric-id":1201346,"id":"Q1201346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"376bda38680cf604bca8ee3fd8407cf904c0b480","datavalue":{"value":{"amount":"+0.79895145","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q420856$6BF64547-3925-40F8-B078-894F70F082E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"696cace6153fc6709513305d3c0b300ceb8cb754","datavalue":{"value":{"entity-type":"item","numeric-id":3336719,"id":"Q3336719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba2cc6be444128db7335b2a6c09dcb5956088cd0","datavalue":{"value":{"amount":"+0.7945435","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q420856$72EDBFDE-A819-4DC6-B82A-B761451B3BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cc3e827334c20bd57f7e37f87247e02d600f1be","datavalue":{"value":{"entity-type":"item","numeric-id":4544448,"id":"Q4544448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d18d23d5f40bbd0033c765ec80bbbf177dc79935","datavalue":{"value":{"amount":"+0.7944986","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q420856$10FA55B5-729A-4F7D-BFCA-0ADC8F447767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39d1648640093ff26039be6b70c088a8406c59a0","datavalue":{"value":{"entity-type":"item","numeric-id":4799360,"id":"Q4799360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79252b9c0a46b14a43f916e575d4f3d40cd7e44d","datavalue":{"value":{"amount":"+0.79317176","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q420856$19DE0FDD-DD08-48BB-BD89-A9EF5E8DE047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cf9e60e7023ad28aa0a08dd86013765a3ccc449","datavalue":{"value":{"entity-type":"item","numeric-id":4428179,"id":"Q4428179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04f23d8e789958e9e28e4dafc75f3c42daebcd10","datavalue":{"value":{"amount":"+0.79176617","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q420856$DA667E45-06A8-4772-AD8F-83A0367CBC7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d5b742456eace0b06181c565baee2aecc4060ee","datavalue":{"value":{"entity-type":"item","numeric-id":4681309,"id":"Q4681309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"791c3c052203cf977f625a169c53d3233d461ad8","datavalue":{"value":{"amount":"+0.79001","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q420856$066BBA2A-4CF3-4FCD-B67F-DE4333147617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ead2a6de1ae7cbd1b1b6316600f57b905dfec38","datavalue":{"value":{"entity-type":"item","numeric-id":5595165,"id":"Q5595165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b53753be296081c1eda71ab35cebc3a40ed338d6","datavalue":{"value":{"amount":"+0.78992033","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q420856$BF35C591-097D-45EF-B73D-346414B1B504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aee3da8365004122350d65539637629500266c87","datavalue":{"value":{"entity-type":"item","numeric-id":4314798,"id":"Q4314798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"780941a2361c61240d51952c7fc67f9600036d26","datavalue":{"value":{"amount":"+0.78931296","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q420856$56FA94D9-8887-4B31-9707-8231F5E94BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d305afdb8a9398cd6010b5aa12a55f69d457f597","datavalue":{"value":{"entity-type":"item","numeric-id":3321487,"id":"Q3321487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83efb9113034d38c45143069dac1554f389e93bc","datavalue":{"value":{"amount":"+0.7853569","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q420856$D9EFF555-7425-4C5C-876D-7765DA2427E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An optimal construction of Hanf sentences","badges":[]}}}}}