{"entities":{"Q5144680":{"pageid":7174251,"ns":120,"title":"Item:Q5144680","lastrevid":58448907,"modified":"2026-04-05T06:41:58Z","type":"item","id":"Q5144680","labels":{"en":{"language":"en","value":"First-order logic with counting: at least, \\textit{weak} Hanf normal forms always exist and can be computed!"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7297881"}},"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":"Q5144680$2113BB2C-7424-47D0-8AE1-F70F7020C4F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5feb650608e63b4aa24e6d4fec5e54b7d338d740","datavalue":{"value":"1452.03087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144680$284E5B40-659B-4332-93B0-89A69491E9C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fde056a0f6fc0570a0a106ebb1024eb76bcb30c9","datavalue":{"value":{"entity-type":"item","numeric-id":389233,"id":"Q389233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5144680$C2548968-0695-4815-AB8B-0606D7AACD45","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":"Q5144680$4F5BF8D2-EEE9-4287-BD8D-B558EDA81C65","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1a70f16fd8e81a4c35439aeec3d3645cd1e55e6","datavalue":{"value":{"time":"+2021-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5144680$77EC1799-2184-4FD2-8FA1-8DE71608596B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bbe7e8f866d6633ce8b36969f0cf6419a4e4bb49","datavalue":{"value":"https://arxiv.org/abs/1703.01122","type":"string"},"datatype":"url"},"type":"statement","id":"Q5144680$6EB82A78-5293-4400-8314-2C1BAA0EC931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"41cf47243bedb503468a4421bab38e8558cd9b29","datavalue":{"value":"http://dl.acm.org/citation.cfm?id=3330068","type":"string"},"datatype":"url"},"type":"statement","id":"Q5144680$F67241D4-EE76-43D1-9FD4-0901BD13EF7D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144680$F43F82FA-AE7D-4FE0-A6A2-A0E41043921C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144680$B130089F-174D-4DAE-A05B-BF3A404B4428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144680$C4A406D8-D66A-4508-9311-4E7F30F21C6E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af872bcf2f3b5740c9a500a2d3b61028b6f697fb","datavalue":{"value":"7297881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144680$2B40286E-11CD-440B-80A0-39F540BC9E7D","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":"Q5144680$B0494568-E2F2-4512-9AAC-07400ED7802A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6581a6f108a2828513ff5f4a3321869e546b0c2","datavalue":{"value":{"entity-type":"item","numeric-id":4635883,"id":"Q4635883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb53c7bb67912b8e97d5a24f81a8a360878923de","datavalue":{"value":{"amount":"+0.8717578053474426","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":"Q5144680$D951C873-345F-4FAA-BD70-95729ECE2230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"660c3447e263facc0ffab5cbc06a9715f578c1f5","datavalue":{"value":{"entity-type":"item","numeric-id":5002820,"id":"Q5002820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96cce7e628441f8d3cd9545aa418d299d482ac38","datavalue":{"value":{"amount":"+0.8254119157791138","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":"Q5144680$F4E7FCE4-A137-4CAD-94B2-099DA0838117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebe090192c1c182ca743995e47535ff38cdd8bdc","datavalue":{"value":{"entity-type":"item","numeric-id":4955350,"id":"Q4955350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44c505b92f6fdb07387d96328df1ecbb125cae68","datavalue":{"value":{"amount":"+0.8205253481864929","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":"Q5144680$77481E23-44FE-48E3-AC65-69312D0DF0EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32a8d1442ae03d1ec47b8d2efd1e60140c7f71bf","datavalue":{"value":{"entity-type":"item","numeric-id":5738897,"id":"Q5738897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f26ce74d6c6745589bb92b2a52a37805064af79f","datavalue":{"value":{"amount":"+0.8051175475120544","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":"Q5144680$CDB14F7F-E9E5-44F1-B265-E57097A44613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"587553d2fea14f83e8a1020120a017bb9c111221","datavalue":{"value":{"entity-type":"item","numeric-id":4879905,"id":"Q4879905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e09a7697316720944c1f1035e06048e099ab9a0e","datavalue":{"value":{"amount":"+0.7840807437896729","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":"Q5144680$2EE792C1-FF2D-4185-A0F6-212B49AD55D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5144680","badges":[]}}}}}