{"entities":{"Q892014":{"pageid":893862,"ns":120,"title":"Item:Q892014","lastrevid":52397081,"modified":"2026-01-22T13:37:11Z","type":"item","id":"Q892014","labels":{"en":{"language":"en","value":"Unification problem in Nelson's logic \\(\\mathbf{N4}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6510903"}},"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":"Q892014$4A756876-2876-407D-8766-473DE6F0D276","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5dd13bfd83e2295e01f61451f2eea3d73a1a74a5","datavalue":{"value":{"text":"Unification problem in Nelson's logic \\(\\mathbf{N4}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q892014$0ED2A83F-C61C-49E2-8247-590B84F72187","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"46032af8f834ed07d866ed910c010b2b521048c0","datavalue":{"value":"1354.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892014$3908240C-0EBE-4FA7-9280-6AFE98E68C18","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0130d7dfa48465b27c7417ad8f576e2f9bdfc77","datavalue":{"value":{"entity-type":"item","numeric-id":454379,"id":"Q454379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892014$C92C9113-609B-47D9-A7A0-6A3EE1425AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"96cc32b5114aed13d4cd109fe7265b4e5c590084","datavalue":{"value":{"entity-type":"item","numeric-id":1669761,"id":"Q1669761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892014$BC9E7C54-0BD2-4FE3-B809-E0A193F25093","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"482b7978385e0be0d8ea5afcf93e349a724cc633","datavalue":{"value":{"time":"+2015-11-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q892014$28C8D891-3F4F-43F8-8172-18998E962832","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"925c5fb18f4c1ebcb341e005af88e0f5927fb278","datavalue":{"value":"http://semr.math.nsc.ru/v11/p434-443.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q892014$03205B06-352F-42EE-9931-6A73A094EDB0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892014$798AEDEF-24CD-48A4-8F98-581EA474A786","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8af242f97eb783a8ae960463f9d6f5d0f091b32e","datavalue":{"value":"6510903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892014$CA1E58BD-8294-4AEE-854E-D832DC89F76D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bccb38ccbc47d29e625440d16d6d32644b1e5d57","datavalue":{"value":"Nelson's logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q892014$BF28A67B-8840-4E77-8C8B-246F30F68C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e75443cea296f2cb6de65218b8fd7b6f025bd87","datavalue":{"value":"strong negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q892014$A32A997B-3413-4AF4-9621-45ABB4B9BB01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q892014$9A5705CC-2A54-495B-A2D0-81AC482187FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6990d676343b3a710e094c3bf0128a5dc93b84b","datavalue":{"value":"complete sets of unifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q892014$494A5C6C-CEC9-4C4E-8E42-D6B5855C2687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q892014$DCC40FBE-6D6F-4AE1-B1B3-A7873435C136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34022ccc25563a06db3fcb3fd65dac11e2ced135","datavalue":{"value":"Vorob'ev translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q892014$8E773A89-ED7D-4D1A-A35B-E385966E875A","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":"Q892014$82981FD9-DD6E-4E3A-892C-06E9F390383B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b799d93c9c23571e42d1b0fdc710b5b584588fc5","datavalue":{"value":{"entity-type":"item","numeric-id":5224174,"id":"Q5224174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892014$F28AA8D0-F211-4D44-AB9B-B77BF58F6FD5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed11683d97455deacb2b4aefbeb46812319c1841","datavalue":{"value":{"entity-type":"item","numeric-id":3625492,"id":"Q3625492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77518e219347b631ed4a6a29af465636defb1e6a","datavalue":{"value":{"amount":"+0.7637902498245239","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":"Q892014$698552C8-7CA6-49F7-ADAD-BE6CF9E62F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51f516c9d12d33137f341c89a5a2dcb26c2d91e6","datavalue":{"value":{"entity-type":"item","numeric-id":5411482,"id":"Q5411482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aea685b652d3ad2c5c7d87e306538b297d27e63c","datavalue":{"value":{"amount":"+0.7524232268333435","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":"Q892014$D6FFB9E7-A427-40CE-A59A-F462597C1200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec0cd273e99d84c7c64b4c8bcc7d82a1769d707c","datavalue":{"value":{"entity-type":"item","numeric-id":4925168,"id":"Q4925168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"041045c35038a44593893040a62d8241cfb0ec22","datavalue":{"value":{"amount":"+0.7498720288276672","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":"Q892014$16EE8416-5042-4700-803E-FFCD0A51B480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4436c6e06aca72863fd981766dd1bfd55a68850a","datavalue":{"value":{"entity-type":"item","numeric-id":4925166,"id":"Q4925166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed987ed701132d1182788475418ce7a6c9bbd969","datavalue":{"value":{"amount":"+0.7493611574172974","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":"Q892014$DE0CF444-1F7B-4924-879F-38CE936CD043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e9e992cf52944b77527537693d7b8034012e1d3","datavalue":{"value":{"entity-type":"item","numeric-id":5241921,"id":"Q5241921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38b94d42cca4ceb211e7303a0254962ef8b9e8dc","datavalue":{"value":{"amount":"+0.749052882194519","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":"Q892014$174B274E-80CF-4314-9F66-01B53DFDA41D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:892014","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:892014"}}}}}