{"entities":{"Q4867412":{"pageid":6896992,"ns":120,"title":"Item:Q4867412","lastrevid":46445079,"modified":"2025-12-24T19:28:34Z","type":"item","id":"Q4867412","labels":{"en":{"language":"en","value":"THE QUINE-BERNAYS COMBINATORY CALCULUS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 850781"}},"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":"Q4867412$4301B6A2-3F40-4F91-BF8A-6E6A40FEEF3D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"405658464a132c5b548d06cbb240b5f924b95962","datavalue":{"value":{"text":"THE QUINE-BERNAYS COMBINATORY CALCULUS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4867412$257436D5-D2B0-43D4-9F39-55669C8B88E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7efa6a3b6cac73900e62a9c249e8a4293b6202c3","datavalue":{"value":"0843.68083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4867412$B6A66FE4-4546-42F7-8C19-4ABB256C3CC9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac52290773a4bf7c88935155298ae23a5d605664","datavalue":{"value":"10.1142/S0129054195000226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4867412$C9FC7069-6A55-4D26-B130-168C04E0A228","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":"Q4867412$504AC118-F580-4F16-B77D-21FA0D3C15A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d92a94c0142654ed887435c8e7eec804b3cef6da","datavalue":{"value":{"time":"+1996-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4867412$E32E793F-13CB-491C-B841-97FE686833F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a5372688a0d668805df5d9ffd1da58833a0f595","datavalue":{"value":"68R05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4867412$D10F0B15-DD67-4103-AB5D-8F0EAB928316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4867412$6173EF52-E1B6-4EBA-BA95-78EFD6D2E495","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"88fb7007cda06202ec1f778f86c339e0e755f6bb","datavalue":{"value":"850781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4867412$3F3A37CC-44B7-43D7-A08F-35505DA39661","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4867412$8A49D846-8BA0-4008-9CC0-CBE9D698EA68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abb36aa119f726b84724e95dd9df12fb2b20b51b","datavalue":{"value":"combinatory version","type":"string"},"datatype":"string"},"type":"statement","id":"Q4867412$7ADB937B-BA37-400A-AB19-D3427C5551E2","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":"Q4867412$6D01554D-75D6-4364-BABB-6606B52822CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"36d44f16721250217efd0c98f43d87cefbfbec79","datavalue":{"value":"https://doi.org/10.1142/s0129054195000226","type":"string"},"datatype":"url"},"type":"statement","id":"Q4867412$B7D00207-12FC-4366-8DD0-63F3E5728536","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f27e2c2d553589e8c08309e28acc2919eac566f","datavalue":{"value":"W2088372491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4867412$7E0E7536-FF4F-44B0-B66F-244D4C581B8D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"354e42d7b813f501035a1c52f259208402ad939f","datavalue":{"value":{"entity-type":"item","numeric-id":1262300,"id":"Q1262300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1595461453d03b586b209222ca91bd61981d548","datavalue":{"value":{"amount":"+0.7819508910179138","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":"Q4867412$2278180B-3A1A-441C-8D82-11AA6B954DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5beb5ef0f34c2cc9d41336a291229f2a5d836e5","datavalue":{"value":{"entity-type":"item","numeric-id":4247311,"id":"Q4247311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2236b49e0e2803f18a1a1b8b0e05da89bf44c06","datavalue":{"value":{"amount":"+0.7672643065452576","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":"Q4867412$DA4C2180-D158-4092-AEEE-8CE9B14083DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d74e4676089e17931db38119a01b070b1e0aba62","datavalue":{"value":{"entity-type":"item","numeric-id":750415,"id":"Q750415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fd893f89b59eea41d548b728ea05460735d5c56","datavalue":{"value":{"amount":"+0.7563173174858093","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":"Q4867412$1D9BED5C-EB74-4945-923A-AFBDE5E4D874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aa4dc74efe93f28dc22aed44a5fbf1c71f42bdd","datavalue":{"value":{"entity-type":"item","numeric-id":3343428,"id":"Q3343428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a3164bc863ea0ad2f32e9ab26369b095e436e7b","datavalue":{"value":{"amount":"+0.7553964853286743","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":"Q4867412$6A6751F4-9D11-40B1-8450-FBE8FF746600","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4867412","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4867412"}}}}}