{"entities":{"Q5145301":{"pageid":7174872,"ns":120,"title":"Item:Q5145301","lastrevid":58447701,"modified":"2026-04-05T06:34:51Z","type":"item","id":"Q5145301","labels":{"en":{"language":"en","value":"Unary negation fragment with equivalence relations has the finite model property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7298753"}},"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":"Q5145301$80DF0A30-6D01-4251-9C02-B81AAFCFC11A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e33ca6369699cb762566884d6796efebf78c990","datavalue":{"value":{"text":"Unary negation fragment with equivalence relations has the finite model property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145301$D0E95F0E-37D6-4CC9-872E-330C11990461","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"076246a5334d9f89a430f88a07d3539468b55a44","datavalue":{"value":"1452.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145301$BE001BAA-ACA7-40C8-8D40-8900285E0398","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44e66c109f859f3a01c2377216d82f1867f6d9f2","datavalue":{"value":"10.1145/3209108.3209205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145301$8AC41A04-A9A3-4DDC-B125-4813C52FD989","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"396b97e1671607d801e01f25b130d780932cd1f2","datavalue":{"value":{"entity-type":"item","numeric-id":5092375,"id":"Q5092375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145301$8168251B-B0ED-485F-9A8C-3AA743883DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cd410d92a5a623419be489b4cef5a0bf226c0ee","datavalue":{"value":{"entity-type":"item","numeric-id":859826,"id":"Q859826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145301$79F15B28-DCE6-4988-951F-DE2AB2C6F789","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ee82b0c640d35f6663be3f8a5187d8cc540da0b3","datavalue":{"value":{"entity-type":"item","numeric-id":5145269,"id":"Q5145269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145301$F1D76C14-B738-4CE8-9263-B1DC94A1946B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"233394734482eba32ed4ee15da745b1ac2b96149","datavalue":{"value":{"time":"+2021-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145301$E582D3ED-0847-43B0-8EFC-6676CD5FF49E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"25f560e1accd73f0feed71f52919d28b06589255","datavalue":{"value":"https://arxiv.org/abs/1802.01318","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145301$15B1192C-B10D-4E07-A721-401554AB25F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145301$D6157508-28FD-479E-B9E7-060768109725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145301$170906CB-0B3B-4A9B-87A0-455F86BBE977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145301$3B600DB2-2EAC-4205-8FB8-F17C8EAD7ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145301$0FAA5FAD-55A6-41F6-989C-937F66B980F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c7e52318e857bfcc1955665c65096cb9dbf3fa2","datavalue":{"value":"7298753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145301$8CC91544-543C-4AB8-80D4-CA84F63267FD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"280c8f9b5cab95a2a15b895bdb10674b8006f46a","datavalue":{"value":"equivalence relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145301$F71EA1A0-455C-434A-9D08-9270B429EC0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145301$3B8441F7-9D5A-464C-BD66-BF93609669EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"352e0e98b1946578a4d14d613a018d2c7e6139e7","datavalue":{"value":"finite satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145301$B36CD3B9-AEDF-4EAC-9C87-08A8CE573E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145301$7C8E3A18-09C0-4CEE-B0DD-2ECDFDCD6F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91125dcb580bdac3bb9b25f7d04781f1698bf755","datavalue":{"value":"unary negation fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145301$7909713C-3000-4819-925A-A26F0E415CFE","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":"Q5145301$7B91AE1D-4881-4A99-B00A-BA8155C8519D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9b7bf67c8d1a4d9e08ed523eb9dedf2dc2576520","datavalue":{"value":"W2963661828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145301$630AE7FD-2845-4AE5-BF22-B497AD2C93CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"244a0963b883e9eef4e4cbf91a9e377f764c96b3","datavalue":{"value":{"entity-type":"item","numeric-id":3113699,"id":"Q3113699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b4d7cf4c6bd88a0bddff7ada242a4b360c962f5","datavalue":{"value":{"amount":"+0.8332527279853821","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":"Q5145301$0CA7653D-1C1A-4762-AD20-CFFB4BEADA56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8689df75805f49277df352e8a6bfebf91eb622f6","datavalue":{"value":{"entity-type":"item","numeric-id":2848370,"id":"Q2848370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d74ad295eec820bfee88233e2f571d47febb9fa1","datavalue":{"value":{"amount":"+0.832655668258667","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":"Q5145301$11E9DE07-9593-477A-AE87-538B81441B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfe6238421e405dbeac640d3fceacfe44e535294","datavalue":{"value":{"entity-type":"item","numeric-id":5351985,"id":"Q5351985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6bf5b23c57bd299e6c8905674dc69ca679795af","datavalue":{"value":{"amount":"+0.7906584143638611","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":"Q5145301$689F1E0B-A3E9-4736-9C7B-DFC8AE2262EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db755e0e57483d43d69aae43fb741771bc1f6161","datavalue":{"value":{"entity-type":"item","numeric-id":890969,"id":"Q890969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"249d242f129f9d0fbe2a55bd1d03f868c2ae0f9e","datavalue":{"value":{"amount":"+0.7646170854568481","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":"Q5145301$9B9D7E19-9A77-46FD-AD79-1299A2D6FBCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6cd1c0f25dd0342adf67d97d4fd01ece315ad29","datavalue":{"value":{"entity-type":"item","numeric-id":5892612,"id":"Q5892612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ecbbb54031ead0f9dab7e1d65e8349e80f13a35","datavalue":{"value":{"amount":"+0.761742889881134","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":"Q5145301$16B6AFF4-9710-45EA-AE30-FFF284D01B1D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145301","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145301"}}}}}