{"entities":{"Q6880436":{"pageid":20779168,"ns":120,"title":"Item:Q6880436","lastrevid":84214040,"modified":"2026-05-13T16:32:40Z","type":"item","id":"Q6880436","labels":{"en":{"language":"en","value":"A constructive predicate calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8139793"}},"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":"Q6880436$162F7A16-631C-4007-94E3-C92A29F6BCDF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1fa9090dd03f257ae7f593d8691dbdf9e39fcb27","datavalue":{"value":{"text":"A constructive predicate calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6880436$50FFB01E-12A3-437C-9105-C507EDA701D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4b062bc364fe02e951cad9a4bac9c1cbc9537e02","datavalue":{"value":"10.1134/S0001434625603624","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6880436$1F7721E7-E3EC-4304-8297-570E8CB2963A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ffeb8d8d53f1688b52e59a3bd6e2ef5bbd376da","datavalue":{"value":{"entity-type":"item","numeric-id":2510767,"id":"Q2510767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6880436$736CD69F-AC3B-49E3-8F64-F1EA025C3041","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6880436$7F8A819D-D716-4FAD-A2EF-B04F3CE2C57F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de2a3539414e497a8ca928556edc0a5fb2414b50","datavalue":{"value":{"time":"+2025-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6880436$3C193A8E-FE5B-4E38-80C8-20BD3EB8360C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a16b2d00f5f309ca4243bc382dd94889099a0bfa","datavalue":{"value":"03Fxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6880436$9D4BC19A-4CFF-4610-9A72-D7CA4FBEE753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"56528a547afad658a2bccf50696c0882526c82f7","datavalue":{"value":"03Dxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6880436$72BD2B33-E224-46F5-BE2C-4E59EC1A59F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"11cabf296cbf78cefb4c4e9ef3c9625682c34a7d","datavalue":{"value":"03Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6880436$E563230F-7673-45E9-9AFB-E893F5066D01","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f2e1fe2b9348b535bd46f0b91d059bdeea0e06db","datavalue":{"value":"8139793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6880436$04BC2599-7A6B-4F80-BF7A-B9538ED2FA76","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4a62be59df86ac5656fbe65ad3e6c1589611bfc","datavalue":{"value":"constructive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6880436$40D2A4CA-E2C6-4475-8FED-917D0E5A2B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7227247e26a7a4e3cf718a9747f1fd0491872cd1","datavalue":{"value":"predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6880436$91F8198B-694E-4970-A63C-AD6EA16BF056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59dc69d0521f0be6c639e519b48339bd7290ba7b","datavalue":{"value":"recursive realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6880436$121370AE-29C0-4E26-A65C-3A544337C797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"804fc314cf6abc23b7c393b554ec989ba8872055","datavalue":{"value":"absolute realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6880436$C78FF9FD-5290-4172-8C52-D0F6B4398B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f1e5350e3efd54cc649112615c7714af5a36a43","datavalue":{"value":"Markov principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q6880436$E4EB26CC-7BB4-4C07-94BD-264AD2E229BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52939e4f0dbb3641187f0183cf3ed69147d34174","datavalue":{"value":"extended church thesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6880436$74FBB50A-8E0E-4B42-9D17-75803D45BF12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"baf5c837625e1da4bd98945a1fdab2c9aeee6d84","datavalue":{"value":"constructive arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6880436$7CD7705A-D919-43DA-B4F6-F5887D7235B9","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":"Q6880436$8DE6115B-2379-493E-9489-31861CD83D4A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee1e0ec6dfd106a0c87509ba39a12f0bc4b3b42b","datavalue":{"value":{"entity-type":"item","numeric-id":1453194,"id":"Q1453194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6880436$4F33E897-5833-4720-933F-217FF71E70DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b082026a52baa78f98566ea4cbce3ebfd14bceab","datavalue":{"value":{"entity-type":"item","numeric-id":5756143,"id":"Q5756143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6880436$79A68AA0-504B-4887-B345-2A6A589EF9DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6880436$46AE63A6-42F1-4533-B636-BCECDB55BB46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f231c78aee0a9996d37683e0e5678e6c7352ac95","datavalue":{"value":{"entity-type":"item","numeric-id":5843995,"id":"Q5843995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6880436$37E28E96-44DD-4170-B985-04DAB7232DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59cddc8aeb3b3e5ba305f9fcf5846cb516ed0222","datavalue":{"value":{"entity-type":"item","numeric-id":3880841,"id":"Q3880841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6880436$D0B1A943-B8B4-4F11-89C8-B93C2282BA3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08c1b8781fe333767f649823ee4255cded49c920","datavalue":{"value":{"entity-type":"item","numeric-id":866492,"id":"Q866492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6880436$97FDADE4-73C1-4F1B-91E4-FC14C1036002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d8694aef156ed89f7a3aae092fe95f095e29d7e","datavalue":{"value":{"entity-type":"item","numeric-id":3048831,"id":"Q3048831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6880436$2C291AF0-CA61-44D9-9A4E-F1A5F5D21DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ad78f0c9eae65d440bef225de3d19917af4dc15","datavalue":{"value":{"entity-type":"item","numeric-id":5822056,"id":"Q5822056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6880436$C586D899-B52A-4EB3-A5FE-ACD489A6E7E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16bf812c2b69c92ff0425718e7bc841118b4f467","datavalue":{"value":{"entity-type":"item","numeric-id":4161322,"id":"Q4161322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6880436$3E4F78A3-859F-47C2-A230-27B07B580B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"165e54cc7dde2e224c38dc204c922dc68540b598","datavalue":{"value":{"entity-type":"item","numeric-id":3569756,"id":"Q3569756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6880436$975EB2D8-4A40-48E5-BA14-5F272BD2108B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f85398194532fbcb10fd385f6a9cd3a54134518","datavalue":{"value":{"entity-type":"item","numeric-id":3216644,"id":"Q3216644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6880436$B0E4AC42-B06F-47FA-8DE1-434358321DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"729818d8a3c5c7be0f4e234c782994d030fdd290","datavalue":{"value":{"entity-type":"item","numeric-id":5802130,"id":"Q5802130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6880436$E9045890-F49B-44D0-A441-D156062208BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d32d35ac532df71d2e64ae9af9ae83382e993495","datavalue":{"value":{"entity-type":"item","numeric-id":5642551,"id":"Q5642551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6880436$7B815EC3-4577-4580-8905-B24160319AED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A constructive predicate calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_constructive_predicate_calculus"}}}}}