{"entities":{"Q6529050":{"pageid":14140111,"ns":120,"title":"Item:Q6529050","lastrevid":40044269,"modified":"2025-02-13T14:57:06Z","type":"item","id":"Q6529050","labels":{"en":{"language":"en","value":"Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations"}},"descriptions":{"en":{"language":"en","value":"scientific article from arXiv"}},"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":"Q6529050$BD17E38F-181F-41AD-AD2E-2634E98FE803","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"41a3861a8e4acae04174aa6a25e029eb7df4986a","datavalue":{"value":{"text":"Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6529050$A3D62EF9-6ADC-4B32-8248-C5D631B311FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"76722ee993ef1bba5eff4ce8b9dbe5e1d07862be","datavalue":{"value":{"entity-type":"item","numeric-id":239516,"id":"Q239516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6529050$FDDC6A75-ED84-4F03-B7D4-F5FBCF434C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a400f63fb65fdbb9cd5ac7576d054d4b1a7834c","datavalue":{"value":{"entity-type":"item","numeric-id":1181481,"id":"Q1181481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6529050$8CD9A5A7-88A6-4E06-A2D0-FC991674485F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6529050$712B14F4-0355-4E34-95F8-2909FDC31757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6529050$21F7400F-F532-451E-8DD2-40614801A0A3","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":"Q6529050$4561CC8D-D188-465B-A765-15AEFDBFA33D","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"35fee5ebdf185d0fc30a655e766c5d89015c8687","datavalue":{"value":"2404.02683","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6529050$7D30D6AD-95F8-43B5-97BE-3CCF542C5CD9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6529050","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6529050"}}}}}