{"entities":{"Q4924535":{"pageid":6954117,"ns":120,"title":"Item:Q4924535","lastrevid":51733133,"modified":"2026-01-19T18:05:18Z","type":"item","id":"Q4924535","labels":{"en":{"language":"en","value":"Quantifier-free logic for multialgebraic theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6171450"}},"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":"Q4924535$CFEE653E-10FE-4A4B-BBD5-F1A93A1A2F69","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"65baf35ceeae91cfe538459a2a270a1de71c7477","datavalue":{"value":{"text":"Quantifier-free logic for multialgebraic theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4924535$3C1FEF8D-2167-4C04-812F-AFF8380B5E88","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8be77f161ee2316657c9427b31e72a22124f4a46","datavalue":{"value":"1264.03086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924535$36E6C4C7-DFEA-4800-A340-FF4E98AF0292","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"51f005ae49ae87dc4540c60625dc8ec96b39624e","datavalue":{"value":"10.1016/S1571-0661(04)80851-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924535$52EC1217-F7FB-462A-88D0-5D743345BE7E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1778038bf09d3c63e6aa1b5c3da1793d1e91b5d","datavalue":{"value":{"entity-type":"item","numeric-id":444493,"id":"Q444493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924535$F70E5D28-00D0-49B7-B7A4-C63129D5B791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32d31d3a65e1ea7b3974ebed5a725f6c3a86eb35","datavalue":{"value":{"entity-type":"item","numeric-id":409315,"id":"Q409315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924535$984F3327-34F4-4FF4-B7BB-495616990A2D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924535$82902043-D200-49CD-8D21-C8E6FD92C2D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63e96e0f21aa9e59ddd731e2dc0f086f16e88ce1","datavalue":{"value":{"time":"+2013-06-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4924535$63B4A8C3-F862-4A81-B6EC-44E38E7FC4C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924535$59BDC2D0-48F3-473D-B0EE-29EFCB575710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924535$768E99A8-8D7F-4CB2-AA8B-C2D45EBF87F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f0c5775dec010723ef1785d7345c27c68193512c","datavalue":{"value":"6171450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924535$9C2A7FA6-690B-43B6-A805-9E334D41E877","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":"Q4924535$601124BA-0CA0-4CF7-BC23-92D833179472","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc7e628ce645756ff215e1270e8a57b64a1dd02","datavalue":{"value":{"entity-type":"item","numeric-id":5955614,"id":"Q5955614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924535$C9C48E04-1090-42AE-8EBB-305B0AC0EBC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ccbf1741775ab07628b2f40037c997de78c7547","datavalue":{"value":{"entity-type":"item","numeric-id":1806174,"id":"Q1806174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924535$B5D918DE-E205-4122-A3E6-1B6AF85FA5A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443ade8344e996017f9036639debfb0f18f67baf","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924535$06E69C6C-C472-4BF5-9D30-CE0FD053CB81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e8fa2cd08b4efee1a1b8c012d300ee2fa454871","datavalue":{"value":{"entity-type":"item","numeric-id":5287526,"id":"Q5287526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924535$50C1F148-59F7-4740-95BB-45D1657E2AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e87177517a8ed3fc58081949e1cc58a70410b2bb","datavalue":{"value":{"entity-type":"item","numeric-id":4941933,"id":"Q4941933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924535$6EB25740-8443-44F1-B3C7-4864B3307E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86a194178070cd3c5ad9a396baf8f7db21f82fd8","datavalue":{"value":{"entity-type":"item","numeric-id":1853457,"id":"Q1853457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924535$E6EA38FA-F8FD-423F-8623-7EB77D7F4239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d3864d4ddb2f1ce49b1fd391142783b7a1871f8","datavalue":{"value":{"entity-type":"item","numeric-id":2844826,"id":"Q2844826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924535$EE0DC977-1D32-41A6-9F09-3CCFB56230E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf9de0cb26c419e3d3fba0533cecade3ec5f30f0","datavalue":{"value":{"entity-type":"item","numeric-id":2557245,"id":"Q2557245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924535$7B7EE988-423D-4BAD-BCA8-E4771471C541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924535$1E30C87B-5532-467C-8F92-2A9726E09591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4af2770c561fa2898babdfacde754351444fafa4","datavalue":{"value":{"entity-type":"item","numeric-id":5096747,"id":"Q5096747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924535$F5771C32-57E0-4252-BF48-BEC56ECBE34E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"857bb6ab90e4894f8e07ef5cbd52b3cca919681f","datavalue":{"value":{"entity-type":"item","numeric-id":2369014,"id":"Q2369014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f23a2b118ebc7827c8d357e37de590700e40e27","datavalue":{"value":{"amount":"+0.9680508375167848","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":"Q4924535$5940258C-257C-4BF2-8C94-5BEF7D0244FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"776f3f5df5bd13b90f8361457781f76bfbbb6db6","datavalue":{"value":{"entity-type":"item","numeric-id":4250051,"id":"Q4250051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"519536c161c25652373763c4b45e4068d8e5bf36","datavalue":{"value":{"amount":"+0.7839551568031311","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":"Q4924535$5BCD0406-6821-45B1-822A-2023815F61AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5cda0b07452a080b77c69e7e558d5aa9101199b","datavalue":{"value":{"entity-type":"item","numeric-id":5900830,"id":"Q5900830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"002d206d5cd6b3f055c6b62047ce0e0abc71e98f","datavalue":{"value":{"amount":"+0.7662962675094604","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":"Q4924535$5C869B05-05FC-4326-A1DE-7E9CAC0018A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34e1cd25550d2143b9a9d744cfc805988df621f5","datavalue":{"value":{"entity-type":"item","numeric-id":3369100,"id":"Q3369100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4530fa462d03e766fddc8d6516b0035ef70f8032","datavalue":{"value":{"amount":"+0.7547579407691956","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":"Q4924535$592DA72C-D990-4B01-87C9-E0B37EA86B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee83596e6d287c55f5dc7750ba7b99e834e06b73","datavalue":{"value":{"entity-type":"item","numeric-id":1806174,"id":"Q1806174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0051099e09617c8629fbbb95dab355fad253f9e5","datavalue":{"value":{"amount":"+0.7494836449623108","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":"Q4924535$CFF00B40-9F4D-4A1F-839B-B083A31A27E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4924535","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4924535"}}}}}