{"entities":{"Q3661567":{"pageid":5691473,"ns":120,"title":"Item:Q3661567","lastrevid":49892176,"modified":"2026-01-11T17:14:07Z","type":"item","id":"Q3661567","labels":{"en":{"language":"en","value":"A Decision Method for the Universal Theorems of Quine's New Foundations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3813609"}},"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":"Q3661567$AD89BBB9-9F99-49EE-919D-5463CB9C5E85","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1b998c05456ab7e035d749d4ca64d17dc323bd14","datavalue":{"value":{"text":"A Decision Method for the Universal Theorems of Quine's New Foundations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3661567$27E6B47D-A5A4-40AA-9975-D387C7E80473","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e425ddb9e882a5758a3ced430130c40588ba5df0","datavalue":{"value":"0515.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3661567$E1F4F41D-2F8C-445E-B489-5CA1BA003B08","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1d2f2118927e48b898eb4bb2e4ad7fcf3242814","datavalue":{"value":{"entity-type":"item","numeric-id":3333033,"id":"Q3333033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3661567$FE3EC01E-4753-4405-B8E7-9AED8D5EA01C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2498ed7cf3607871ad6e64c348055a3c8fc89172","datavalue":{"value":{"entity-type":"item","numeric-id":592003,"id":"Q592003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3661567$4ABBCABF-0289-418E-A2C7-8B8308C8CCB0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"313eeae300ef8d00cbcff079ab31c26707d6fe06","datavalue":{"value":{"entity-type":"item","numeric-id":3025780,"id":"Q3025780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3661567$323A430E-B4E4-41AA-89F2-D732119A09A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3661567$0223C16D-F612-41DF-86B6-5B5A2078C24A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3661567$12EA3262-91CD-4276-A919-4976E1088F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4360a3cfd8e657af32addfcb7ca1e57dc87719ba","datavalue":{"value":"03E75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3661567$10F68920-C94C-4ADF-8258-D11892021224","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"983724e5c47a70f3b4a3a13119ab4807413553e4","datavalue":{"value":"3813609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3661567$8684958B-FFF0-4FD6-961D-E9232E0AA35E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d06e358e68a9e3a6bf4c57c953c009db5d2abb80","datavalue":{"value":"logical language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3661567$71201AA0-381C-4D69-9903-9351AA76A49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0898fad69b5048ee9564351ed04a6b8ee3027b23","datavalue":{"value":"functional symbols","type":"string"},"datatype":"string"},"type":"statement","id":"Q3661567$CF79A3C3-6F0F-49D5-84D5-940921DB4D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1721974daf712fb656302bbaf8fa966d7b4e2699","datavalue":{"value":"comprehension asioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3661567$5F85C91A-F468-4FC7-9AE7-885DAE9FD5F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60342290128673a27d1349cd70153bc4acb93f12","datavalue":{"value":"closed universal formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q3661567$169745FB-7DA2-4774-847A-B1DB7F7DF820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0fd3124d826c4ea4c95923e1c34a81d637052a0","datavalue":{"value":"decision method","type":"string"},"datatype":"string"},"type":"statement","id":"Q3661567$D77E8032-7548-461D-990C-B75E6655378B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73444a10a8e6c7d5411b68a53ec76a30fd7bd091","datavalue":{"value":"Scott's permutation method","type":"string"},"datatype":"string"},"type":"statement","id":"Q3661567$49E67668-3716-42E8-85CA-ABA3C93122AD","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":"Q3661567$DCE2C01C-D8DA-4DDB-ABA3-E834B7966709","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"15e4de5ba9fc8ee2b21f3d76154f02230cc4b87d","datavalue":{"value":"https://doi.org/10.1002/malq.19820281303","type":"string"},"datatype":"url"},"type":"statement","id":"Q3661567$B60FE379-21A5-4942-AA53-B19EA344519F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a8e5c845a70e45898fca500446a82bd7c922cc86","datavalue":{"value":"W2047122753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3661567$E37AF368-7760-4742-B1D0-8AC8A5A900B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"208d7c83d5026ba724c5a03b6630fbd31292c230","datavalue":{"value":"10.1002/MALQ.19820281303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3661567$92261793-5C24-4611-B2C0-AE5C7600E10F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3661567","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3661567"}}}}}