{"entities":{"Q4583170":{"pageid":6612755,"ns":120,"title":"Item:Q4583170","lastrevid":53185697,"modified":"2026-01-24T10:14:27Z","type":"item","id":"Q4583170","labels":{"en":{"language":"en","value":"Some properties of the \\(\\lambda\\mu^{\\wedge\\vee}\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6927946"}},"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":"Q4583170$514664C9-E32C-48EC-8F22-84A75876DC95","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b3ebb1846ba0dcf77851e1be5326a3d8520b8d5","datavalue":{"value":{"text":"Some properties of the -calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4583170$701FEEFB-7E88-4C0F-A249-764DC11D4AA8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d84ff6c1d66363c01ea868f2b8e1a4ae158d5992","datavalue":{"value":"1398.03065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583170$E2947289-197B-4901-983E-A68E5060D0C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f92c613ddcfbc3beb986034dd04e07d49ecad741","datavalue":{"value":"10.1080/11663081.2012.705963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583170$7395EC61-3E72-4707-B4C2-E5FB56349203","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87d98715daff21d7c75f3cdd719e2cf7258168bd","datavalue":{"value":{"entity-type":"item","numeric-id":732056,"id":"Q732056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583170$10449278-CFC3-4734-9FA4-3B8BB7EEA1F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03475eec65c2e868e184cfa393bdf90d107cae1e","datavalue":{"value":{"entity-type":"item","numeric-id":636352,"id":"Q636352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583170$70D4103B-E63F-45C8-92F5-D2EEBE6E17DD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583170$F4543AB5-52F4-4331-A760-9874A2CDF297","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d1a7e956705fd1b7f7e3c263c8e7183d11ad0ebd","datavalue":{"value":{"time":"+2018-08-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4583170$D815AE2B-D6C5-4A5E-A2D7-0D40333F3500","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583170$C028623E-5BBC-4037-A807-CDC8336F0D4D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"191f0f752ebdd8a5a6706bd4ac1000a24b3530e8","datavalue":{"value":"6927946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583170$A6564C58-174B-449C-BF92-65DC7331156A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92515333597fb2686ad23fd04c82bea6c2c67024","datavalue":{"value":"classical natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583170$43084E7F-3FF1-4BDB-A4EB-35E9B79ECC00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"435bc946df3f2b0612afd84e24d9bee53851843e","datavalue":{"value":"lambda-mu-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583170$45494B1D-0E67-4668-903A-8FD4B9F0F2E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbed4ed78fb8840d9eddea3295720e0d27b5914a","datavalue":{"value":"Church-Rosser","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583170$39190B0A-3657-4A1D-807D-AE2C41B5EE28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec0d9194a504e6434a9ea8ca87b8523a509f2555","datavalue":{"value":"standardisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583170$65488ED6-F1D5-45ED-97AF-DA163349222D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa8bbbbaa308075fea855a7644a860e0cfd02bd7","datavalue":{"value":"finiteness developments","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583170$356AE0F3-5797-4C8F-AAB4-1CE765B7B5BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9fde113aee0cc34c4a8c6b0a00e79ee3028af4a","datavalue":{"value":"left most reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583170$3B606861-B950-459D-8427-002BB63CC5EC","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":"Q4583170$5B29C77D-DB63-42C0-A105-A23D73CE79B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a82fe8d1f4859ae77bba308f9495b9b8e219c5f6","datavalue":{"value":"https://doi.org/10.1080/11663081.2012.705963","type":"string"},"datatype":"url"},"type":"statement","id":"Q4583170$DF7996B6-7170-4C46-8631-FFDE9D8908A5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"13ab2a0ca83401be1f1994310c0edf44e10622f6","datavalue":{"value":"W2041147217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583170$96E584E2-661F-4240-B839-CD72899C67E1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"60cadbbe9dbc04b1a29d3c16afd66252c0bbc9e6","datavalue":{"value":{"entity-type":"item","numeric-id":1904467,"id":"Q1904467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583170$D11ABFA3-8D3F-486E-9D50-22B08869BBA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"115adf875681b76e6e24dffcf58a246bfd7b0a90","datavalue":{"value":{"entity-type":"item","numeric-id":1861541,"id":"Q1861541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583170$B7DAB8D0-C6D5-43ED-B4D7-8BD7447AF802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583170$390F1E45-4575-4F07-A259-D907F70E5B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d610cd6a06b6c0401b04d6f90b219240e708af6","datavalue":{"value":{"entity-type":"item","numeric-id":4850465,"id":"Q4850465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583170$02180BFF-DDCC-4CC5-A4FF-91C9762FFAFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27ceeb9d1d61c6f5a256858dc451469f1b7db716","datavalue":{"value":{"entity-type":"item","numeric-id":4650284,"id":"Q4650284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583170$1F9B5C68-855B-4481-99ED-E431595CFB01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d32a72cda6b1d0bdf3cc028fa60c1186ae20d1a","datavalue":{"value":{"entity-type":"item","numeric-id":4938597,"id":"Q4938597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583170$6B873536-8C78-4259-AB47-0A827F43CB94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0188d0b062ce233e0f9cf2a92159d09920bb3a55","datavalue":{"value":{"entity-type":"item","numeric-id":2778822,"id":"Q2778822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583170$E98325B6-4BDC-4A38-AE28-1012557A6390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"956f8f6ced52772736e9707cc664b497562a003b","datavalue":{"value":{"entity-type":"item","numeric-id":845711,"id":"Q845711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583170$7CFEC289-B68C-4992-AB61-3D4A6E5FB517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ff5899cb10d4648638b85deb045e4421cf26463","datavalue":{"value":{"entity-type":"item","numeric-id":2723897,"id":"Q2723897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583170$5CAA3011-3ED1-4270-A5E9-7E83A3B28F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16de9a4f8e129e311d9ce09ae9e120dd4a226b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3997016,"id":"Q3997016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583170$2183F47E-61DD-4F90-B361-FD17D86D84D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdd017d35f44f14a51ba00ad5bb8a601ffea5446","datavalue":{"value":{"entity-type":"item","numeric-id":1772778,"id":"Q1772778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583170$46EC3FD6-4337-49E6-9A1A-6E180D5E6292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59511f92b4ab9425968b27555d8e7c4076935b63","datavalue":{"value":{"entity-type":"item","numeric-id":818927,"id":"Q818927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583170$88B00648-E3BD-4431-8D73-130B459E737E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"326c7b3be3623ec3f27b5822f0a46effe1b00c13","datavalue":{"value":{"entity-type":"item","numeric-id":3576003,"id":"Q3576003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583170$6E6D3350-1660-4F35-89E0-6ACB03AC92F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66257d76632b86525de5e8f5c47c6c6cf781ec1c","datavalue":{"value":{"entity-type":"item","numeric-id":4255509,"id":"Q4255509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583170$3A33E2D9-01B7-42F5-8FEA-B3748586503E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583170$917CA6EA-D51A-47AD-A93F-5A6E2E07855F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0854ef5e3b5e5faf28543a0e24eb306047e6caac","datavalue":{"value":{"entity-type":"item","numeric-id":3576003,"id":"Q3576003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5715a6f13fb43fb50854804cf38239937fc5977","datavalue":{"value":{"amount":"+0.8644320964813232","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":"Q4583170$75FE7215-7C1B-4554-B092-241AFB6318AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f814973f2cc21b2aa6ff68e6c5de6f3725cc9079","datavalue":{"value":{"entity-type":"item","numeric-id":4530146,"id":"Q4530146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea49dc80ba12ff1a29e4730e19213163a0486900","datavalue":{"value":{"amount":"+0.8182149529457092","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":"Q4583170$20588A7B-21C7-4E1D-B27E-0D686E047285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca880c2b6dca52c66e45e1a66bec6778d00be7d6","datavalue":{"value":{"entity-type":"item","numeric-id":2373711,"id":"Q2373711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17b6f8038ce995eb089a96a70e1df1d2c14934a7","datavalue":{"value":{"amount":"+0.8148002624511719","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":"Q4583170$410A3E9E-11A8-4931-9FC1-DF73A1FD508A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e268013a2b619b7c21b2276357366cf3ebb236c","datavalue":{"value":{"entity-type":"item","numeric-id":4218109,"id":"Q4218109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"357bb72e5f6d8c958fe8f53259c8826483aa5a4a","datavalue":{"value":{"amount":"+0.8105416297912598","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":"Q4583170$DC533ED8-C87B-48EF-BB3A-E11ACED6996D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ac325c0bd52d9b011f3757fae07bfdf508a5a94","datavalue":{"value":{"entity-type":"item","numeric-id":2778822,"id":"Q2778822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44e35cd8d83a4e35757245991b3df06a1885d688","datavalue":{"value":{"amount":"+0.8056245446205139","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":"Q4583170$9C506118-D982-4F06-A519-E642FFCD6BF0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4583170","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4583170"}}}}}