{"entities":{"Q786806":{"pageid":788654,"ns":120,"title":"Item:Q786806","lastrevid":64328136,"modified":"2026-04-11T19:06:55Z","type":"item","id":"Q786806","labels":{"en":{"language":"en","value":"Nondecidable intermediate calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3838012"}},"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":"Q786806$68B09C6C-4A1A-4406-BB50-594BB8D50940","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f370ac839be44fc6c34fb06c4008b2e531e852f","datavalue":{"value":{"text":"Nondecidable intermediate calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q786806$FC72D7AA-DA09-4B91-8222-E1FC054D0FCC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7b48c268bbf9f797ab1ebfba3ebde179b5ef0fd2","datavalue":{"value":"0528.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q786806$0E9D8D9D-BC9D-45AD-8384-E283F248FBA2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"16856370d8286a0d37561bf8a4d26a5b9815322b","datavalue":{"value":"10.1007/BF01669131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q786806$C34B0ADB-7B4F-4A84-8CE7-CD05AD4B6A17","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q786806$65047039-7583-437C-BC8E-3424F2D71BF2","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":"Q786806$382975D5-F314-4493-9A5E-2AFCEF38C24D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a04d3ff4396cd3ecdbdeb95c8f4f2445d5faf2d5","datavalue":{"value":"https://eudml.org/doc/187160","type":"string"},"datatype":"url"},"type":"statement","id":"Q786806$DDCE0101-8EF8-43F5-B221-177EA9E4E61C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q786806$429FBD88-512E-4713-AE88-71CFA0A49EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q786806$435CD108-D49B-4880-86B2-A522CFA3BDD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q786806$5A243971-9ED6-4BB2-B11D-F73AAC7BE884","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a0a9b5303994f4b237c6413331b40d8471ea03b","datavalue":{"value":"3838012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q786806$9D82EAB9-BED6-42AF-B5A4-585403A9E288","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f636501887630c90d8a2404e6919c68d05d366cd","datavalue":{"value":"nondecidable intermediate propositional calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q786806$DFBE0B33-4A21-4483-8153-A03FBB5AC441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7760380899811bf473de4290ab5195a5cbaf85c5","datavalue":{"value":"recursively nondecidable Post production systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q786806$D54648FA-C49F-4C4E-9BF3-712D36D5CBD0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"969dc6dd8464518674d40d595a79bbfe5da546b7","datavalue":{"value":{"entity-type":"item","numeric-id":484810,"id":"Q484810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q786806$52F6C959-F506-477A-B274-CA09A84DEC19","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":"Q786806$83A28FFE-B8D8-4164-8A26-65988681060C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"250883ca26eebc75b030eef7d86703c9f5737016","datavalue":{"value":{"entity-type":"item","numeric-id":5639697,"id":"Q5639697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q786806$1CC3C2E7-200B-4889-96E3-BA1C822ADF84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cccc503d86a36a38227b5e0944d1d3d2c6b5da3","datavalue":{"value":{"entity-type":"item","numeric-id":4067071,"id":"Q4067071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q786806$635D889A-8399-40CE-8417-20ADC30000A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b26bdc210a3d291b796088837bddd84cce8b4c","datavalue":{"value":{"entity-type":"item","numeric-id":775202,"id":"Q775202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q786806$4200B77C-8DE4-40C5-8561-ED48A0E2E824","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3c4a0bb2e8acafa5b8aa57ea081a0891a0b54bda","datavalue":{"value":"W2018445849","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q786806$7C195D5C-24EC-4B0D-8AFE-C8621322486A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10ea692c8b39b39036700bd12b02210c733e8444","datavalue":{"value":{"entity-type":"item","numeric-id":4644516,"id":"Q4644516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9fe21a4f4c814da85ba63d5bc1334d359b5c920","datavalue":{"value":{"amount":"+0.7723293304443359","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":"Q786806$851050A9-E563-41DC-A5B6-985F9EB94C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c18afeaeea352885a6741509c4ac8b71c1a0717","datavalue":{"value":{"entity-type":"item","numeric-id":2259003,"id":"Q2259003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b5ec7541063e9a218c6b801985221b2e44bed22","datavalue":{"value":{"amount":"+0.7684760093688965","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":"Q786806$DF352378-2D9C-4105-84B6-D7C7CBC5DD55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61e74ec88077a1d663811b993747c5ece04eec9e","datavalue":{"value":{"entity-type":"item","numeric-id":2364331,"id":"Q2364331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83ed2024ce2b9609dbf69bf6214f6df6d219e4ed","datavalue":{"value":{"amount":"+0.7676332592964172","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":"Q786806$527CB611-8DBD-458F-AACC-03DF35192AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e16d2ee0384adde2b477e48e189c2416a99e4645","datavalue":{"value":{"entity-type":"item","numeric-id":4644571,"id":"Q4644571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5100a3c8a38688b65b9a7b3fd54136310015f73","datavalue":{"value":{"amount":"+0.7642027139663696","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":"Q786806$A2A3A4D7-107F-4371-8AEA-58EB1A9F9B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ac78229cfc7d7f751cf62ea745065c8e406684c","datavalue":{"value":{"entity-type":"item","numeric-id":750414,"id":"Q750414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9b5846e4a4116d921586d2e2844232baab78107","datavalue":{"value":{"amount":"+0.7474671006202698","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":"Q786806$D1137677-3574-4ED6-B836-E6EA8FD0DC0A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Nondecidable intermediate calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Nondecidable_intermediate_calculus"}}}}}