{"entities":{"Q4526148":{"pageid":6555740,"ns":120,"title":"Item:Q4526148","lastrevid":41707040,"modified":"2025-05-07T10:24:08Z","type":"item","id":"Q4526148","labels":{"en":{"language":"en","value":"Statistical properties of simple types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1553287"}},"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":"Q4526148$64E335F5-1CE6-4D8B-8BF4-32232F283376","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"60b23ceae0be37ffcf729ad2c91dc3c43e3b6297","datavalue":{"value":{"text":"Statistical properties of simple types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4526148$E1AFA3BD-E875-4C7C-B875-D5682118EA65","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ba3734f3c2092dd1750029f0b11a755dbaafd86","datavalue":{"value":"0966.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4526148$7FF21F77-B836-4E25-B797-0FE0FAB4D64B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"80ee786ac0d417effd1012261bcc70190d5171e7","datavalue":{"value":"10.1017/S0960129599002959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4526148$DABE7019-56DA-48A3-9588-D93BF503744A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8823b5c08bf52ec44d9cf37d6c44a69864f61be3","datavalue":{"value":{"entity-type":"item","numeric-id":272190,"id":"Q272190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4526148$8CC7156D-5922-4E89-813F-1A78F5633D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7556e9c9cbb6aecbfca4bdbb52190444fadde8ff","datavalue":{"value":{"entity-type":"item","numeric-id":290270,"id":"Q290270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4526148$F5E5B1F9-9E00-4E48-AB04-F3DDB494CA1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"213b864dc54d93cbd8178686850f26280c0ee2c3","datavalue":{"value":{"entity-type":"item","numeric-id":751645,"id":"Q751645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4526148$5C602350-B4FA-4068-BAD3-765214EA21BE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4526148$58CF3A71-E379-4C1F-B1CC-00D4CA655D2C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fae3664154dc61222a1003dc28228b6754c9eec5","datavalue":{"value":{"time":"+2001-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4526148$476ED176-3CDA-42A4-81C9-DD0EB9C5FAF1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4526148$FA19D4EB-51A2-4E3B-B9EB-AE39E9561026","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99819cca8414b4b72c9ed5bbb62907e83a18ba7c","datavalue":{"value":"1553287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4526148$509BE85F-26EE-4C9C-9F81-CF4FC76A6033","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22a437dd48099b3b3c6c850fee7e36421128dcae","datavalue":{"value":"probability of finding an inhabited type","type":"string"},"datatype":"string"},"type":"statement","id":"Q4526148$3355F3D1-6056-476D-B0E9-037E62D48DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02e15bce93c267cdd6be77e0314601574aa44e8b","datavalue":{"value":"simply typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4526148$DAB07BFB-770A-4050-8955-8EBF340588C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f15ba0443b5721b6005fac23cbe8be19aaffcb0","datavalue":{"value":"probability of finding tautologies","type":"string"},"datatype":"string"},"type":"statement","id":"Q4526148$E38512B5-A623-4798-AFA9-15CF03687BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d1017b5e10d038e359d69a4c400d6213f241e01","datavalue":{"value":"intuitionistic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4526148$4A8A6221-08F2-4F30-8C95-7572A425F11A","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":"Q4526148$640CA561-2EB7-43D1-B0D5-A85258A931C9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c75d1183b7195fab7b79863eeaf9c914775f820e","datavalue":{"value":"Q127770593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4526148$269E2BEE-59FC-4EF9-BC8B-492764891AAC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f58355397779341e612357934702c01a75b0980d","datavalue":{"value":{"entity-type":"item","numeric-id":2942901,"id":"Q2942901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84034108db3c3975533b2be6885634b947ebca61","datavalue":{"value":{"amount":"+0.84515697","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4526148$4DBA7C75-E1F6-4A61-8F9D-3D1BEEF9A0C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1364e0ebf30cb80a2184e5b448df90fc64d1aabb","datavalue":{"value":{"entity-type":"item","numeric-id":1302290,"id":"Q1302290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd3fb3b6b59b5a13f3aba5d0e8323ddff25279f2","datavalue":{"value":{"amount":"+0.8359729","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4526148$FC9ADEF3-FED4-40C1-988F-F0C3A0F2066B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f5fbc82dca18ce1062a5a9b485acd057cac6f4b","datavalue":{"value":{"entity-type":"item","numeric-id":4500532,"id":"Q4500532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7279fff48df46635846c1535e2bee9e34ced7741","datavalue":{"value":{"amount":"+0.83493996","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4526148$99D13B17-C7B4-4A6D-81CD-A3670FDAB2B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aae1c7b74896b4c5750969260ca629700d4dfecd","datavalue":{"value":{"entity-type":"item","numeric-id":2412125,"id":"Q2412125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cedd761afe534584ce34f6aece4ed5490c3c9915","datavalue":{"value":{"amount":"+0.8303101","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4526148$2F25BE12-9D6E-4CC2-A9C5-1297FB5D9741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36ef74a29fc170f6592e5ced04f2330e015be44f","datavalue":{"value":{"entity-type":"item","numeric-id":481879,"id":"Q481879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61aa5715ee0f67a1f65488b3584dd57e1ac98dbd","datavalue":{"value":{"amount":"+0.8254397","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4526148$00190BC9-F0F4-4519-B0D8-E17399980252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee79e395db014b7d471669329e139df4934b7367","datavalue":{"value":{"entity-type":"item","numeric-id":4581178,"id":"Q4581178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"552b8bc97653e0913607bcd3eabcba2223950a70","datavalue":{"value":{"amount":"+0.82476956","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4526148$397AF6DC-8326-431B-B59E-E8446A251E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b34cb0bbed65d7915d0e1994732b638fda26be8f","datavalue":{"value":{"entity-type":"item","numeric-id":1670757,"id":"Q1670757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cfbe8446f497ef3bddea28b6f6fbbdd4496dd34","datavalue":{"value":{"amount":"+0.816479","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4526148$61B2A0EE-91B6-43AD-B458-595D3BEA12CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"411be130d95c3c3d62f295743aca6b5a5b403aba","datavalue":{"value":{"entity-type":"item","numeric-id":2369016,"id":"Q2369016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6964b6b969c93671c1ce668d5be145836c1b092a","datavalue":{"value":{"amount":"+0.81542933","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4526148$B7FB24CC-5982-4504-BCC7-14338DEE1EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de0d73a724543caf16671960185da6ff67b07e0b","datavalue":{"value":{"entity-type":"item","numeric-id":677885,"id":"Q677885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6293098032b2cdcf6f1ec009c116d0b417c60454","datavalue":{"value":{"amount":"+0.8151785","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4526148$1A5A3160-9AD8-47C0-A236-B361A30E5D66","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4526148","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4526148"}}}}}