{"entities":{"Q6159920":{"pageid":13294781,"ns":120,"title":"Item:Q6159920","lastrevid":41806067,"modified":"2025-05-08T13:58:32Z","type":"item","id":"Q6159920","labels":{"en":{"language":"en","value":"Church's Semigroup Is Sq-Universal."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7700611"}},"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":"Q6159920$74C792C4-3B16-40F2-903F-DA70659E9102","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed31a4165b5bd145424a4e7b9d2ddad3df63e8d3","datavalue":{"value":{"entity-type":"item","numeric-id":754194,"id":"Q754194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159920$D4E74C91-8EA5-4CCE-9FF6-86CDB69DDA39","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3088b6e1c2b1fc23f329cc708e78f720e11947f4","datavalue":{"value":{"time":"+2023-06-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6159920$531CA069-8B9F-4500-9CAA-76BB57773D58","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159920$55E00A96-5972-43D3-B8DC-57D67CDC383F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159920$F163A29F-C28F-4A45-8975-A04B8DCBC97C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159920$C05DD52C-FA17-4031-8BC6-AD63AE1D5FBB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"581919229251198afcb187dee498ed1658520e6d","datavalue":{"value":"7700611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159920$C068B86B-5CA8-4E33-B210-A653D6F16243","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159920$479BAB1A-34C2-4867-B4F1-469D894C5CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95433c472664fbc552e081a36adef1372247821d","datavalue":{"value":"Church's semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159920$230FAF01-4A33-4B72-BB92-D77BA818B9A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30c4cf274e3c38d9c1548ba5819dffff60c6a065","datavalue":{"value":"sq-universal","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159920$92376365-F6A1-4FF8-8C3D-5D67EBFF5ECE","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":"Q6159920$A57A9788-101C-4FDE-89FB-7D82C5CF3255","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e7231efc4a6adb149cbada503fd56597590d2d6","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.FSCD.2021.6","type":"string"},"datatype":"url"},"type":"statement","id":"Q6159920$2CFC31DF-6E95-4C60-9CC9-03F6A5D569E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fa734a33c4461e7a5e077e14410555758b3a1d9b","datavalue":{"value":"W3183641541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159920$D9D03CBC-CF93-4C4D-AE8C-964363CC2C2A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7433f885d1e597d45fcd5c0469b7ac85947b8cce","datavalue":{"value":{"text":"Church's Semigroup Is Sq-Universal.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6159920$FA4F4B2B-7D21-4244-B499-76508631BC9D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5793b6c7b5ba455ca529acbcfbdbdab3a8256f28","datavalue":{"value":"10.4230/LIPICS.FSCD.2021.6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159920$C7931652-8CB2-4508-8103-9B9BEC1AE0FD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"558da098c62d5f2cd0ecc443400b677313e0ea41","datavalue":{"value":{"entity-type":"item","numeric-id":3808304,"id":"Q3808304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8d79e0a14703a134ec9e6513ebcaba07f990956","datavalue":{"value":{"amount":"+0.8489655","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":"Q6159920$2FA57C36-B286-48E1-9639-6B8A676B8A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b353d2f2ca12ca6c82dd4f0364abeba00242946","datavalue":{"value":{"entity-type":"item","numeric-id":2572475,"id":"Q2572475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"252fa1d23759a771e15e7f784492378b1164e902","datavalue":{"value":{"amount":"+0.8461873","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":"Q6159920$740A4EC0-633E-4EBE-92CD-9DD68658B972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"375c4752bab647a2749dbf4eec10281b2abd60bd","datavalue":{"value":{"entity-type":"item","numeric-id":1283406,"id":"Q1283406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"460f09d2a70bb9de10b81d5cc4af200e1a83121c","datavalue":{"value":{"amount":"+0.8367152","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":"Q6159920$142F2C8C-605C-42A5-AFC0-0F5B5E504908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97a4875d12044332c20c99c1958ab119ebfc7f78","datavalue":{"value":{"entity-type":"item","numeric-id":1274007,"id":"Q1274007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"358a7b5ad931ac740a0440067a4822e3589df77c","datavalue":{"value":{"amount":"+0.83606523","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":"Q6159920$CE217979-57ED-43B1-B649-60FAFBB3C8F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b947dcd877d4c2952328c21e6f2d0a7cc82893bc","datavalue":{"value":{"entity-type":"item","numeric-id":5122608,"id":"Q5122608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7720ce559461496f75a5492faf64938e37256948","datavalue":{"value":{"amount":"+0.834877","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":"Q6159920$ADF6875E-FDC4-44B9-8B34-D768C06B3272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"606bc77765ba7a11abd1747b1b70e61be4335934","datavalue":{"value":{"entity-type":"item","numeric-id":3342764,"id":"Q3342764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e3241808e520219c95d331e221e21bbb389ddd3","datavalue":{"value":{"amount":"+0.83420175","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":"Q6159920$C19D3E3D-2A09-4A0A-B6CC-2D82BD043945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8378193a0cbdfad3e0b2eefe64a056c1a3be0c6","datavalue":{"value":{"entity-type":"item","numeric-id":2332955,"id":"Q2332955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e430dfa5ee7fcd2e32b7fa68ce6eb58b03307a8a","datavalue":{"value":{"amount":"+0.8221069","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":"Q6159920$228718F6-4ED9-41CF-B9AB-C437C509F220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22c0b3e30280343464676a1c50c97274fb9918d9","datavalue":{"value":{"entity-type":"item","numeric-id":3693716,"id":"Q3693716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abd46ee4b22c33d6da5eb4463be5c1a2c8007756","datavalue":{"value":{"amount":"+0.8216477","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":"Q6159920$BEEB6B3A-2266-4E92-8DCE-2C60D192F013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5247fa2e5c435d0d788ff1f020945e9a0cd70884","datavalue":{"value":{"entity-type":"item","numeric-id":5235991,"id":"Q5235991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd72c9734a8178af41075dd572f600c0c24e3773","datavalue":{"value":{"amount":"+0.8212881","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":"Q6159920$800B81E9-EF3D-487A-A3A3-68CFE2EC8D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca194f5855761252b65eda513fba941dad9edc11","datavalue":{"value":{"entity-type":"item","numeric-id":4347646,"id":"Q4347646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6624c92ff3615700301750291f69b5ad72660257","datavalue":{"value":{"amount":"+0.8188308","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":"Q6159920$BD9FB7E3-504C-49C9-9230-76AE31193D3F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6159920","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6159920"}}}}}