{"entities":{"Q5713163":{"pageid":7742717,"ns":120,"title":"Item:Q5713163","lastrevid":41277062,"modified":"2025-04-28T05:14:56Z","type":"item","id":"Q5713163","labels":{"en":{"language":"en","value":"Invariants, Boolean algebras and ACA\u2080\u207a"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2237878"}},"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":"Q5713163$9C983034-C454-48C1-B867-5A52B9DE8E51","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"423e9da0aaa33aa09060ff3db0bd1e7cc30d0e11","datavalue":{"value":{"text":"Invariants, Boolean algebras and ACA\u2080\u207a","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5713163$31EAE5C2-AA74-4390-BD20-29F5491B465A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"34c9f0a39413a75e9cd1fdb8d31a4ed4e0a6f867","datavalue":{"value":"1111.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713163$E0E9E8D2-43E9-4287-A1B5-FEDEE37DDA2F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"df7d223724ecb6a389f285d90be3f2fc97cb7ae7","datavalue":{"value":"10.1090/S0002-9947-05-03802-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713163$50AE4310-545A-4645-B7CB-181888D97CB1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"31b4e48a13833dd9894b366d4966e95d03977c89","datavalue":{"value":{"entity-type":"item","numeric-id":175054,"id":"Q175054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713163$7CB5C7F4-6C7A-4344-B7A3-B73DED74BDC9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"df8563a34b35a91e952c14424ba2e926e2255a87","datavalue":{"value":{"entity-type":"item","numeric-id":559399,"id":"Q559399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713163$61096CD9-3448-480C-85BA-F4E1B7E1D507","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cbb3069003a3f271a27f7e752e119451cb0d4d72","datavalue":{"value":{"time":"+2005-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5713163$A39D7DD1-F312-4E22-9A5E-4E11F58B304F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713163$65AF6F87-90AF-4B81-A0FB-1AC0A493C4DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713163$B3B90ED8-DC21-419B-B0DC-1D5713B1262F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713163$8736EE04-670E-4232-9A5F-14FEF9DF5EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713163$3E5038B3-5AF2-41AE-B3A6-05865AB5F2DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9a3514a89c23e0ac2c3d927db97941ff2631de6","datavalue":{"value":"06E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713163$D836DFE9-ABB5-4E81-858D-E6E6EAECA705","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3ba25df1bd203f463ba0f8bd7309e7618b8e4b6","datavalue":{"value":"2237878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713163$3FD924BA-4170-403A-BA6F-03EFD61B32DE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5713163$AEACE3E9-A9D5-489D-87CE-5E3BD8B1148C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c5240d60dd1710ce42cdbe4bcb2b55a57f28548","datavalue":{"value":"classification problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5713163$CD75101F-3430-4CFB-9A5C-12AB9D09E8C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ac82369a09bc861a3472a183669af4c78913c02","datavalue":{"value":"Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5713163$6D8B981F-AC63-4402-86CA-F5A471E9BFA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d04984a60c8936c97a5dee648215973b47f0a13","datavalue":{"value":"recursive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5713163$32218A70-637A-4F20-AC90-7F0B00C4D04D","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":"Q5713163$1AB131AA-AB3F-40B5-BEA5-198F1F3DA1E8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"431ba3ec1a052b9e89178dda950c60e38dfa0948","datavalue":{"value":{"entity-type":"item","numeric-id":3797180,"id":"Q3797180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713163$1CB22BFF-6EA9-4FF8-B741-778284FF31EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0544d27bc6036d0a5d4a4bed335c30cb37b45cac","datavalue":{"value":{"entity-type":"item","numeric-id":2505128,"id":"Q2505128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713163$A228FD11-2BBD-4CF8-A7AD-D2E08BAFE159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd46e00e025849b54a0892b5e385ef0d563478f","datavalue":{"value":{"entity-type":"item","numeric-id":1393228,"id":"Q1393228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713163$CF55E889-575A-4190-92C5-50A306363542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f39f393be7e7693fa81a63ecee493915bc3f615c","datavalue":{"value":{"entity-type":"item","numeric-id":5596792,"id":"Q5596792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713163$ACEAAA3D-C860-4FB7-B71D-5DB55616DC0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa84e597e34f0f6e801879a71474ece9f5ca089f","datavalue":{"value":{"entity-type":"item","numeric-id":1276268,"id":"Q1276268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713163$6DE06345-4D4D-43D2-B88D-2F8A5DECBA4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29c45866e6366266fc85213b2eb8d896f6640763","datavalue":{"value":{"entity-type":"item","numeric-id":1063593,"id":"Q1063593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713163$96CA337D-74B5-4F18-B8B3-661514B59D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"843e3290ea281afff49033aac2cf70e2a4d8546f","datavalue":{"value":{"entity-type":"item","numeric-id":3791109,"id":"Q3791109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713163$3C0460F2-C3B7-4A14-941D-A7F57E27FEFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"638d28b2baea18e6ece5760cb80ce35ea8d92024","datavalue":{"value":{"entity-type":"item","numeric-id":5672886,"id":"Q5672886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713163$0C4163DF-B3BD-427E-90D5-554514E0156B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade6af8b14e3e35f4108a39f58b550626f0e8699","datavalue":{"value":{"entity-type":"item","numeric-id":4220572,"id":"Q4220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713163$8ECA8751-A573-4AE8-BCE2-B77B0BBEE2D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1edcfc8f162dce621803913f4363a765362e71d8","datavalue":{"value":{"entity-type":"item","numeric-id":3819052,"id":"Q3819052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713163$219F1781-0FD9-4C16-BCF6-2CFFE23CE701","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8499d2c58e20ffe59cf6c17cd2b7af1df935edb1","datavalue":{"value":"https://doi.org/10.1090/s0002-9947-05-03802-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q5713163$A4F7F7B8-46AB-423E-9C71-68E70A1C39A9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a598ed7a262ca955de6942758e78551ee68d4dde","datavalue":{"value":"W2028858836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713163$54CBD0C9-E5C1-4919-B2E9-D5877378B3C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"679cff2417b1c9f468f7ddd54655fbd42a9c26cb","datavalue":{"value":{"entity-type":"item","numeric-id":2505128,"id":"Q2505128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a82d51dc4c5d6defb8cba5aa703dee11e3fd09f2","datavalue":{"value":{"amount":"+0.8915875","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":"Q5713163$308ED03A-BD4C-4399-A8A5-2845A0111ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"438435b71827c2c0dad6e0d4005204d3c94e08ed","datavalue":{"value":{"entity-type":"item","numeric-id":5917784,"id":"Q5917784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2268410dd02e0059bdd3f46524e97a4985c946be","datavalue":{"value":{"amount":"+0.8830613","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":"Q5713163$40C1558F-E810-4277-9BCD-1DE3F7EF284E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e50a9c2ce3b5285789da037c231a332a533cb03c","datavalue":{"value":{"entity-type":"item","numeric-id":5891213,"id":"Q5891213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62a73c81b81c8a4fd7bffa9e0dd0662726a93eee","datavalue":{"value":{"amount":"+0.883061","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":"Q5713163$1C029627-8123-473C-B2C1-2E9776E5E7B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20a035ce5e54a6ad0d973470193f19315f97ac6b","datavalue":{"value":{"entity-type":"item","numeric-id":5902233,"id":"Q5902233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62a73c81b81c8a4fd7bffa9e0dd0662726a93eee","datavalue":{"value":{"amount":"+0.883061","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":"Q5713163$D6F54283-1DF5-46D3-B41F-D35207918C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"703c4e591a5abb08178194c6a1fc8e442b61ebe6","datavalue":{"value":{"entity-type":"item","numeric-id":1977483,"id":"Q1977483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f867c762ee3d3da0e805c0e829d8e5a911d44809","datavalue":{"value":{"amount":"+0.8793123","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":"Q5713163$05B095B8-8B05-4CBB-855C-0C4B6579D89C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28912883a25f3d262a647134c84b886b46ceca3a","datavalue":{"value":{"entity-type":"item","numeric-id":2836400,"id":"Q2836400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"605018623a3732489152712ca2204dec318f1db9","datavalue":{"value":{"amount":"+0.87757385","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":"Q5713163$125A6931-9261-4139-AAF2-FF4699ED3F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afc0dec80f580921decdd045862f717889208445","datavalue":{"value":{"entity-type":"item","numeric-id":1360845,"id":"Q1360845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"412da07e606609cb20123c11c8cc3111945e50b4","datavalue":{"value":{"amount":"+0.8746898","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":"Q5713163$33ADC908-9576-4DA3-87AD-BA148BC66AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"698cf6bf1a8a67664b0b5c3e4883afccd07f05b6","datavalue":{"value":{"entity-type":"item","numeric-id":4940424,"id":"Q4940424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88c0394e47e68866aadb406d9fb8953df7315ebb","datavalue":{"value":{"amount":"+0.87005633","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":"Q5713163$14152BD8-44D0-4951-B915-CEBBF7F8B584","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5713163","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5713163"}}}}}