{"entities":{"Q2284182":{"pageid":2294925,"ns":120,"title":"Item:Q2284182","lastrevid":55372495,"modified":"2026-02-17T14:43:33Z","type":"item","id":"Q2284182","labels":{"en":{"language":"en","value":"The undecidability of FO3 and the calculus of relations with just one binary relation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7150813"}},"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":"Q2284182$E99F2ED7-5524-4174-B008-EAD821609B50","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba78a4f9f326967198c36903178c479010e6c570","datavalue":{"value":{"text":"The undecidability of FO3 and the calculus of relations with just one binary relation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2284182$6AA8E97E-4BDE-4F1D-9C74-37E92BCCEC23","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"55df6059d028d2c4c12544c046417f91fdbe676f","datavalue":{"value":"10.1007/978-3-662-58771-3_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2284182$DEA76839-FA35-4A68-9344-D779D205DB3A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b0b852d5693154dd82e93dd8af13a88a0887074","datavalue":{"value":{"entity-type":"item","numeric-id":2062199,"id":"Q2062199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2284182$42D7207C-12DB-4481-B244-F61046217084","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"945aeaf7c219820e626afa57f9ae821b0aa71dd9","datavalue":{"value":{"time":"+2020-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2284182$A356E771-137F-4B06-85AE-54CFE78A85C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"11cabf296cbf78cefb4c4e9ef3c9625682c34a7d","datavalue":{"value":"03Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2284182$0223152B-4922-4782-8DAF-4083C81FCFE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2284182$65CE349D-278D-41D8-AF9C-69DDFD4D03A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dbdcc02f41e4fbdbbca7e6f878105c3a4d8bb3b9","datavalue":{"value":"7150813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2284182$E66E4707-5A11-457B-84A2-9D13B24532FA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2284182$3798764D-09E5-4F64-8BE3-651508614451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e209d40aeb4fdbf27192dcc4533d9ce02e80289","datavalue":{"value":"the calculus of relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2284182$FE583FF7-2E48-4C30-8D23-EB95432D598F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2284182$93BB388D-E496-4719-A0B5-0AF932AB70CF","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":"Q2284182$CAD7A04B-CE70-455B-AD63-356EC9F480E2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ceb7b0a1145f6b8218293d7789f7854796923708","datavalue":{"value":"https://doi.org/10.1007/978-3-662-58771-3_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q2284182$EC8B7DD4-14CE-469F-86DE-38298A224D70","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e40e04ed9f40f804a22c6b970c5f91ee1f7a4797","datavalue":{"value":"W2911544256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2284182$7E4081EE-558F-490E-B7D5-76F889BDF5ED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06f6a50e9a1e2200c7d08129c1a8425258d7a8ac","datavalue":{"value":{"entity-type":"item","numeric-id":2915891,"id":"Q2915891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1b00e172f65a3891c9c8448dfec66781e95bb40","datavalue":{"value":{"amount":"+0.7296842932701111","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":"Q2284182$73152A40-307E-4F1D-B96E-4C0428205C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e303d284b54b798bcf91b5370d140139519f44b0","datavalue":{"value":{"entity-type":"item","numeric-id":4881682,"id":"Q4881682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f93ba65d5cd628cd27c240272ccbe539358a08e","datavalue":{"value":{"amount":"+0.7229486107826233","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":"Q2284182$6F327AC8-3F56-405C-B0E6-9F4D1A1833F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36710d3800ebad5721e0327d7ef51429ed5e8cf2","datavalue":{"value":{"entity-type":"item","numeric-id":5048929,"id":"Q5048929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fcb82c49bdfabec70b587c734aa327f087908e9","datavalue":{"value":{"amount":"+0.720383882522583","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":"Q2284182$EDA7AC55-CFC9-4D88-BA4B-8A8341E9D843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"def9303601b1fc4750bc5df3a6d3dd4f42b34daf","datavalue":{"value":{"entity-type":"item","numeric-id":4899169,"id":"Q4899169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f99d1f1a43854983d562704bf2dfc6905e411df","datavalue":{"value":{"amount":"+0.7198461294174194","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":"Q2284182$B9A5B45B-39DF-4862-BE85-802AF66F23E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2284182","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2284182"}}}}}