{"entities":{"Q1892224":{"pageid":1902966,"ns":120,"title":"Item:Q1892224","lastrevid":71081235,"modified":"2026-04-13T19:21:14Z","type":"item","id":"Q1892224","labels":{"en":{"language":"en","value":"Computing with first-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 762174"}},"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":"Q1892224$C078A326-CC2E-483D-9B5C-990E62628A43","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"575085dc9a0a8ea95462ec857babab65a17027d3","datavalue":{"value":{"text":"Computing with first-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1892224$A07454F2-03A6-43D7-B010-6CBBF86AE431","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e012136ec451ab25a998663315f641a84d4e70ef","datavalue":{"value":"0827.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892224$78B0344D-6FFD-4E95-9FAF-72BD8C37C66C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c22e7097f99e26c20e55611d3e4c29e5f205dbe","datavalue":{"value":{"entity-type":"item","numeric-id":269309,"id":"Q269309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892224$DB6B513D-328A-4980-BCAC-65EED107CD79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6229ce91bd04dfd8e4a4b2051753c370a830dd6c","datavalue":{"value":{"entity-type":"item","numeric-id":269322,"id":"Q269322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892224$7AB5A039-2D31-424B-A1E7-1C52CDFF4D65","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892224$12167316-6CF3-4DC5-BD34-F9BD0AD02980","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"386899a2f7f5312326ce9f76962005ca6df0d8d1","datavalue":{"value":{"time":"+1995-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1892224$094F1761-0A03-462D-AEC7-99616FFF7E91","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d3251f7daad337a76de48a9b0b1d1ce652daf570","datavalue":{"value":"https://semanticscholar.org/paper/407090b8f18ca3af6b73e74c2b9e616aa0af7b91","type":"string"},"datatype":"url"},"type":"statement","id":"Q1892224$C8A0FE3E-07A1-4EFE-A125-D2FDF7DC5991","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892224$718B5E81-6221-4AE6-BF4B-2E6E172D12FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892224$2B2796B9-D3EF-4F7A-8FA2-01FCEAEF9AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892224$98D8D287-3E89-4651-B1D4-31629591802E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd6499075de76824037457fe456e72e6310ade60","datavalue":{"value":"762174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892224$A01B2255-23FD-4E6F-AD63-78C52A90CFA7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f43e19017dd3e5d896eb23d0da3beaad8ed1c3a8","datavalue":{"value":"database query languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1892224$55D299AD-C733-4000-91B7-26884CD21FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1892224$ED337AA5-A5A8-4130-B995-426313108F7D","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":"Q1892224$9836E0A6-00E1-494F-ADCF-3E8B376F83AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e78072b09d633b9059c650c41497b91072d7b8b7","datavalue":{"value":"W1984930242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892224$A222524B-3578-42C9-99BC-6C2EF93CAEBE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"95b367aa0dbd8ef75f07d7c7c5016c1a00356e4a","datavalue":{"value":"Q56610324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892224$E1ABCDC0-7B0F-4619-A11A-9AB02B4C0757","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4145b50e7209a1c698c01086d0a84b6e08ee8c03","datavalue":{"value":"10.1006/JCSS.1995.1025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892224$93AC32B3-345A-45B3-8068-88A9584FCEC1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e361e38977787cf16bbc51fd0c1b8fdcbb76d9b0","datavalue":{"value":{"entity-type":"item","numeric-id":672337,"id":"Q672337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46b278a9be2f88fe287925bb56f85b1fcea898b3","datavalue":{"value":{"amount":"+0.8226519227027893","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":"Q1892224$4EC4954A-AD41-4096-AFED-828D7612A7B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82273606020bb712f13c695c2025cb4eeb3af360","datavalue":{"value":{"entity-type":"item","numeric-id":4371697,"id":"Q4371697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa36ac77d0b99d1802c612089b3c2f4af142c466","datavalue":{"value":{"amount":"+0.8103925585746765","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":"Q1892224$807FCC5B-8D02-4371-96B0-D52083D04FE8","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":"beb8f23c2b24848fdac6c0bc1cad32a8b11c5c0f","datavalue":{"value":{"amount":"+0.7877881526947021","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":"Q1892224$7DF87B64-E340-4604-BA7D-A3D64B862D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c85214c6893aa6423eadb5a8f3d755e72e01953","datavalue":{"value":{"entity-type":"item","numeric-id":3753525,"id":"Q3753525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"beb8f23c2b24848fdac6c0bc1cad32a8b11c5c0f","datavalue":{"value":{"amount":"+0.7877881526947021","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":"Q1892224$7EFC9287-8F15-4FDC-BD5E-9B618F1707F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0984c2055e7f215897c5b8b9cf5fe664c8a8426","datavalue":{"value":{"entity-type":"item","numeric-id":4210768,"id":"Q4210768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"691c6b1ec57c86ca4417e84d9f621b593c50c2ed","datavalue":{"value":{"amount":"+0.7834168076515198","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":"Q1892224$E45118FD-CA26-4FBC-A78A-03D37268FF39","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computing with first-order logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computing_with_first-order_logic"}}}}}