{"entities":{"Q4934811":{"pageid":6964393,"ns":120,"title":"Item:Q4934811","lastrevid":91666553,"modified":"2026-06-04T23:45:27Z","type":"item","id":"Q4934811","labels":{"en":{"language":"en","value":"Frege structures for partial applicative theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1394591"}},"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":"Q4934811$DEF4B834-9EF3-4BAB-908A-B62290426210","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"92b5e768e65bbce3fca9d3db36884a3f96a050e3","datavalue":{"value":{"text":"Frege structures for partial applicative theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4934811$7F596019-7DCB-40A0-9B54-98ADABC75202","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4740192dec19a483366ee0039ab2a08a71aba2ff","datavalue":{"value":"0941.03065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934811$CF4E546C-8C3F-4E42-9D76-5FE547643242","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d52212f331fdc13a9cc11beb0d62d5cf4d5a0cac","datavalue":{"value":{"entity-type":"item","numeric-id":194998,"id":"Q194998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934811$7333D9C5-D76D-4BA1-8307-429DECA4A047","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c926a7842f7994a2e02d7d97d6466af0601a09c0","datavalue":{"value":{"time":"+2000-07-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4934811$5EE6BDE3-4FC0-4B76-96DA-1A88E305AC08","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0211275cd697cb0cff45f7f900f8bf2dde6c90a7","datavalue":{"value":"https://semanticscholar.org/paper/acb8049218e5222a50eb7558461cf5a08b4aeec7","type":"string"},"datatype":"url"},"type":"statement","id":"Q4934811$D162F761-D94D-4DF2-9A61-A8E6D5C4437A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934811$77EEA95E-8145-4106-9030-B24ABE7B3365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934811$426111B6-FB21-41E7-B5B8-A61FC29077BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934811$03029918-67A6-4AB9-BFB9-A65909A5D47F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39fe36c90478d4741a478bce9a05ac8675205448","datavalue":{"value":"1394591","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934811$2CA2BC66-5016-4FC5-82B7-1C945E2EF0C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f24521dd62d6a5dbae66745fb00126d55ce3923","datavalue":{"value":"partiality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934811$3F255502-17DF-4781-807F-3AC37DBFBA67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b639845dbc0c45e2f93c050b61b426eb87522368","datavalue":{"value":"Frege structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934811$A22C27E5-ECA6-45D5-9202-07F25C2F6F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d062ce4700ed2b1fb5f123cc1ee90e5e50c2eaa1","datavalue":{"value":"truth theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934811$730120F0-EDB5-434A-AA59-D32103972929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9e58becc408c0fbc8b5b77a51d0ffdcccd356a6","datavalue":{"value":"applicative theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934811$57F2B8D7-ACC8-423B-AF99-207454596CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc89e409f7b17a93dcc9c590b8177ee6fd991c04","datavalue":{"value":"streams in strict functional programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934811$D399B44A-A89C-4B6C-BF7F-E80953F6C7F6","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":"Q4934811$2BA2DAE2-9C93-44B1-9AB9-002A1D3C10E2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cff38ad50b0da8cf15376910b706da12fd1bd03f","datavalue":{"value":"W2144566693","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934811$57FC8924-7DFA-431B-9773-F7A0996257DA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b170d45186fc0acc9d0eeea4fedd94035571b4d","datavalue":{"value":"10.1093/LOGCOM/9.5.683","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934811$7DB03406-AA66-4CAA-A31F-25B516524B24","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934811$C533478C-2F4A-4084-AB42-5D2B7433D1C8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"101ce701b524b5b97399deb9c06c0089f9348dac","datavalue":{"value":{"entity-type":"item","numeric-id":1861539,"id":"Q1861539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c8c4bdc466f956f447e02deea3dc7ef1f74ca25","datavalue":{"value":{"amount":"+0.7583711743354797","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":"Q4934811$2C6063F9-11D7-46D3-8465-6B5DA43CA2B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0842dcf6bd6825ec0a20b0902806110a04791c6","datavalue":{"value":{"entity-type":"item","numeric-id":5452018,"id":"Q5452018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae4f3dd9866d6cf2e52456d400c0512a699d5913","datavalue":{"value":{"amount":"+0.7462413311004639","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":"Q4934811$31AA0E89-748B-454D-B24B-D58D43BD3D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"921185dbeab23d0e5a390eebd7e5af9570ae2d19","datavalue":{"value":{"entity-type":"item","numeric-id":3094184,"id":"Q3094184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8426efd75815137427ca46beaa3818c0c68374a","datavalue":{"value":{"amount":"+0.7360826730728149","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":"Q4934811$C3D775D6-9674-4B7C-8888-C9BB27646E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a033906f1a1b0392659291d920943607864809e","datavalue":{"value":{"entity-type":"item","numeric-id":2757985,"id":"Q2757985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4011d60a142fa823c4caf04a69fa3587ac1e2c93","datavalue":{"value":{"amount":"+0.7278290390968323","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":"Q4934811$75D68047-68AE-41B3-BAD8-C26AB1DDAECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcb3e52d9eba4ead76fc3d38f26751372998aa37","datavalue":{"value":{"entity-type":"item","numeric-id":1653651,"id":"Q1653651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01a0133e9597e329159ef99812256b5f9699da21","datavalue":{"value":{"amount":"+0.7232577800750732","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":"Q4934811$BF03A11B-918C-47EC-826F-6580C22F3082","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Frege structures for partial applicative theories","badges":[]}}}}}