{"entities":{"Q4699334":{"pageid":6728911,"ns":120,"title":"Item:Q4699334","lastrevid":46816848,"modified":"2025-12-25T15:57:04Z","type":"item","id":"Q4699334","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1361516"}},"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":"Q4699334$AF439874-64E1-4892-AA54-49FD2439A0CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2616455e181784bca5e82110c0ff5b6ebe01c069","datavalue":{"value":"0943.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4699334$82F92AF6-B8B5-466E-A2A2-A50A38B84F6F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc7d8b4f321b37e5a358e033a174600e8e846dc0","datavalue":{"value":{"entity-type":"item","numeric-id":190263,"id":"Q190263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4699334$5A048156-1944-4B53-80DF-A0137B14D4B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19945cc67174d34ebbeae4b89d0f3c36236e8191","datavalue":{"value":{"time":"+2000-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4699334$6B1C28D7-9F58-4205-BE2D-1782E92703D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4699334$A37E1761-88F3-4323-9E0B-23A38676D08C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4699334$005A8E8D-A30D-4C04-BDF0-2860DC8112A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4699334$516FD7EA-9160-4920-887A-7CC4A15B6E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4699334$350B25F4-F6B3-42C1-BF16-F5071747788B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c003405c936e1f1d00992ce27bfa368635cea31a","datavalue":{"value":"1361516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4699334$FC819F15-8F65-40F5-9381-490ADBCF058E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38e83d3e2a100c720489caa003d78c01c62fbe2a","datavalue":{"value":"well-formed formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4699334$B1421540-5064-47C4-AE38-4F3B2D626D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4699334$8CDAD437-2E8B-4B29-9340-7C8890AE9315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7899f656e4a9340b3ed392e6788bd7745359a601","datavalue":{"value":"atomic formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4699334$54AEA76C-94DF-4C25-A709-F7AF4DC68909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"301c4f997691841d36b1ed7d81145642e47fa153","datavalue":{"value":"absolutely free algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4699334$8E2B3E50-7FC6-4DE1-8571-C91E1D42E7B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0bdd078633eec083f77d77f9e6de7a8a55abb02","datavalue":{"value":"formalism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4699334$F7D08633-A4F4-4BB2-AC2D-A64E7ECB2BDE","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":"Q4699334$92378AE9-9AAD-4480-B43E-A5E9EDFED0FE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d9f5009b1e0793855bc90461c96d4057b4322a0","datavalue":{"value":{"entity-type":"item","numeric-id":520386,"id":"Q520386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d95f1bcc782993cda16647ec8a0e2b494d3b547e","datavalue":{"value":{"amount":"+0.742448091506958","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":"Q4699334$ED4A3CBB-0116-4F08-8C1A-A4D419CE8B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44273a8ac65d435c2f40dcc447ee8e1f4de44311","datavalue":{"value":{"entity-type":"item","numeric-id":3987717,"id":"Q3987717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36d15ba740a11e1f770cc67f759157fde57072c6","datavalue":{"value":{"amount":"+0.7247648239135742","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":"Q4699334$EE95E927-70B0-40C7-8FDC-B13F5EB298A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40cdf0fbd9e8d32635ab7f0bb98b4632b971e66d","datavalue":{"value":{"entity-type":"item","numeric-id":5596727,"id":"Q5596727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99263b2234d4cf9c9bfdb143395db891af315cf6","datavalue":{"value":{"amount":"+0.7235328555107117","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":"Q4699334$AE3501B4-4B1D-4819-A122-24460E33879A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1266092b992f0ba8b87f10a0304e7a81d3021fa","datavalue":{"value":{"entity-type":"item","numeric-id":1123883,"id":"Q1123883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3061e349ec1e465b23cd099200a560fe18bdc1ae","datavalue":{"value":{"amount":"+0.7182980179786682","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":"Q4699334$388BEB48-F32B-4074-AD3A-E2A9C599FB8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b8a2ef52d20875e7bcc8c59010871bb5f2ba971","datavalue":{"value":{"entity-type":"item","numeric-id":3748264,"id":"Q3748264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07182062cc07ca75c8f440b812faaebd563dff74","datavalue":{"value":{"amount":"+0.7119545936584473","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":"Q4699334$8E4D6657-B3F3-4E3C-B49D-926CAAE20C65","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4699334","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4699334"}}}}}