{"entities":{"Q5937815":{"pageid":8114617,"ns":120,"title":"Item:Q5937815","lastrevid":47641684,"modified":"2026-01-02T07:15:23Z","type":"item","id":"Q5937815","labels":{"en":{"language":"en","value":"Intuitionistic open induction and least number principle and the Buss operator"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1620810"}},"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":"Q5937815$E9AC16C7-A69B-494B-8944-7F6893651868","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66a03a4e82654dcb574f50fd59b5485c2baec08a","datavalue":{"value":{"text":"Intuitionistic open induction and least number principle and the Buss operator","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5937815$7E8271F4-66C4-40CA-AF35-18FAE415983A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6abf76435ad819587669602930bc32f62020167","datavalue":{"value":"0968.03074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937815$1F556622-2BE9-4272-A4DE-1C2DB4C25B6B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e63f0f7326486d44dfb43d06e0b528a89a70ef2c","datavalue":{"value":{"entity-type":"item","numeric-id":190271,"id":"Q190271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937815$3A4AFF18-0C2D-4D35-92EF-73B435A510D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"242f36f019a188b1839d60c06a5be284616408ba","datavalue":{"value":{"entity-type":"item","numeric-id":190272,"id":"Q190272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937815$E07F41BD-5601-445D-99EA-786216C3932E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937815$5DF6CBCC-A732-4443-A839-F5A2CCC101AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb916ad91e9e27f9d11a7b9fee5e1117f9d898f2","datavalue":{"value":{"time":"+2001-07-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5937815$36FD8731-0F06-48DB-9F19-6FD58D37E96D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937815$78BC0B81-86A1-46FF-8A7B-2070ACE1980F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937815$52121B1C-02CF-46C2-B142-0216B1ECA6E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937815$CF3E40A8-0DDA-41D3-B70F-B6F979FDD45D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"69a7bc5e7ec751e0f4ff7dd9b0d7866c6ccb1991","datavalue":{"value":"1620810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937815$102F70BA-4BD5-4FFC-86FB-567BA3C13B7B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79c0e61417edca23a18326758ca075e18f0430f7","datavalue":{"value":"open induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937815$615EB6EA-3E14-4244-B8EE-C9B6DF857421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da855445b59cae389fca494b963c3ccb8b3796aa","datavalue":{"value":"intuitionistic theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937815$8C3C271D-140F-41CA-8C94-BA6BA58BB914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000d054838ba79f1c83227281d29722f07d85a76","datavalue":{"value":"Kripke structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937815$2E9604C7-0E18-4F76-88D8-94866EA2A6AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be1268b65fc1d6781eb5c0f1073a98e5cb46f217","datavalue":{"value":"arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937815$63454BF2-C91C-40B1-9AFD-F8311C1D816D","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":"Q5937815$3A186391-9914-4056-ADDA-F2E08C46C58E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"66c4ec8ee0a852736ca824cee0a90bea505fd9f3","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1039293063","type":"string"},"datatype":"url"},"type":"statement","id":"Q5937815$2FBBA10A-C8E8-4CFE-91C1-425AE088AA03","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"140379a02f48dd54f20f98bb5a0a6e0dfc7af26c","datavalue":{"value":"W2021735825","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937815$420AB419-EC2F-484C-852E-02A3788C176A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeabed2c5dd7a8e91b52e149a40328caf3f8ee89","datavalue":{"value":{"entity-type":"item","numeric-id":685055,"id":"Q685055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937815$74585A3C-5554-4FE7-AE1A-AB2F8A16E9F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20078d69304e2df97ca3f40332c8d92086a6b541","datavalue":{"value":{"entity-type":"item","numeric-id":4179016,"id":"Q4179016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937815$D31D1F9E-2D02-4468-A932-2974893213A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ecd81987eb2b3620646f2d151ff26bdb537b884","datavalue":{"value":{"entity-type":"item","numeric-id":4001935,"id":"Q4001935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937815$6ED4B947-2E93-4C9B-8BFD-25F1781D4065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4425c7d09be6e4d246d4da44ee380bccc74b4770","datavalue":{"value":{"entity-type":"item","numeric-id":4304788,"id":"Q4304788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937815$A4BE4718-6787-41D4-835F-8233019EE868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"624482bf4f4f5f2f3a61e8b3b57c19ff4498f411","datavalue":{"value":{"entity-type":"item","numeric-id":5341750,"id":"Q5341750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937815$B62BB943-F78C-4C7E-B94C-72149513C44E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937815$51DFDF4F-D94D-4809-9DFF-4B8AAA880696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3166a1df231f17c0eace0ec4a3cd14533d6a0c5e","datavalue":{"value":{"entity-type":"item","numeric-id":1095140,"id":"Q1095140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937815$C7A71CA2-5F0F-474B-ACA3-9F3B19075B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7f2ccab9193bb053da1a9b2571d3b5f979d9014","datavalue":{"value":{"entity-type":"item","numeric-id":1920237,"id":"Q1920237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937815$7A02FCA8-EECB-45B9-BA6B-967999BE7590","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3a10deac0c3d38b8bcb12d33f1c6bb1065ffb538","datavalue":{"value":"10.1305/NDJFL/1039293063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937815$B4AC6058-0FAB-40E3-A00D-7E65FF687ECB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b116ed7a87808df9757fa48e3d9185e8a8cf028","datavalue":{"value":{"entity-type":"item","numeric-id":685055,"id":"Q685055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11a141d0d1e4d072f08855d8768d18a2f745ef4f","datavalue":{"value":{"amount":"+0.7777432203292847","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":"Q5937815$EE661E5C-ECB7-4F43-BF94-85C26E7768DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0794ddcdac09dfd873783111772c3f983fa5b0d0","datavalue":{"value":{"entity-type":"item","numeric-id":5477454,"id":"Q5477454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5df34d8f39d274c8ce0e58a5751a43727cc9fc01","datavalue":{"value":{"amount":"+0.773231029510498","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":"Q5937815$7FB93DDD-B651-408F-85DF-25AD6619AC31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36fcda811c4acabf376ccf89c2af2cdd9941c06b","datavalue":{"value":{"entity-type":"item","numeric-id":4532602,"id":"Q4532602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62a8f36b4c8fe6ccafa3d7dc2cc8a9532bc3e965","datavalue":{"value":{"amount":"+0.745812177658081","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":"Q5937815$31F12B93-42C8-4F87-A1B1-999055F78508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cddadec26fb77636fbaa1fd42e2cdb1a6b81bbf","datavalue":{"value":{"entity-type":"item","numeric-id":1407528,"id":"Q1407528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"384c58320543928e1b4d5d32442c07ab04f2ce48","datavalue":{"value":{"amount":"+0.7281367182731628","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":"Q5937815$E5A24E8D-2FBA-45F8-909C-CC4EE0DCDBDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d802eeaa9173d1e2d1e827bacb320b5b1e808395","datavalue":{"value":{"entity-type":"item","numeric-id":2776821,"id":"Q2776821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b756d8b9db728083a898671b87d8680b61d82f84","datavalue":{"value":{"amount":"+0.7246716618537903","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":"Q5937815$B285D80A-ECF0-4FB4-B036-8115C30F6160","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5937815","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5937815"}}}}}