{"entities":{"Q4853338":{"pageid":6882918,"ns":120,"title":"Item:Q4853338","lastrevid":47359849,"modified":"2026-01-01T12:23:20Z","type":"item","id":"Q4853338","labels":{"en":{"language":"en","value":"A TYPE-FREE THEORY OF HALF-MONOTONE INDUCTIVE DEFINITIONS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 810159"}},"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":"Q4853338$BC209B4C-E312-45B1-B697-C0DB5951A416","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2620f66119972e1a96766b7dd168166120be6a0f","datavalue":{"value":{"text":"A TYPE-FREE THEORY OF HALF-MONOTONE INDUCTIVE DEFINITIONS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4853338$1870F7B5-2951-4150-999B-11636E755701","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc506cb8fff734ca62fd92ba8e17c25f96d3d953","datavalue":{"value":"0830.68115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4853338$0F4F20FE-ACA5-4A98-8FC6-E3CB6F99AEFE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dc003f5f2101e24b2fee250b2e10c2678fdba365","datavalue":{"value":"10.1142/S0129054195000147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4853338$BD35B2CA-1DDC-43B6-B39F-31C28943C5E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c79719327e302b2e8896050f22e092a513d420ee","datavalue":{"value":{"entity-type":"item","numeric-id":235614,"id":"Q235614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4853338$42F6120F-ABC9-4C40-B546-3618492BF65B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4853338$FFC3658D-EF1D-4BC0-86AE-84D6D737437F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e9e1e5c28e67547367d3e71e19f3b7e287b30c62","datavalue":{"value":{"time":"+1995-10-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4853338$89C81E81-0975-4019-AB84-48739A54019D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4853338$23A1BF0D-73B0-4744-AB15-0661B1D7A39A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f624a6a4c00ac360a485d4e66b23423dc3f3b23","datavalue":{"value":"810159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4853338$559EA114-8BC1-460F-8D85-A02319A6EAE4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d4b2c82f8474d5e981227526864a46b7733aa19","datavalue":{"value":"type-free theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4853338$985F1E5F-36FE-41E1-B19F-DDE2AE363FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02d70afc965295a97d99aa99155a1c6b7a79931a","datavalue":{"value":"constructive programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4853338$26ED2DEC-0BC6-41FF-AEEF-F5FC5ADB6129","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4853338$F19DF7DA-D019-40B0-88EC-3EB3708EACD7","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":"Q4853338$D457AC79-64C3-4B84-BBE9-2DFB3E229C46","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de5990e0c0c3bb015762b89e7ef7c009ff60dc45","datavalue":{"value":"https://doi.org/10.1142/s0129054195000147","type":"string"},"datatype":"url"},"type":"statement","id":"Q4853338$B9C0C3C2-BE7B-4031-A9C9-AD3216039C88","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e5102bca7362149a6c0ee4a947c0e40a9b21cdc4","datavalue":{"value":"W2159037289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4853338$E6779A5C-79A9-4528-BD75-EF814FE66878","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bebb7b78ec98a09784f4ed322a7578ba0e41aabf","datavalue":{"value":{"entity-type":"item","numeric-id":4304621,"id":"Q4304621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fbfa44cb277dc3df6f52dd518966a417a0a2354","datavalue":{"value":{"amount":"+0.7973031401634216","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":"Q4853338$48CFF2EE-D5C5-478B-8F23-6AF843514792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aa5b039342e856cd778c6e78906b3479600b1be","datavalue":{"value":{"entity-type":"item","numeric-id":3075213,"id":"Q3075213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"808c72e339221dc74f98293da9f446c99068c2a6","datavalue":{"value":{"amount":"+0.7952619791030884","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":"Q4853338$A23FC6C7-F5A3-4810-A378-8D24BA7F5F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62834154ad2f6609c15d12d58b09650b92f4a7b2","datavalue":{"value":{"entity-type":"item","numeric-id":5096211,"id":"Q5096211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f02fae3b33a78007d7cb4e48fb2395074241bbf9","datavalue":{"value":{"amount":"+0.7791628837585449","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":"Q4853338$730AAF3D-FCE7-423F-91A9-BA50C99CD4CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ce84887953fea95566a05af0f9ca26fd3351445","datavalue":{"value":{"entity-type":"item","numeric-id":1336951,"id":"Q1336951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7408942bda7f2137bfe3ef876736e2556b4c0eb4","datavalue":{"value":{"amount":"+0.7463908791542053","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":"Q4853338$0CEE263C-F8F7-4D58-873C-0D1BCA67C945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bde338d048a3ed2b25a0c7ee90212db3b47468b","datavalue":{"value":{"entity-type":"item","numeric-id":4593235,"id":"Q4593235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6461f973acbd4a13544fc4e3724671f558e0c031","datavalue":{"value":{"amount":"+0.7446157932281494","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":"Q4853338$FC1C3A72-6765-40AE-91E5-894C7725EA58","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4853338","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4853338"}}}}}