{"entities":{"Q4995355":{"pageid":7024932,"ns":120,"title":"Item:Q4995355","lastrevid":58387578,"modified":"2026-04-05T00:13:12Z","type":"item","id":"Q4995355","labels":{"en":{"language":"en","value":"Some Turing-complete extensions of first-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7362719"}},"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":"Q4995355$D18CB9CC-6856-4504-9EBB-F94BC16C1668","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b3c22bb9162d2dacdb7bac8c3f61a1c63a18c56","datavalue":{"value":"1469.03084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4995355$684C0CD9-6992-4246-8517-CA68216BC4B1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5701ad4194f8eb6060f36ec886e2cd63ec21f5c5","datavalue":{"value":{"entity-type":"item","numeric-id":259070,"id":"Q259070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4995355$0DD98857-BFF5-458E-91A1-57C43052C5E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"98ccd645dac13aee75d2844835d2fad35a9a43cb","datavalue":{"value":{"time":"+2021-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4995355$8B449CCD-2AB5-4703-AEB8-7799D667E396","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"47f0a129bc38107494759bfde33c7e2144526dc2","datavalue":{"value":"https://arxiv.org/abs/1405.1715","type":"string"},"datatype":"url"},"type":"statement","id":"Q4995355$B971F0EF-FA08-4731-ACDC-060C4D772EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"e058ccfd4ed4d56952df1652eb4f9c8254ae2ebd","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?GandALF2014.4","type":"string"},"datatype":"url"},"type":"statement","id":"Q4995355$61F76166-A8A3-478E-9692-F1AABAC20DE7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4995355$DC5F5DB8-5662-480F-BB28-BD912775AC67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4995355$0CECF4CE-9D1A-4DB1-A4A8-F5784AA19378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4995355$5CAFA05F-E5C8-4530-9AA7-ADA579AA31E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82726a1be816cdbfcdef7aa9165a7c9a04f97bc3","datavalue":{"value":"7362719","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4995355$70A9FFA3-35F1-4410-B577-2D452CA75715","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":"Q4995355$87FE7283-DA87-484D-938E-0A52FF86F675","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc5b6cdbe9ffe48c024d4bcaeda9441c4a3c1b4d","datavalue":{"value":{"entity-type":"item","numeric-id":2176413,"id":"Q2176413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1385756baf4dcaae26584d3002546e9e5365707","datavalue":{"value":{"amount":"+0.7277194857597351","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":"Q4995355$A85ECF25-3EBF-4C2D-8AF5-CFDB61524D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32782c00400833a9c0d7a61411b35475526f487a","datavalue":{"value":{"entity-type":"item","numeric-id":1090327,"id":"Q1090327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d60fe3bb5f96e99bd2f16c7a4a4b32e30d51e64","datavalue":{"value":{"amount":"+0.7271976470947266","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":"Q4995355$CA0F3DBC-6D78-4B97-91AF-8B90D2B7AFC0","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":"739cfe25a471e08aca30e80ebadd7e558b48f7d6","datavalue":{"value":{"amount":"+0.7265300750732422","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":"Q4995355$4D1C88DF-BDE6-4A56-BF56-D2EB0C8138F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba6c86cde344c7e56cfed26c2a1a0ceecdebe841","datavalue":{"value":{"entity-type":"item","numeric-id":1892224,"id":"Q1892224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"739cfe25a471e08aca30e80ebadd7e558b48f7d6","datavalue":{"value":{"amount":"+0.7265300750732422","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":"Q4995355$A81EB39B-4191-4C62-9213-930572DE3A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67b06cedc1c0941da1031ab215707334c383e100","datavalue":{"value":{"entity-type":"item","numeric-id":3758820,"id":"Q3758820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4362b289c47928e12b53850eec34067c15dc6989","datavalue":{"value":{"amount":"+0.726095974445343","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":"Q4995355$D25E383C-0E72-4095-9023-5B70C1E011F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4995355","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4995355"}}}}}