{"entities":{"Q4635883":{"pageid":6665464,"ns":120,"title":"Item:Q4635883","lastrevid":53070848,"modified":"2026-01-24T04:11:13Z","type":"item","id":"Q4635883","labels":{"en":{"language":"en","value":"Hanf normal form for first-order logic with unary counting quantifiers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863497"}},"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":"Q4635883$1B6C5AAB-74D8-402C-BB85-377271C9501F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a1e6b9c67614eb5d3b162d404f9a80b699be966","datavalue":{"value":{"text":"Hanf normal form for first-order logic with unary counting quantifiers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635883$2E03A4F6-8243-4071-87FF-57D865805131","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a17856dc48e666d2cb3b1b71a15704e274256bda","datavalue":{"value":"1394.03061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635883$A7BD11A7-DD48-4795-87C1-2A4C13361A35","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"23479c1a618047724a51a817cb285238686b79ed","datavalue":{"value":"10.1145/2933575.2934571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635883$41358BDD-8540-4489-A9B1-F2D6DCB3ACAA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be264511ffc8abedb86f85fd6d62fd22293a8a8c","datavalue":{"value":{"entity-type":"item","numeric-id":3460421,"id":"Q3460421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635883$16C2EF16-2F70-461E-B8C8-E5D8D4F4E05A","rank":"normal"},{"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":"Q4635883$CA96509F-C0D9-4252-A2E2-2FDCDC872946","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":"Q4635883$0C3FB258-09F2-40E8-92F1-E1E0920B9101","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"046029701eaa27e11deafdbb503d5ba484152a43","datavalue":{"value":{"entity-type":"item","numeric-id":4635856,"id":"Q4635856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635883$0B401160-FB49-4443-BC39-3568C2C56196","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-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":"Q4635883$EFB33339-42D7-4C52-B051-8CFD12B1053B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635883$34581CC5-B784-4F13-817A-1A9614F79492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635883$DA514313-923B-477E-8475-7C28DDF9B605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635883$9ABB7ECE-53F4-4E80-983A-E36F12524983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635883$CE457B57-2A8B-4874-B97F-7E5386B7342A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"614247f7508a92d0f5706826777ca7f2f234a726","datavalue":{"value":"6863497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635883$8009A220-C5BD-4213-A2B1-06E77337AA5A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac77b73a419028a99e62a78661cb450ff531af3a","datavalue":{"value":"extensions of first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635883$5FC614B9-5278-4933-85A4-3C30545F825B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9e0a303ffed34c35b265a288e5b9064ddccd4bf","datavalue":{"value":"Hanf locality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635883$FCC9F43A-42A6-4775-A759-2AE7F5481B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07b64447c01a0e6945cf8ec88719e5d6b57e9100","datavalue":{"value":"elementary algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635883$45DF682A-B960-4B9E-AA03-D652789F178F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635883$0096C9F3-F7EE-43BE-B031-814FA668516D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bed784055c5b88ce4e2bb25409e2209527b499","datavalue":{"value":"modulo-counting quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635883$866F588C-8352-43C2-BC22-68869A0AA9E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8af76bfbe81b16541cca3b1ddbd068d9d6b8d69f","datavalue":{"value":"normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635883$687EB6E6-D9E9-4D88-A791-8779CC6AECAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e07b265f1ad0ce3e43ad3fed0bd769750654eb2d","datavalue":{"value":"structures of bounded degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635883$EE2A6E40-280B-4163-BE71-3191237144B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64d72cab2daef0cfe83cccf378989ff0e3095c18","datavalue":{"value":"ultimately periodic sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635883$A252363A-8D29-47E5-8538-ACA61D4D31DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"705e57ef65bdf3cc325871f8101802eb9372a984","datavalue":{"value":"unary counting quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635883$C7DEBDC1-346E-4937-82FF-690F88CA2CEB","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":"Q4635883$0AA33A2A-253B-4158-8F9D-A24599BC5286","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa52559afe146c37f76238944636769ce9119c95","datavalue":{"value":"https://doi.org/10.1145/2933575.2934571","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635883$8A813924-797F-4E6F-877C-01D4569EE03F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cd49d46d3371a31fbf817886fd4856e5a114fa28","datavalue":{"value":"W2530085392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635883$9A3B2257-A119-499F-AE56-EC9C920C3CBA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6a86651b000f66c67ecace7847f90c0f1a7e28fc","datavalue":{"value":"Q130849073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635883$F12F1838-C8B3-4554-B454-D53A902C3716","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf3f50bea3aa76e6998a2f8406f3e316261b7cc1","datavalue":{"value":{"entity-type":"item","numeric-id":5144680,"id":"Q5144680"},"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":"Q4635883$4DCFB2F2-8A53-4673-AA10-1F68D2F6F1B6","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":"786f24703dda503394da687a1ca81660f83e2a30","datavalue":{"value":{"amount":"+0.8633456826210022","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":"Q4635883$9D3A86CD-6131-4A79-A4E9-2265D6FF8F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab5662054af9afd1992cf301e3fe479de7f99d34","datavalue":{"value":{"entity-type":"item","numeric-id":420856,"id":"Q420856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f08fd4e3c0b4ccc44597fb076ef3549889cd8a5c","datavalue":{"value":{"amount":"+0.7735843658447266","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":"Q4635883$3E39E905-B99F-4F7D-A1F6-8D364E67FA99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b9638643072faff1c89f8b49af52f812e7ffd81","datavalue":{"value":{"entity-type":"item","numeric-id":4666943,"id":"Q4666943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"670124b9e719ba68dc7fc874f0ee76a341f700ed","datavalue":{"value":{"amount":"+0.7434646487236023","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":"Q4635883$ED21B7B9-9F4A-426F-B32A-37BAAE493075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62267cc504c4f0be602515d1d6ae79b5d6a84ffa","datavalue":{"value":{"entity-type":"item","numeric-id":672336,"id":"Q672336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87d3b79bf2601bc61301d17e696aec0a9cdd8432","datavalue":{"value":{"amount":"+0.7389256954193115","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":"Q4635883$C9077D9E-DA17-424F-A5D3-43503A878F5C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635883","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635883"}}}}}