{"entities":{"Q5681990":{"pageid":7711550,"ns":120,"title":"Item:Q5681990","lastrevid":34555794,"modified":"2024-06-12T11:18:18Z","type":"item","id":"Q5681990","labels":{"en":{"language":"en","value":"Decidability of some intuitionistic predicate theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3419124"}},"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":"Q5681990$A93BCD5D-E9D2-46F8-B6AB-3AF6E767048E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"170cfebbe9c61e8d98497b220ec2eb2e4c51cfd7","datavalue":{"value":{"text":"Decidability of some intuitionistic predicate theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5681990$BB32D7FC-5E15-4C42-ACEA-2F123E779A8E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5288c813fce9f05293508cdb9cdc263adbdd84be","datavalue":{"value":"0266.02025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5681990$B262A934-7415-4ACB-8985-BBE2CA768DD2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b95124bd040218ac0285b7cf2c087cdea79e5f39","datavalue":{"value":"10.2307/2272747","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5681990$B3B7D233-9F01-4D33-B1A1-3A4C25422C47","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5681990$62BC37D7-792F-4EAE-935D-052A8E35161A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bb0eaa1d64c683ee03edf396d2a33ea56290ca3","datavalue":{"value":{"time":"+1972-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":"Q5681990$007F0A47-49CE-41DD-9244-BE2134185F91","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5681990$D1992D1E-BF7D-496F-AA46-E358EA9A9458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5681990$59EC8C92-8B20-4534-BDBB-2B85FBEF4984","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"494d7bd7a79d7d44e02e0a6140af3bc1d00b1c2b","datavalue":{"value":"3419124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5681990$A7FB61C9-60C7-408B-BE1D-D81F6CE52B82","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"948b6f0f3f509c2346164de6f1b86ce0f916ab70","datavalue":{"value":{"entity-type":"item","numeric-id":232653,"id":"Q232653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5681990$CF6C54FB-7A11-46C5-A4D6-BA91C9AFBB3A","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":"Q5681990$6404EB20-54E9-4084-9285-34D2EA118B5A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8764e7aa2fcb6805c54bbe9c2d135599a805f271","datavalue":{"value":"https://doi.org/10.2307/2272747","type":"string"},"datatype":"url"},"type":"statement","id":"Q5681990$13A7EEA5-83A7-4B1F-ACC2-F9A794DE1D90","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9d08d92e0297d1f821cc911e96f2503f3bfc901d","datavalue":{"value":"W2065869391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5681990$BE3CF34C-781B-4660-96A2-4319D5B39316","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"42b6e008809faa98acb6d8f961491c946c7afcbd","datavalue":{"value":{"entity-type":"item","numeric-id":768102,"id":"Q768102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5681990$06624107-D6FC-441E-AFDD-2551FC674957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58e9834692fa7933718eaac61b3893ca0720d199","datavalue":{"value":{"entity-type":"item","numeric-id":5681991,"id":"Q5681991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5681990$B6ABA88E-7C69-4A2C-9589-C29F109F886D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a150d5a38251d435dbd79fe9ddb6282ff8380e9c","datavalue":{"value":{"entity-type":"item","numeric-id":5571686,"id":"Q5571686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5681990$974B9CF9-7185-481D-A797-6560E10C13FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5681990","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5681990"}}}}}