{"entities":{"Q4692077":{"pageid":6721654,"ns":120,"title":"Item:Q4692077","lastrevid":53254226,"modified":"2026-01-24T13:46:56Z","type":"item","id":"Q4692077","labels":{"en":{"language":"en","value":"Truncation and semi-decidability notions in applicative theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6966183"}},"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":"Q4692077$54418B58-CB29-4C2A-932D-6E02A8DCD723","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d6756be5cd0238572db5107c848c8dce34758787","datavalue":{"value":{"text":"TRUNCATION AND SEMI-DECIDABILITY NOTIONS IN APPLICATIVE THEORIES","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4692077$BC15AF24-A146-4677-808E-B1671A17E9BD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"229b02b046c0f20f9c9339fc88ca4b997446f338","datavalue":{"value":"1475.03074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692077$03028751-2F04-4E25-AD0A-9B7A89AD2E0A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34cb696ce5008e0ad8b0b39e02b98fb8b38cd33a","datavalue":{"value":{"entity-type":"item","numeric-id":194997,"id":"Q194997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4692077$FA835AC4-0875-40EC-8E76-615CAEBE89BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d1f41be2185d681431d77dffda410df9162ad3f","datavalue":{"value":{"entity-type":"item","numeric-id":4692076,"id":"Q4692076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4692077$9DDF7280-1108-4A68-90A3-6C8E63E42AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a8a06583c694c76f8fa1263796f2851e23f8ff8","datavalue":{"value":{"entity-type":"item","numeric-id":476114,"id":"Q476114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4692077$027096FD-FF08-4902-9385-9B97BD88D309","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ea269db09297544776e39495a4f14dedb5a1b846","datavalue":{"value":{"time":"+2018-10-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4692077$530E27AF-C9CA-4BB9-A1B8-E42CBEE12C83","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692077$70C2CBDC-B912-421B-A87D-38E624DC3331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692077$3768DF4B-1AA2-43A4-A38C-BFFDCF257143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bacc42d4ab28169bcab125a394e2c486e425337a","datavalue":{"value":"03D75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692077$3B6004A9-CF76-48D3-8E2E-0A6539DEA0E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692077$CF85D4BE-4091-4BE3-BF64-E38157CE3A0E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a5b998b3d1e63150af2901b36eba1d922bc3f12","datavalue":{"value":"6966183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692077$4064841E-68E2-48DD-87AD-C3ADFE6C61DA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9e58becc408c0fbc8b5b77a51d0ffdcccd356a6","datavalue":{"value":"applicative theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4692077$8A652382-055B-474C-839D-BC99A98030CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50ef7d9e7fc9882bbae1db0036cc5d28c9b16662","datavalue":{"value":"explicit mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4692077$F9CA98BE-4B8C-44B2-A21E-6600F8D4EBA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9fb240279566e8cb1c8e86db4b2b12d441dc3ba","datavalue":{"value":"abstract computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4692077$05531954-D27C-4F1E-9B39-4027AC7B9E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02df80e85ed575339952a6eb3b0e88d342641ef2","datavalue":{"value":"(semi-)decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4692077$ADBB65CB-6AEF-493E-9D51-5E6F241636BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b9b0e009c68b690dcffd39bb7cff97c93a8a353","datavalue":{"value":"Kleene's second model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4692077$86E40945-6D11-40D7-A536-0CEDBE50DF3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bda26ba6636b468a2999c42e00b872da5c1a4c8e","datavalue":{"value":"graph model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4692077$10E99ECA-A540-4EAD-A580-211200E2ACA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d5482b992b9227da0d5397ed1f4f074a8c9fedc","datavalue":{"value":"Hausdorff-Kuratowski difference hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q4692077$94750689-CBB6-472F-8846-D2BA9AFA229F","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":"Q4692077$8CCBCF3A-128D-4BF6-BCF5-64C146ED8B78","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"560b49fe2f32f54887b28aabd414c6aba090d52a","datavalue":{"value":"https://doi.org/10.1017/jsl.2018.34","type":"string"},"datatype":"url"},"type":"statement","id":"Q4692077$D6ACF9E2-AA1E-4974-96EE-63441423B230","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"24c1870867c2b2f9cd1d627aab7059d51888a234","datavalue":{"value":"W2897679217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692077$47E1E380-D281-4590-A9EF-B5CB8228860A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"53659cbe4374fba43669a41966294053efdea479","datavalue":{"value":{"entity-type":"item","numeric-id":3728878,"id":"Q3728878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4692077$6B88ABB5-22AD-4FB7-B7E3-09D1898B5C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4692077$71DE5E15-DC26-4F00-AFB9-C43EFA205660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51fdc6e6c91c016e9985f506925ea38ed52ac667","datavalue":{"value":{"entity-type":"item","numeric-id":4128540,"id":"Q4128540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4692077$62307508-3D2D-477D-84DD-C746C877ABBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a105535a0b4cf840366405592d4900ef990604f","datavalue":{"value":{"entity-type":"item","numeric-id":3882452,"id":"Q3882452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4692077$7F6B6ACD-35F9-4D04-BDC4-7DC849373803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb7de10908c6a54ef57b4383c3a54c934a390ea7","datavalue":{"value":{"entity-type":"item","numeric-id":1314542,"id":"Q1314542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4692077$9F5E81F1-ACFB-4C8E-95B7-AA370431F402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"287785aa8651b26f912f2bcca2b2a743939d591e","datavalue":{"value":{"entity-type":"item","numeric-id":4146722,"id":"Q4146722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4692077$489FCD38-B4A8-414F-BA05-681E8578620D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30231638f192c286b70115b2e3fd3555aaf19714","datavalue":{"value":{"entity-type":"item","numeric-id":1976882,"id":"Q1976882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4692077$3832E0E5-9FCE-481E-8216-DB685C1C07C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b7eb15f423faa36d0569ab8291b56f8dd2293e6","datavalue":{"value":{"entity-type":"item","numeric-id":4805123,"id":"Q4805123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4692077$E2E36E64-4C6B-49F6-8897-DD3DFB657AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52fefcdda7bf616827053741c3d4864232e0b191","datavalue":{"value":{"entity-type":"item","numeric-id":3457676,"id":"Q3457676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4692077$C5C6AAB6-19F3-471C-A9D3-EF8781CB20C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a00d44042917d4da86ef7320f74b91139b12dea8","datavalue":{"value":{"entity-type":"item","numeric-id":3116522,"id":"Q3116522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4692077$A148C456-D669-411E-9547-76BAABB59D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2794f0c3890dc2ada586d90b94399b0cdd54e9d","datavalue":{"value":{"entity-type":"item","numeric-id":3619869,"id":"Q3619869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4692077$0AED9B47-68E6-45C6-A4EA-12B873C03208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d067f011c050fbea0cd718aa84702c48d8e62355","datavalue":{"value":{"entity-type":"item","numeric-id":5737943,"id":"Q5737943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4692077$F9467EA4-46B1-4A43-ADD6-3A0E3E69B44F","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":"Q4692077$F204CC27-A718-4562-8D8A-0EF73CDDD718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4692077$DD88EA62-00EB-47E5-895A-682DD20141B1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e66b5f0f2e5e2656c0b2627b2525dee006a35ef9","datavalue":{"value":"Q129038312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692077$C1F42D2D-F76B-406B-AC53-5B9F9B54C43A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f4c1b3912f4366985a41f109d3a6e861db9979e1","datavalue":{"value":"10.1017/JSL.2018.34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692077$94DE47BF-2BB3-4C72-95AA-F0331CFD216C","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":"Q4692077$B02F0B5E-2470-4D7C-89E9-E1CC7D73441E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38e1c444f9687ef1a2f063580845efc85ca055c4","datavalue":{"value":{"entity-type":"item","numeric-id":1349246,"id":"Q1349246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14cdeec7b83b5d76d43fb6b59a3e65e3008f9210","datavalue":{"value":{"amount":"+0.731680154800415","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":"Q4692077$6BF6541E-BB4D-43F8-899F-B066D24FB204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f73f4390c337f2e0ede50d85c757f7b18d342ff","datavalue":{"value":{"entity-type":"item","numeric-id":4941991,"id":"Q4941991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e8df878ebc58ce668faf2a855feb5b47890e7f5","datavalue":{"value":{"amount":"+0.7183808088302612","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":"Q4692077$E9C60D22-27CD-41D3-90EF-EBE303B4994E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3376d4fe1c4a5edfaa03215751ee62f7e17be35c","datavalue":{"value":{"entity-type":"item","numeric-id":5702663,"id":"Q5702663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e8df878ebc58ce668faf2a855feb5b47890e7f5","datavalue":{"value":{"amount":"+0.7183808088302612","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":"Q4692077$6B98D46F-8418-484B-95C7-0DB10A798B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90d3928d9d4911a9a74e9bcc5fb418bfa5065648","datavalue":{"value":{"entity-type":"item","numeric-id":1896484,"id":"Q1896484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae7cb833e79870a694223195790a4d5cff4ba24c","datavalue":{"value":{"amount":"+0.7175406217575073","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":"Q4692077$E1DE7CDB-8573-40E9-9245-FE96CD32DA7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"967056b367d3f74d29d90e6bc78948c8358a1135","datavalue":{"value":{"entity-type":"item","numeric-id":4886844,"id":"Q4886844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae7cb833e79870a694223195790a4d5cff4ba24c","datavalue":{"value":{"amount":"+0.7175406217575073","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":"Q4692077$B37F0CEE-F958-41AB-9674-1585A1AC6597","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4692077","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4692077"}}}}}